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

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

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