![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Automated 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.