Automating software design /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Menlo Park : Cambridge :
AAAI Press ; MIT Press,
[1991]
|
| Subjects: |
Table of Contents:
- The evolution of very large information systems / V. Alagappan and W. Kozaczynski
- LaSSIE : a knowledge-based software information system / Premkumar Devanbu ... [et al.]
- Reducing the complexity of formal specification acquisition / Van E. Kelly and Uwe Nonnenmann
- Using evolution transformations to construct specifications / W. Lewis Johnson and Martin S. Feather
- The ROSE-2 strategies for supporting high-level software design reuse / Mitchell D. Lubars
- Automatic programming for device-control software / David Barstow
- Data relationships and software design / Elaine Kant
- Scientific programming by automated synthesis / Elaine Kant ... [et al.]
- On the automatic selection of data structure and algorithms / Dorothy Setliff.
- A transformational approach to knowledge compilation : replayable derivations of task-specific heuristic search algorithms / Jack Mostow
- A divide-and-conquer approach to knowledge compilation / Christopher Tong
- Automated synthesis of constrained generators / Wesley Braudaway
- Subtask independence and algorithm synthesis / Robert McCartney
- Program improvement by automatic redistribution of intermediate results : an overview / Robert J. Hall
- Synthesis of programs in the partial deducation framework / Jan Komorowski
- Toward predicative programming / Wolfgang Bibel
- A derivation of an efficient rule system pattern matcher / Jeremy Wertheimer
- Design principles for an interactive program-derivation system / Uday S. Reddy.
- KIDS : a knowledge-based software development system / Douglas R. Smith
- Automating the design of local search algorithms / Michael R. Lowry
- Formal software development in the KIV system / Maritta Heisel, Wolfgang Reif, and Werner Stephan
- Automating algorithm design within a general architecture for intelligence / David Steier
- Representing software designs as partially developed plans / Theodore A. Linden
- Software engineering in the twenty-first century / Michael R. Lowry.