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 updated on Wed May 22 05:17:39 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page