Volume 55, Number 1-3, March 2005
- Frank S. de Boer, Marcello M. Bonsangue:
Preface.
1-2
- Farhad Arbab:
Abstract Behavior Types: a foundation model for components and their composition.
3-52
- Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs:
Formal methods for smart cards: an experience report.
53-80
- Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva:
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
81-115
- Werner Damm, Bernd Westphal:
Live and let die: LSC based verification of UML models.
117-159
- Gregor Gößler, Joseph Sifakis:
Composition for component-based modeling.
161-183
- Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok:
How the design of JML accommodates both runtime assertion checking and formal verification.
185-208
- K. Rustan M. Leino, Todd D. Millstein, James B. Saxe:
Generating error traces from verification-condition counterexamples.
209-226
- Ernst-Rüdiger Olderog, Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ.
227-257
- Juha Plosila, Kaisa Sere, Marina A. Waldén:
Asynchronous system synthesis.
259-288
Last update Mon May 20 18:23:07 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
