Abstract is missing.
- A Tool-Supported Proof System for Multithreaded JavaErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. 1-32 [doi]
- Abstract Behavior Types: A Foundation Model for Components and Their CompositionFarhad Arbab. 33-70 [doi]
- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UMLWerner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva. 71-98 [doi]
- Live and Let Die: LSC-Based Verification of UML-ModelsWerner Damm, Bernd Westphal. 99-135 [doi]
- Reactive AnimationDavid Harel, Sol Efroni, Irun R. Cohen. 136-153 [doi]
- Model-Checking Middleware-Based Event-Driven Real-Time Embedded SoftwareXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh. 154-181 [doi]
- Equivalent Semantic Models for a Distributed Dataspace ArchitectureJozef Hooman, Jaco van de Pol. 182-201 [doi]
- Java Program Verification ChallengesBart Jacobs, Joseph Kiniry, Martijn Warnier. 202-219 [doi]
- ToolBus: The Next GenerationHayco de Jong, Paul Klint. 220-241 [doi]
- High-Level Specifications: Lessons from IndustryBrannon Batson, Leslie Lamport. 242-261 [doi]
- How the Design of JML Accomodates Both Runtime Assertion Checking and Formal VerificationGary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok. 262-284 [doi]
- Finding Implicit Contracts in .NET ComponentsKarine Arnout, Bertrand Meyer. 285-318 [doi]
- From Co-algebraic Specifications to Implementation: The Mihda ToolkitGian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto. 319-338 [doi]
- A Calculus for Modeling Software ComponentsOscar Nierstrasz, Franz Achermann. 339-360 [doi]
- Specification and Inheritance in CSP-OZErnst-Rüdiger Olderog, Heike Wehrheim. 361-379 [doi]
- Model-Based Testing of Object-Oriented SystemsBernhard Rumpe. 380-402 [doi]
- Concurrent Object-Oriented Programs: From Specification to CodeEmil Sekerinski. 403-423 [doi]
- Design with Asynchronously Communicating ComponentsJuha Plosila, Kaisa Sere, Marina A. Waldén. 424-442 [doi]
- Composition for Component-Based ModelingGregor Gößler, Joseph Sifakis. 443-466 [doi]
- Games for UML Software DesignPerdita Stevens, Jennifer Tenzer. 467-486 [doi]
- Making Components Move: A Separation of Concerns ApproachDirk Pattinson, Martin Wirsing. 487-507 [doi]