default search action
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 - Sun-Hwa Hahn, Jin Hyung Kim:
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor. 439-461 - Colin Potts:
Desert Island Column. 463-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: