Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Approaches to knowledge representation: an introduction
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
OQL: a query language for manipulating object-oriented databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
An extensible kernel object management system
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Eiffel: the language
A data modeling framework for the performance analysis of sequential and parallel software
CSC '93 Proceedings of the 1993 ACM conference on Computer science
OSAM*.KBMS: an object-oriented knowledge base management system for supporting advanced applications
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Program Transformation Systems
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
Association Algebra: A Mathematical Foundation for Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Hi-index | 0.00 |
The development of a complex software system is a costly endeavor. Prototypes would not be ``throw-aways'' and much time and effort could be saved if a complex software system were developed by a series of refined and verified prototypes as the prototyper gains more and more knowledge about the functionality and performance requirements of the system being developed. To support such an evolutionary prototyping process, it is useful to have a powerful knowledge base management system (KBMS) to provide: 1) a powerful object model for modeling in a uniform manner, the structural and behavioral properties and constraints of software components that define the evolving prototypes and the data they manipulate, 2) a persistent knowledge base to maintain the models of these prototypes and the data related to design decisions, requirements, schedules, milestones, etc., and 3) a knowledge base programming language for querying and manipulating the persistent knowledge base, as well as for writing code. This paper presents a KBMS-based evolutionary prototyping methodology and an implemented KBMS that provides the above facilities.