did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540672616

Fundamental Approaches to Software Engineering : 3rd International Conference, FASE 2000, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000 Proceedings

by ; ; ;
  • ISBN13:

    9783540672616

  • ISBN10:

    3540672613

  • Format: Paperback
  • Copyright: 2000-04-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $109.00 Save up to $90.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This volume constitutes the refereed proceedings of the Third International Conference on Fundamental Approaches to Software Engineering, FASE 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 21 revised full papers presented together with three invited contributions and three system descriptions were carefully reviewed and selected from almost 60 submissions. The papers are organized in sections on real-time systems, formal engineering systems, software engineering, object orientation, theory and applications, and case studies.

Table of Contents

Invited Papers
An Essay on Software Engineering at the Turn of Century
1(20)
Wladyslaw M. Turski
Memex Is Not Enough
21(1)
Richard Mark Soley
From Play-In Scenarios to Code: An Achievable Dream
22(13)
David Harel
Real-Time Systems
Parallel Refinement Mechanisms for Real-Time Systems
35(16)
Paul Z. Kolano
Richard A. Kemmerer
Dino Mandrioli
Applying RT-Z to Develop Safety-Critical Systems
51(15)
Carsten Suhl
A Process Algebra for Real-Time Programs
66(16)
Henning Dierks
Formally Engineering Systems
System Fault Tolerance Specification: Proposal of a Method Combining Semi-Formal and Formal Approaches
82(15)
Giovanna Dondossola
Oliver Botti
Structuring and Design of Reactive Systems Using REDS and B
97(15)
K. Lano
K. Androutsopoulos
D. Clark
Using Domain-Specific Language for the Realization of Component Composition
112(15)
Matthias Anlauff
Philipp W. Kutter
Alfonso Pierantonio
Asuman Sunbul
Software Engineering
Analysing UML Active Classes and Associated State Machines-A Lightweight Formal Approach
127(20)
G. Reggio
E. Astesiano
C. Choppy
H. Hussmann
Software as Learning: Quality Factors and Life-Cycle Revised
147(16)
Jose Hernandez-Orallo
Ma Jose Ramirez-Quintana
What Is `Mathematicalness' in Software Engineering?
163(15)
Hidetaka Kondoh
A Formal Approach to Heterogeneous Software Modeling
178(15)
Alexander Egyed
Nenad Medivdovic
Object Orientation
Formal Specification of Object-Oriented Meta-modelling
193(15)
Gunnar Overgaard
Verification of Object Oriented Programs Using Class Invariants
208(14)
Kees Huizing
Ruurd Kuiper
SOOP
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Deisng Problem
222(15)
Pablo Gruer
Vincent Hilaire
Adber Koukam
A Model for Describing Object-Oriented Systems from Multiple Perspectives
237(12)
Torsten Nelson
Donald Cowan
Paulo Alencar
Formally Engineering Systems
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
249(17)
J. Padberg
K. Hoffmann
M. Gajewsky
Theory and Applications
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
266(18)
Francoise Bellegarde
Jacques Julliand
Olga Kouchnarenko
Java Program Verification via a Hoare Logic with Abrupt Termination
284(20)
Marieke Huisman
Bart Jacobs
Foundations for Software Configuration Management Policies Using Graph Transformations
304(15)
Francesco Parisi-Presicce
Alexander L. Wolf
Analyzing Non-functional Properties of Mobile Agents
319(15)
Pascal Fradet
Valerie Issarny
Siegfried Rouvrais
Case Studies
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
334(15)
Heike Wehrheim
A Case Study on Using Automata in Control Synthesis
349(14)
Thomas Hune
Anders Sandholm
Demonstrations
Formal System Development with KIV
363(4)
Michael Balser
Wolfgang Reif
Gerhard Schellhorn
Kurt Stenzel
Andreas Thums
More About TAS and IsaWin --- Tools for Formal Program Development
367(4)
Christoph Luth
Burkhart Wolff
Using Maude
371(4)
Manuel Clavel
Fransisco Duran
Steven Eker
Patrick Lincoln
Narciso Marti-Oliet
Jose Meseguer
Jose F. Quesada
Author Index 375

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program