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
Robert J. Hall: Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. 33-53
Panagiotis Katalagarianos, Yannis Vassiliou: On the Reuse of Software: A Case-Based Approach Employing a Repository. 55-86
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

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

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

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