Abstract is missing.
- Java s Integral Types in PVSBart Jacobs. 1-15 [doi]
- Towards Object-Oriented Graphs and GrammarsAna Paula Lüdtke Ferreira, Leila Ribeiro. 16-31 [doi]
- A Rewriting Based Model for Probabilistic Distributed Object SystemsNirman Kumar, Koushik Sen, José Meseguer, Gul Agha. 32-46 [doi]
- Engineering the SDL Formal Language DefinitionAndreas Prinz, Martin von Löwis. 47-63 [doi]
- A Syntax-Directed Hoare Logic for Object-Oriented Programming ConceptsCees Pierik, Frank S. de Boer. 64-78 [doi]
- Inheritance of Temporal Logic PropertiesHeike Wehrheim. 79-93 [doi]
- Temporal Logic Based Static Analysis for Non-uniform BehavioursMatthias Colin, Xavier Thirioux, Marc Pantel. 94-108 [doi]
- The Kell Calculus: Operational Semantics and Type SystemPhilippe Bidinger, Jean-Bernard Stefani. 109-123 [doi]
- A Calculus for Long-Running TransactionsLaura Bocchi, Cosimo Laneve, Gianluigi Zavattaro. 124-138 [doi]
- Formal Anaylsis of Some Timed Security Properties in Wireless ProtocolsRoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli. 139-154 [doi]
- Inductive Proof Outlines for Monitors in JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. 155-169 [doi]
- Proof Scores in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. 170-184 [doi]
- Design and Verification of Distributed Multi-media SystemsDavid H. Akehurst, John Derrick, A. Gill Waters. 176-292 [doi]
- Managing the Evolution of .NET ProgramsSusan Eisenbach, Vladimir Jurisic, Chris Sadler. 185-198 [doi]
- On Mobility Extensions of UML Statecharts. A Pragmatic ApproachDiego Latella, Mieke Massink. 199-213 [doi]
- New Operators for the TURTLE Real-Time UML ProfileChristophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat. 214-228 [doi]
- Checking Consistency in UML Diagramms: Classes and State MachinesHolger Rasch, Heike Wehrheim. 229-243 [doi]
- Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software ComponentsFrederic Tronel, Frédéric Lang, Hubert Garavel. 244-260 [doi]
- Verification of Distributed Object-Based SystemsFernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos. 261-275 [doi]