Front matter
1
Physical Programming: Beyond Mere Logic
(Invited Talk)
Bran Selic
2-16
Metamodelling and Conformance Checking with PVS
Richard F. Paige and Jonathan S. Ostroff
17-31
The Metamodelling Language Calculus: Foundation Semantics for UML
Tony Clark, Andy Evans and Stuart Kent
32-44
Compositional Checking of Communication among Observers
Ralf Pinger and Hans-Dieter Ehrich
45-59
Combining Independent Specifications
Joy N. Reed and Jane E. Sinclair
60-75
Proving Deadlock Freedom in Component-Based Programming
Paola Inverardi and Sebastian Uchitel
76-90
A Real-Time Execution Semantics for UML Activity Diagrams
Rik Eshuis and Roel Wieringa
91-108
A CSP View on UML-RT Structure Diagrams
Clemens Fischer, Ernst-Rüdiger Olderog and Heike Wehrheim
109-123
Strengthening UML Collaboration Diagrams by State Transformations
Reiko Heckel and Stefan Sauer
124-139
Specification of Mixed Systems in Korrigan
with the Support of a UML-Inspired Graphical Notation
Christine Choppy, Pascal Poizat and Jean-Claude Royer
140-155
On Use Cases and Their Relationships in the Unified Modelling Language
Perdita Stevens
156-170
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
Francis Bordeleau and Jean-Pierre Corriveau
171-186
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
Gianna Reggio, Maura Cerioli and Egidio Astesiano
187-200
Towards Development of Secure Systems Using UMLsec
Jan Jürjens
201-216
Grammar Testing
Ralf Lämmel
217-232
Debugging via Run-Time Type Checking
Alexey Loginov, Suan Hsi Yong, Susan Horwitz and Thomas Reps
233-248
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer and Georg Brune, et al.
249-252
Demonstration of an Automated Integrated Testing Environment for CTI Systems
Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck and Werner Goerigk, et al.
253-268
Semantics of Architectural Specifications in Casl
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin and Piotr Hoffman
269-283
Extending Development Graphs with Hiding
Till Mossakowski, Serge Autexier and Dieter Hutter
284-299
A Logic for the Java Modeling Language JML
Bart Jacobs and Erik Poll
300-317
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Bernhard Reus, Martin Wirsing and Rolf Hennicker
318-332
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne and Robert P. Kurshan
333-347
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn Talcott and Steve Zabele
Back matter