Science of Computer Programming, Volume 36

Volume 36, Number 1, January 2000

Jorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. 1-3 BibTeX
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. 5-25 BibTeX
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier: Verification and test generation for the SSCOP protocol. 27-52 BibTeX
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a safety-critical railway interlocking system with real-time constraints. 53-64 BibTeX
Mats Per Erik Heimdahl, Barbara J. Czerny: On the analysis needs when verifying state-based software requirements: an experience report. 65-96 BibTeX
Holger Hermanns, Joost-Pieter Katoen: Automated compositional Markov chain generation for a plain-old telephone system. 97-127 BibTeX

Ira D. Baxter, Alex Quilici, Chris Verhoef: Preface. 129-130 BibTeX
Ira D. Baxter, Michael Mehlich: Reverse engineering is reverse forward engineering. 131-147 BibTeX
Jean-Francois Girard, Rainer Koschke: A comparison of abstract data types and objects recovery techniques. 149-181 BibTeX
Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller: How do program understanding tools affect how programmers understand programs? 183-207 BibTeX
Mark van den Brand, M. P. A. Sellink, Chris Verhoef: Generation of components for software renovation factories from context-free grammars. 209-266 BibTeX
Dean F. Jerding, Spencer Rugaber: Using visualization for architectural localization and extraction. 267-284 BibTeX
Alex Quilici, Steven Woods, Yongjun Zhang: Program plan matching: experiments with a constraint-based approach. 285-302 BibTeX
Arie van Deursen, Alex Quilici, Steven Woods: Program plan recognition for year 2000 tools. 303-324 BibTeX