Automated Software Engineering, Volume 8

Volume 8, Number 1, January 2001

• Robert J. Hall, Enn Tyugu:
  Guest Editorial. 5-6
  
• Keith E. Williamson, Michael Healy, Richard A. Barker:
  Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. 7-30
  
• Martin S. Feather, Benjamin D. Smith:
  Automatic Generation of Test Oracles-From Pilot Studies to Application. 31-61
  
• David S. Wile:
  Modeling Architecture Description Languages Using AML. 63-88
  
• Lance Tokuda, Don S. Batory:
  Evolving Object-Oriented Designs with Refactorings. 89-120
  
• David W. Bustard:
  Software Engineering Books for Desert Island Reading. 121-123
  

Volume 8, Number 2, April 2001

• Pierre Flener, Derek Partridge:
  Inductive Programming. 131-137
  
• José Hernández-Orallo, M. José Ramírez-Quintana:
  Predictive Software. 139-166
  
• Andreas Hamfelt, Jørgen Fischer Nilsson, Nikolaj Oldager:
  Logic Program Synthesis as Problem Reduction Using Combining Forms. 167-193
  
• T. L. McCluskey, Margaret Mary West:
  The Automated Refinement of a Requirements Domain Theory. 195-218
  

Volume 8, Number 3-4, August 2001

• Ugo A. Buy, Robert H. Sloan:
  Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. 227-273
  
• José Creissac Campos, Michael D. Harrison:
  Model Checking Interactor Specifications. 275-310
  
• Nabor C. Mendonça, Jeff Kramer:
  An Approach for Recovering Distributed System Architectures. 311-354
  
• Darrel C. Ince:
  Eight Desert Island Books. 355-358
  

Last update Thu Feb 9 05:20:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page