Abstract is missing.
- Rhapsody: A Complete Life-Cycle Model-Based Development SystemEran Gery, David Harel, Eldad Palachi. 1-10 [doi]
- An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph TransformationSabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski. 11-28 [doi]
- Stochastic Process Algebras Meet EdenNatalia López, Manuel Núñez, Fernando Rubio. 29-48 [doi]
- From Implicit Specifications to Explicit Designs in Reactive System DevelopmentKevin Lano, David Clark, Kelly Androutsopoulos. 49-68 [doi]
- Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed SystemsV. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura. 69-88 [doi]
- Assume-Guarantee Algorithms for Automatic Detection of Software FailuresMohammad Zulkernine, Rudolph E. Seviora. 89-108 [doi]
- Contributions for Modelling UML State-Charts in BHung Ledang, Jeanine Souquières. 109-127 [doi]
- Translating Statecharts to BEmil Sekerinski, Rafik Zurob. 128-144 [doi]
- A Framework for Translating Models and SpecificationsShmuel Katz, Orna Grumberg. 145-164 [doi]
- Model Checking Object-Z Using ASMKirsten Winter, Roger Duke. 165-184 [doi]
- Formalization of Cadence SPW Fixed-Point Arithmetic in HOLBehzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar. 185-204 [doi]
- Formally Linking MDG and HOL Based on a Verified MDG SystemHaiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. 205-224 [doi]
- Refinement in Object-Z and CSPChristie Bolton, Jim Davies. 225-244 [doi]
- Combining Specification Techniques for Processes, Data and TimeJochen Hoenicke, Ernst-Rüdiger Olderog. 245-266 [doi]
- An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time SystemsGraeme Smith. 267-285 [doi]
- Model Driven EngineeringStuart Kent. 286-298 [doi]
- The Design of a Tool-Supported Graphical Notation for Timed CSPPhillip J. Brooke, Richard F. Paige. 299-318 [doi]
- Combining Graphical and Formal Development of Open Distributed SystemsEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo. 319-338 [doi]
- Translations between Textual Transition Systems and Petri NetsKaterina Korenblat, Orna Grumberg, Shmuel Katz. 339-359 [doi]
- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event SystemsHéctor Ruíz Barradas, Didier Bert. 360-379 [doi]
- Minimally and Maximally Abstract RetrenchmentsCzeslaw Jeske, Richard Banach. 380-400 [doi]