


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














