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, ProceedingsThis 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. |
Contents
A Humanistic Discipline of Software Development | 1 |
Some Mistakes I Have and What I Have Learned from Them | 7 |
Specifying and Analyzing Dynamic Software Architectures | 21 |
Observational Proofs with Critical Contexts | 38 |
Integrating AORTA with ModelBased Data Specification Languages | 54 |
A Case Study | 71 |
An Agenda for Cyclic Software Components | 88 |
Algebra Transformation Systems and their Composition | 107 |
ModelChecking CSPZ | 205 |
RuleBased Refinement of HighLevel Nets Preserving Safety Properties | 221 |
FDR Models of Arbitrary Topologies and FlowControl Mechanisms | 239 |
A Case Study in CML | 255 |
Distributed Safety Controllers for Web Services | 270 |
A Refinement Calculus for Statecharts | 285 |
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules | 302 |
RELVIEW A System for Calculating With Relations and Relational Programming | 318 |
Navigation Expressions in ObjectOriented Modelling | 123 |
Compositional Verification of Reactive Systems Specified by Graph Transformation | 138 |
Reflections on the Design of a Specification Language | 154 |
Constructs Concepts and Criteria for Reuse in Concurrent ObjectOriented Languages | 171 |
BacktrackingFree Design Planning by Automatic Synthesis in MetaFrame | 188 |
A Formal Language and Its Supporting Tools for Requirements Engineering | 322 |
MOBYPLC A Design Tool for Hierarchical RealTime Automata | 326 |
Other editions - View all
Fundamental Approaches to Software Engineering: First International ... Egidio Astesiano No preview available - 2014 |
Common terms and phrases
abstract agenda algebraic algorithm AORTA application approach architecture automatically automaton BdBuffer behaviour buffer channel Client-Server colimits communication components composition Computer Science configuration configuror connector constraints constructs context cruise control CSP-Z deadlock defined definition deleted denoted described diagram dynamic embedded systems example Extreme Programming Figure forgetful functor formal methods formula function Galois connection given global graph grammar graph rewrite graph rewrite rule graph transformation graph transition high-level implementation input interaction interface labels morphisms MUTEX navigation expressions node notation object object-oriented operations PatRecord Petri Nets place preserving port programming language proof pushout refinement calculus relation request reuse safety properties safety requirements schema semantics sequential server signal groups signature software engineering SPEC specification language Springer Statecharts step structure techniques temporal logic Theorem tion transformation systems transition systems variables verification