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

last updated on Thu May 23 04:38:25 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page