Automated Software Engineering, Volume 2

Volume 2, Number 1, March 1995

Shing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. 5-32 BibTeX
Robert J. Hall: Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. 33-53 BibTeX
Panagiotis Katalagarianos, Yannis Vassiliou: On the Reuse of Software: A Case-Based Approach Employing a Repository. 55-86 BibTeX
Kostas Kontogiannis, Peter G. Selfridge: Workshop Report: The Two-Day Workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (Held in conjunction with ICSE-16). 87-97 BibTeX

William W. Cohen: Inductive Specification Recovery: Understanding Software by Learning from Example Behaviors. 107-129 BibTeX
Robert J. Hall: Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. 131-166 BibTeX
Akira Takura, Keizo Kawata, Tadashi Ohta: Process Specification Generation from Communications Service Specifications. 167-182 BibTeX

Barry W. Boehm, Prasanta K. Bose: Critical Success Factors for Knowledge-Based Software Engineering Applications. 193-202 BibTeX
Gregory Alan Bolcer: User Interface Design Assistance For Large-Scale Software Development. 203-217 BibTeX
Raymond J. Madachy: Knowledge-Based Risk Assessment and Cost Estimation. 219-230 BibTeX
Gregory A. Toth: Automated Method for Identifying and Prioritizing Project Risk Factors. 231-248 BibTeX
Bashar Nuseibeh: Report on the Second IEEE International Symposium on Requirements Engineering (RE `95), York, UK, 27-29 March 1995. 249-253 BibTeX
Colin Tully: Desert Island Column. 255-258 BibTeX

Ugo A. Buy, Robert Moll: A Specification-Based Approach to Concurrency Analysis. 265-309 BibTeX
George Spanoudakis, Panos Constantopoulos: Integrating Specifications: A Similarity Reasoning Approach. 311-342 BibTeX
Linda A. Macaulay, John Mylopoulos: Requirements Engineering: An Educational Dilemma. 343-351 BibTeX
Michael Jackson: Desert Island Column. 353-355 BibTeX