Science of Computer Programming, Volume 20

Volume 20, Numbers 1-2, April 1993

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

Volume 20, Number 3, June 1993

• F. Vivarès: Modelling Jackson's Programming Method. 173-204 BibTeX
• David B. Skillicorn: Deriving Parallel Programs from specification Susing Cost Information. 205-221 BibTeX
• Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. 223-251 BibTeX
• Jules Desharnais, Ali Mili, Fatma Mili: On the Mathematics of Sequential Decompositions. 253-289 BibTeX