Knowledge-Based Software Engineering

Front Cover
Dorothy E. Setliff, Howard Reubenstein
Springer Science & Business Media, Dec 31, 1996 - Computers - 109 pages
Knowledge-Based Software Engineering brings together in one place important contributions and up-to-date research results in this important area.
Knowledge-Based Software Engineering serves as an excellent reference, providing insight into some of the most important research issues in the field.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Searching for a Global Search Algorithm
7
Specification and Animation of a Bank Transfer Using KIDSVDM
33
Interactive Explanation of Software Systems
52
Test Case Generation as an AI Planning Problem
77
Desert Island Column
107
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 105 - CIAI is sponsored in part by the Colorado Advanced Technology Institute (CATI), an agency of the State of Colorado. CATI promotes advanced technology education and research at universities in Colorado for the purpose of economic development.
Page 105 - Knowledge Representation and Reasoning in the Design of Composite Systems", IEEE Trans.
Page 105 - Experience, 1980, vol. 10, pp. 897-918. [5] AG Duncan and JS Hutchison, Using Attributed Grammars to Test Designs and Implementations, ICSE-5, 1981, pp.
Page 6 - The Knowledge-Based Software Engineering Conference provides a forum for researchers and practitioners to discuss applications of automated reasoning, knowledge representation and artificial intelligence techniques to software engineering problems. This conference focuses on specific knowledge-based techniques for constructing, representing, reasoning with, and understanding software artifacts and processes. These techniques may be fully automatic, may support, or cooperate with humans.
Page 105 - Vigna, C. Ghezzi, G. Gramata, and F. Savoretti. "Compiler Testing using a Sentence Generator," Software- Practice and Experience, 1980:10, pp.
Page 105 - John S. Anderson. Automating Requirements Engineering Using Artificial Intelligence Techniques. PhD thesis, Dept. of Computer and Information Science, University of Oregon, Dec. 1993. Anthony Barrett, Keith Golden, Scott Penberthy, and Daniel Weld. UCPOP User's Manual.

Bibliographic information