Commitment-based software development
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (10) , 870-885
- https://doi.org/10.1109/32.163604
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- LaSSIECommunications of the ACM, 1991
- The NIKL experienceComputational Intelligence, 1991
- Undecidability of subsumption in NIKLArtificial Intelligence, 1989
- The Programmer's Apprentice: a research overviewComputer, 1988
- KBRA: A new paradigm for requirements engineeringIEEE Expert, 1988
- The Programmer's Apprentice: A Session with KBEmacsIEEE Transactions on Software Engineering, 1985