Automated Software Engineering, Volume 4

Volume 4, Number 1, January 1997

Howard B. Reubenstein, Dorothy E. Setliff: Introduction. 5 BibTeX
Sabine Dick, Thomas Santen: Searching for a Global Search Algorithm. 7-31 BibTeX
Yves Ledru: Specification and Animation of a Bank Transfer using KIDS/VDM. 33-51 BibTeX
W. Lewis Johnson, Ali Erdem: Interactive Explanation of Software Systems. 53-75 BibTeX
Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz: Test Case Generation as an AI Planning Problem. 77-106 BibTeX
Wladyslaw M. Turski: Desert Island Column. 107-109 BibTeX

Mireille Ducassé: Introduction. 119-120 BibTeX
Henrik Nilsson, Jan Sparud: The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. 121-150 BibTeX
Clemens Beckstein, Gerhard Tobermann: Algorithmic Debugging and Hypothetical Reasoning. 151-178 BibTeX
Thomas Kunz: High-Level Views of Distributed Executions: Convex Abstract Events. 179-197 BibTeX
Michael R. Lowry, Jeffrey Van Baalen: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. 199-241 BibTeX
Shari Lawrence Pfleeger: Desert Island Column. 243-245 BibTeX

Christopher A. Welty, Peter G. Selfridge: Artificial Intelligence and Software Engineering: Breaking the Toy Mold. 255-270 BibTeX
Alex Quilici, Steven Woods: Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. 271-289 BibTeX
John Mylopoulos, Alexander Borgida, Eric S. K. Yu: Representing Software Engineering Knowledge. 291-317 BibTeX
Scott Henninger: Case-Based Knowledge Management Tools for Software Development. 319-340 BibTeX
Robert E. Filman: Applying AI to Software Renovation. 341-360 BibTeX
Bernard Cohen: Desert Island Column: Neglected Masterpieces. 361-364 BibTeX

Leah Goldin, Daniel M. Berry: AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation. 375-412 BibTeX
Alistair G. Sutcliffe: Commentary on AbstFinder: A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation. 413-414 BibTeX
Kevin Ryan: Commentary on AbstFinder: A Prototype Natural Language Test Abstraction Finder for Use in Requirements Elicitation. 415 BibTeX
Leah Goldin, Daniel M. Berry: Reply to Commentaries. 417-418 BibTeX
Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. 419-438 BibTeX
S.-H. Hahn, J. Kim: Automatic Problem Description from Model Program for Knowledge-based Programming Tutor. 439-461 BibTeX
Colin Potts: Desert Island Column. 463-466 BibTeX