Abstract is missing.
- Physical Programming: Beyond Mere LogicBran Selic. 1 [doi]
- Metamodelling and Conformance Checking with PVSRichard F. Paige, Jonathan S. Ostroff. 2-16 [doi]
- The Metamodelling Language Calculus: Foundation Semantics for UMLTony Clark, Andy Evans, Stuart Kent. 17-31 [doi]
- Compositional Checking of Communication among ObserversRalf Pinger, Hans-Dieter Ehrich. 32-44 [doi]
- Combining Independent SpecificationsJoy N. Reed, Jane Sinclair. 45-59 [doi]
- Proving Deadlock Freedom in Component-Based ProgrammingPaola Inverardi, Sebastián Uchitel. 60-75 [doi]
- A Real-Time Execution Semantics for UML Activity DiagramsRik Eshuis, Roel Wieringa. 76-90 [doi]
- A CSP View on UML-RT Structure DiagramsClemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim. 91-108 [doi]
- Strengthening UML Collaboration Diagrams by State TransformationsReiko Heckel, Stefan Sauer. 109-123 [doi]
- Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical NotationChristine Choppy, Pascal Poizat, Jean-Claude Royer. 124-139 [doi]
- On Use Cases and Their Relationships in the Unified Modelling LanguagePerdita Stevens. 140-155 [doi]
- On the Importance of Inter-scenario Relationships in Hierarchical State Machine DesignFrancis Bordeleau, Jean-Pierre Corriveau. 156-170 [doi]
- Towards a Rigorous Semantics of UML Supporting Its Multiview ApproachGianna Reggio, Maura Cerioli, Egidio Astesiano. 171-186 [doi]
- Towards Development of Secure Systems Using UMLsecJan Jürjens. 187-200 [doi]
- Grammar TestingRalf Lämmel. 201-216 [doi]
- Debugging via Run-Time Type CheckingAlexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps. 217-232 [doi]
- Library-Based Design and Consistency Checking of System-Level Industrial Test CasesOliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide. 233-248 [doi]
- Demonstration of an Automated Integrated Testing Environment for CTI SystemsOliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann. 249-252 [doi]
- Semantics of Architectural Specifications in CASLLutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman. 253-268 [doi]
- Extending Development Graphs with HidingTill Mossakowski, Serge Autexier, Dieter Hutter. 269-283 [doi]
- A Logic for the Java Modeling Language JMLBart Jacobs, Erik Poll. 284-299 [doi]
- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design ModelsBernhard Reus, Martin Wirsing, Rolf Hennicker. 300-317 [doi]
- A Formal Object-Oriented Analysis for Software Reliability: Design for VerificationNatasha Sharygina, James C. Browne, Robert P. Kurshan. 318-332 [doi]
- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time MaudePeter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele. 333-348 [doi]