Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 6
Volume 6, Number 1, January 1999
- Rance Cleaveland, Daniel Jackson:
Guest Editorial. 5-6
- Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
:
Behaviour Analysis of Distributed Systems Using the Tracta Approach. 7-35 - Ramesh Bharadwaj, Constance L. Heitmeyer:
Model Checking Complete Requirements Specifications Using Abstraction. 37-68 - Patrick Cousot, Radhia Cousot:
Refining Model Checking by Abstract Interpretation. 69-95
Volume 6, Number 2, April 1999
- Rick Kazman, S. Jeromy Carrière:
Playing Detective: Reconstructing Software Architecture from Available Evidence. 107-138 - John Penix, Perry Alexander:
Efficient Specification-Based Component Retrieval. 139-170 - George Spanoudakis, Anthony Finkelstein, David Till:
Overlaps in Requirements Engineering. 171-198 - Ali Mili:
Desert Island Column: The Long Story of a Short Theorem. 199-204
Volume 6, Number 3, July 1999
- David Budgen:
Guest Editorial. 215 - Robert G. Clark, Ana M. D. Moreira:
Formal Specifications of User Requirements. 217-232 - Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca:
A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation. 233-263 - Kevin Lano, N. Malik:
Mapping Procedural Patterns to Object-Oriented Design Patterns. 265-289 - Fraser MacDonald, James Miller:
A Comparison of Computer Support Systems for Software Inspection. 291-313 - Tim Menzies:
Desert Island Column. 315-320
Volume 6, Number 4, October 1999
- Christopher A. Welty, Michael R. Lowry, Yves Ledru:
Guest Editorial. 327-328 - Alessandro Armando, Alan Smaill, Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. 329-356 - Jean-Francois Girard, Rainer Koschke, Georg Schied:
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations. 357-386 - Houari A. Sahraoui, Hakim Lounis, Walcélio L. Melo, Hafedh Mili:
A Concept Formation Based Approach to Object Identification in Procedural Code. 387-410 - Renaud Marlet, Scott Thibault, Charles Consel:
Efficient Implementations of Software Architectures via Partial Evaluation. 411-440 - David Stuart Robertson:
Desert Island Column: The Books Don't Work. 441-443
a service of 
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 2023-06-09 20:29 CEST 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:
