Knowledge-Based Software Engineering
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.
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
abstract Acdata Acno AMPSE answer application domain attributes automated baggage command language command sequences Computer construct data structures defined described design theory dismount documentation repository dom(M domain model domain theory example executable expertise feasible paths Figure formal methods fr.ac function global search algorithms global search theory goal oriented hypertext I-Doc image modification implementation initial input integer interface intracommand rules Kestrel Kestrel Institute KIDS approach KIDS/VDM knowledge base macrotask Mayrhauser modify nodes object element operator optimization oriented questions output parameter binding parameter values planner planning system Postcondition preconditions preprocessor problem specification program synthesis program transformations prototype provides range sort refinement representation requirements Script Classes Script Rule search space semantic Sleuth SLEV Software Engineering software repository solution step StorageTek symptom oriented syntax tape drive task Tcl/Tk testers to.ac tool TRANSF transportation UCPOP UNKNOWN UNKNOWN valid variables VDM specification
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 - Experience, 1980, vol. 10, pp. 897-918.  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.