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


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

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