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
  

Volume 4, Number 2, April 1997

• 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
  

Volume 4, Number 3, July 1997

• 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
  

Volume 4, Number 4, October 1997

• 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
  

Last update Tue May 21 18:22:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page