Journals in DBLP

Sci. Comput. Program.
2005, volume: 55, number: 1-3

1. Frank S. de Boer, Marcello M. Bonsangue
   Preface. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:1-2 [Journal]
   
2. Farhad Arbab
   Abstract Behavior Types: a foundation model for components and their composition. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:3-52 [Journal]
   
3. Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
   Formal methods for smart cards: an experience report. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:53-80 [Journal]
   
4. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
   A discrete-time UML semantics for concurrency and communication in safety-critical applications. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:81-115 [Journal]
   
5. Werner Damm, Bernd Westphal
   Live and let die: LSC based verification of UML models. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:117-159 [Journal]
   
6. Gregor Gößler, Joseph Sifakis
   Composition for component-based modeling. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:161-183 [Journal]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:185-208 [Journal]
   
8. K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
   Generating error traces from verification-condition counterexamples. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:209-226 [Journal]
   
9. Ernst-Rüdiger Olderog, Heike Wehrheim
   Specification and (property) inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:55, n:1-3, pp:227-257 [Journal]
   
10. Juha Plosila, Kaisa Sere, Marina A. Waldén
    Asynchronous system synthesis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:259-288 [Journal]