ISBN: 3-540-67261-3
TITLE: Fundamental Approaches to Software Engineering
AUTHOR: Maibaum, Tom (Ed.)
TOC:

Invited Papers
An Essay on Software Engineering at the Turn of Century 1
W ladys law M. Turski (Warsaw University)
Memex Is Not Enough 21
Richard Mark Soley (Object Management Group)
From Play-In Scenarios to Code: An Achievable Dream 22
David Harel (Weizmann Institute of Science)
Real-Time Systems
Parallel Refinement Mechanisms for Real-Time Systems 35
Paul Z. Kolano (Lockheed Martin), Richard A. Kemmerer (University of California, Santa Barbara), and Dino Mandrioli (Politecnico di Milano)
Applying RT-Z to Develop Safety-Critical Systems 51
Carsten Shl (GMD FIRST)
A Process Algebra for Real-Time Programs 66
Henning Dierks (University of Oldenburg)
Formally Engineering Systems
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches 82
Giovanna Dondossola and Oliver Botti (ENEL)
Structuring and Design of Reactive Systems Using RSDS and B 97
K. Lano, K. Androutsopoulos (King's College London), and D. Clark (Imperial College)
Using Domain-Specific Languages for the Realization of Component Composition 112
Matthias Anlauff (GMD FIRST), Philipp W. Kutter (Swiss Federal Institute of Technology), Alfonso Pierantonio (Universit di L'Aquila), and Asuman Snbl (Technical University Berlin)
Software Engineering
Analysing UML Active Classes and Associated State Machines  A Lightweight Formal Approach 127
G. Reggio, E. Astesiano (Universit di Genova), C. Choppy (Universit Paris XIII), and H. Hussmann (Dresden University of Technology)
Software as Learning: Quality Factors and Life-Cycle Revised 147
Jos Hernndez-Orallo and M^a Jos Ramrez-Quintana (Universitat Polit ecnica de Val encia)
What Is `Mathematicalness' in Software Engineering? 163
Hidetaka Kondoh (Hitachi)
A Formal Approach to Heterogeneous Software Modeling 178
Alexander Egyed and Nenad Medvidovic (University of Southern California)
Object Orientation
Formal Specification of Object-Oriented Meta-modelling 193
Gunnar vergaard (Royal Institute of Technology, Stockholm)
Verification of Object Oriented Programs Using Class Invariants 208
Kees Huizing, Ruurd Kuiper, and SOOP (Eindhoven University of Technology)
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem 222
Pablo Gruer, Vincent Hilaire, and Abder Koukam (Universit de Technologie de Belfort Montbliard)
A Model for Describing Object-Oriented Systems from Multiple Perspectives 237
Torsten Nelson, Donald Cowan, and Paulo Alencar (University of Waterloo)
Formally Engineering Systems
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems 249
J. Padberg, K. Hoffmann, and M. Gajewsky (Technical University Berlin)
Theory and Applications
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation 266
Francoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko (Universit Franche-Comt)
Java Program Verification via a Hoare Logic with Abrupt Termination 284
Marieke Huisman and Bart Jacobs (University of Nijmegen)
Foundations for Software Configuration Management Policies Using Graph Transformations 304
Francesco Parisi-Presicce (Universit degli Studi di Roma "La Sapienza") and Alexander L. Wolf (University of Colorado at Boulder)
Analyzing Non-functional Properties of Mobile Agents 319
Pascal Fradet, Valrie Issarny, and Siegfried Rouvrais (IRISA/INRIA)
Case Studies
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods 334
Heike Wehrheim (Universitt Oldenburg)
A Case Study on Using Automata in Control Synthesis 349
Thomas Hune and Anders Sandholm (BRICS)
Demonstrations
Formal System Development with KIV 363
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, and Andreas Thums (Universitt Ulm)
More About TAS and IsaWin - Tools for Formal Program Development 367
Christoph Lth (Universitt Bremen) and Burkhart Wolff (Albert-Ludwigs-Universitt Freiburg)
Using Maude 371
Manuel Clavel (University of Navarre), Fransisco Durn, Steven Eker, Patrick Lincoln (SRI), Narciso Mart-Oliet (Universidad Complutense, Madrid), Jose Meseguer (SRI), and Jose F. Quesada (CICA, Seville)
Author Index 375
END
