External Links

    Journal: Automated Software Engineering

    Volume 4, Issue 4

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

    Volume 4, Issue 3

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

    Volume 4, Issue 2

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

    Volume 4, Issue 1

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