External Links

Journal: Science of Computer Programming

Volume 20, Issue 3

205 -- 221David B. Skillicorn. Deriving Parallel Programs from specification Susing Cost Information
223 -- 251Ralph-Johan Back, Joakim von Wright. Statement Inversion and Strongest Postcondition
253 -- 289Jules Desharnais, Ali Mili, Fatma Mili. On the Mathematics of Sequential Decompositions

Volume 20, Issue 1-2

1 -- 2Carlo Ghezzi, Gruia-Catalin Roman. Guest Editors Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design
3 -- 50Anne Dardenne, Axel van Lamsweerde, Stephen Fickas. Goal-Directed Requirements Acquisition
51 -- 71Yves Ledru. Developing Reactive Systems in a VDM Framework
73 -- 111Pierre Yves Schobbens. Exceptions for Algebraic Specifications: On the Meaning of but
113 -- 140Reino Kurki-Suonio, Kari Systä, Jüri Vain. Real-Time Specification and Modeling with Joint Actions
141 -- 171Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro. Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems
runs on