Volume 36,
Number 1,
January 2000
- Jorge Cuéllar, Stefania Gnesi, Diego Latella:
Foreword.
1-3
- 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
- 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
- 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
- Mats Per Erik Heimdahl, Barbara J. Czerny:
On the analysis needs when verifying state-based software requirements: an experience report.
65-96
- Holger Hermanns, Joost-Pieter Katoen:
Automated compositional Markov chain generation for a plain-old telephone system.
97-127
Volume 36,
Numbers 2-3,
March 2000
- Ira D. Baxter, Alex Quilici, Chris Verhoef:
Preface.
129-130
- Ira D. Baxter, Michael Mehlich:
Reverse engineering is reverse forward engineering.
131-147
- Jean-Francois Girard, Rainer Koschke:
A comparison of abstract data types and objects recovery techniques.
149-181
- Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller:
How do program understanding tools affect how programmers understand programs?
183-207
- Mark van den Brand, M. P. A. Sellink, Chris Verhoef:
Generation of components for software renovation factories from context-free grammars.
209-266
- Dean F. Jerding, Spencer Rugaber:
Using visualization for architectural localization and extraction.
267-284
- Alex Quilici, Steven Woods, Yongjun Zhang:
Program plan matching: experiments with a constraint-based approach.
285-302
- Arie van Deursen, Alex Quilici, Steven Woods:
Program plan recognition for year 2000 tools.
303-324
Copyright © Mon Nov 2 21:51:38 2009
by Michael Ley (ley@uni-trier.de)
