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
  

Volume 2, Number 2, June 1995

• 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
  

Volume 2, Number 3, September 1995

• 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
  

Volume 2, Number 4, December 1995

• 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
  

Last update Fri May 24 16:17:11 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page