Automated Software Engineering, Volume 4

Volume 4, Number 1, January 1997

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

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

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

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