4. FASE 2001: Genova, Italy (Part of ETAPS 2001)

Heinrich Hußmann (Ed.): Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2029 Springer 2001, ISBN 3-540-41863-6

Invited Paper

Bran Selic:
Physical Programming: Beyond Mere Logic. 1

Metamodelling

Richard F. Paige, Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS. 2-16
Tony Clark, Andy Evans, Stuart Kent:
The Metamodelling Language Calculus: Foundation Semantics for UML. 17-31

Distributed Components

Ralf Pinger, Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers. 32-44
Joy N. Reed, Jane Sinclair:
Combining Independent Specifications. 45-59
Paola Inverardi, Sebastián Uchitel:
Proving Deadlock Freedom in Component-Based Programming. 60-75

UML

Rik Eshuis, Roel Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams. 76-90
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams. 91-108
Reiko Heckel, Stefan Sauer:
Strengthening UML Collaboration Diagrams by State Transformations. 109-123
Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. 124-139
Perdita Stevens:
On Use Cases and Their Relationships in the Unified Modelling Language. 140-155
Francis Bordeleau, Jean-Pierre Corriveau:
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. 156-170
Gianna Reggio, Maura Cerioli, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. 171-186
Jan Jürjens:
Towards Development of Secure Systems Using UMLsec. 187-200

Testing

Ralf Lämmel:
Grammar Testing. 201-216
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Debugging via Run-Time Type Checking. 217-232
Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. 233-248
Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann:
Demonstration of an Automated Integrated Testing Environment for CTI Systems. 249-252

Formal Methods

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. 253-268
Till Mossakowski, Serge Autexier, Dieter Hutter:
Extending Development Graphs with Hiding. 269-283
Bart Jacobs, Erik Poll:
A Logic for the Java Modeling Language JML. 284-299
Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. 300-317

Case Studies

Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. 318-332
Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele:
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. 333-348

Last update Sat May 18 08:22:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page