The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Computational Intelligence
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
RESIDUE: a deductive approach to design synthesis
RESIDUE: a deductive approach to design synthesis
From “folklore” to “living design memory”
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
SSR '95 Proceedings of the 1995 Symposium on Software reusability
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Graft-Host method for design change
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Representing and Maintaining Process Knowledge for Large-Scale Systems Development
IEEE Expert: Intelligent Systems and Their Applications
Use of Formal Ontologies to Support Error Checking in Specifications
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Knowledge level modelling: concepts and terminology
The Knowledge Engineering Review
Living design memory: framework, implementation, lessons learned
Human-Computer Interaction
Hi-index | 0.00 |
During the development of a system, software modules can be viewed in terms of their commitments: the constraints imposed by their own structure and behavior, and by their relationships with other modules (in terms of resource consumption, data requirements. etc.). The Comet system uses explicit representation and reasoning with commitments to aid the software design and development process-in particular, to lead software developers to make decisions that result in reuse. Developers can examine the commitments that must be met in order to include an existing module, and can explore how commitments change when modules are modified. Comet has been applied to the domain of sensor-based tracker software.