default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 36
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-25 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
