Automated Software Engineering, Volume 6

Volume 6, Number 1, January 1999

• Rance Cleaveland, Daniel Jackson: Guest Editorial. 5-6 BibTeX
• Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. 7-35 BibTeX
• Ramesh Bharadwaj, Constance L. Heitmeyer: Model Checking Complete Requirements Specifications Using Abstraction. 37-68 BibTeX
• Patrick Cousot, Radhia Cousot: Refining Model Checking by Abstract Interpretation. 69-95 BibTeX

Volume 6, Number 2, April 1999

• Rick Kazman, S. Jeromy Carrière: Playing Detective: Reconstructing Software Architecture from Available Evidence. 107-138 BibTeX
• John Penix, Perry Alexander: Efficient Specification-Based Component Retrieval. 139-170 BibTeX
• George Spanoudakis, Anthony Finkelstein, David Till: Overlaps in Requirements Engineering. 171-198 BibTeX
• Ali Mili: Desert Island Column: The Long Story of a Short Theorem. 199-204 BibTeX

Volume 6, Number 3, July 1999

• David Budgen: Guest Editorial. 215 BibTeX
• Robert G. Clark, Ana M. D. Moreira: Formal Specifications of User Requirements. 217-232 BibTeX
• Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca: A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation. 233-263 BibTeX
• Kevin Lano, N. Malik: Mapping Procedural Patterns to Object-Oriented Design Patterns. 265-289 BibTeX
• Fraser MacDonald, James Miller: A Comparison of Computer Support Systems for Software Inspection. 291-313 BibTeX
• Tim Menzies: Desert Island Column. 315-320 BibTeX

Volume 6, Number 4, October 1999

• Christopher A. Welty, Michael R. Lowry, Yves Ledru: Guest Editorial. 327-328 BibTeX
• Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. 329-356 BibTeX
• Jean-Francois Girard, Rainer Koschke, Georg Schied: A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations. 357-386 BibTeX
• Houari A. Sahraoui, Hakim Lounis, Walcélio L. Melo, Hafedh Mili: A Concept Formation Based Approach to Object Identification in Procedural Code. 387-410 BibTeX
• Renaud Marlet, Scott Thibault, Charles Consel: Efficient Implementations of Software Architectures via Partial Evaluation. 411-440 BibTeX
• David Stuart Robertson: Desert Island Column: The Books Don't Work. 441-443 BibTeX