Fundamental Approaches to Software Engineering First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc. Extreme programming: A humanistic discipline of software development....Pages 1-6 Some mistakes I have and what I have learned from them....Pages 7-20 Specifying and analyzing dynamic software architectures....Pages 21-37 Observational proofs with critical contexts....Pages 38-53 Integrating AORTA with model-based data specification languages....Pages 54-70 Specifying safety-critical embedded systems with statecharts and Z: A case study....Pages 71-87 Specifying embedded systems with statecharts and Z: An agenda for cyclic software components....Pages 88-106 Algebra transformation systems and their composition....Pages 107-122 Navigation expressions in object-oriented modelling....Pages 123-137 Compositional verification of reactive systems specified by graph transformation....Pages 138-153 Reflections on the design of a specification language....Pages 154-170 Constructs, concepts and criteria for reuse in concurrent object-oriented languages....Pages 171-187 Backtracking-free design planning by automatic synthesis in metaframe....Pages 188-204 Model-checking CSP-Z....Pages 205-220 Rule-based refinement of high-level nets preserving safety properties....Pages 221-238 Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms....Pages 239-254 Behaviour analysis and safety conditions: A case study in CML....Pages 255-269 Distributed safety controllers for web services....Pages 270-284 A refinement calculus for statecharts....Pages 285-301 Refining formal specifications of human computer interaction by graph rewrite rules....Pages 302-317 RELVIEW — A system for calculating with relations and relational programming....Pages 318-321 ALBERT: A formal language and its supporting tools for requirements engineering....Pages 322-325 Moby/plc — A design tool for hierarchical real-time automata....Pages 326-329

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998.
Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.

Besides two invited presentations and three system demonstrations, this volume presents 18 papers. Among the fundamental software engineering issues addressed are formal methods, specification languages, refinements, object-oriented modelling, software architectures, statecharts and model checking. Once a farmer and his friend were sitting at a battered kitchen table.