KBMS: A Knowledge-Based System for Modeling Software System Specifications

Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. A modeling approach and a knowledge-based system that assist in the requirement acquisition, development, and maintenance of such software system specifications are presented. >

[1]  Richard C. Waters,et al.  The programmer's apprentice , 1990, ACM Press frontier series.

[2]  Dewayne E. Perry,et al.  Software interconnection models , 1987, ICSE '87.

[3]  Richard C. Waters,et al.  The Programmer's Apprentice: Knowledge Based Program Editing , 1982, IEEE Transactions on Software Engineering.

[4]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[5]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[6]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[7]  Richard C. Waters,et al.  The Programmer's Apprentice: a research overview , 1988, Computer.

[8]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[9]  W. W. Bledsoe,et al.  Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

[10]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[11]  Robert Balzer,et al.  Kestrel Institute: REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT , 1986 .

[12]  Robert Balzer,et al.  Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.

[13]  Jayadev Misra.  A Technique of Algorithm Construction on Sequences , 1978, IEEE Transactions on Software Engineering.

[14]  Alexander Borgida,et al.  Knowledge representations as the basis for requirements specifications , 1986 .

[15]  Martin S. Feather,et al.  Implementing Specification Freedoms , 1986, Sci. Comput. Program..

[16]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[17]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[18]  Tetsuo Kinoshita.  A knowledge acquisition model with applications for requirements specification and definition , 1989, SGAR.

[19]  Martin S. Feather,et al.  A survey and classification of some program transformation approaches and techniques , 1987 .

[20]  Stephen Fickas,et al.  Automating the Transformational Development of Software , 1985, IEEE Transactions on Software Engineering.

[21]  Philip J. Barnard,et al.  Approximate Modelling of Cognitive Activity with and Expert System: A Theory-Based Strategy for Developing an Interactive Design Tool , 1988, Computer/law journal.

[22]  Mehdi T. Harandi,et al.  Knowledge-based software design using design schemas , 1987, ICSE '87.

[23]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[24]  M. Saeki,et al.  Software Development Process From Natural Language Specification , 1989, 11th International Conference on Software Engineering.

[25]  Colette Rolland,et al.  Database dynamics , 1983, DATB.