Automated Software Engineering, Volume 8

Volume 8, Number 1, January 2001

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

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

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