Eiffel: the language
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
HOOD: reference manual 3.1
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
Modeling and Improving an Industrial Software Process
IEEE Transactions on Software Engineering
Proceedings of the Second European Workshop on Software Process Technology
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Design, Use and Implementation of SPELL, a language for Software Process Modelling and Evolution
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Hi-index | 0.00 |
CASE tools usually lack methodological assistance and PSEEs usually lack validation of development outputs. We have developped a framework, named RHODES, which is based on a process description language (PBOOL) that enables modeling constructive activities and products of processes. It uses both object-oriented techniques to favor extendibility and reuse of processes and formal approach concepts to validate the development. All mechanisms required to enact PBOOL processes and to handle real development requirements (choice of heuristics, loops back, work sharing, etc.) are described in the execution model as development operators. RHODES assistance consists in providing developers with heuristics to perform activities; in managing the identified activities and dynamically computing their dependencies; in using assertionsfor validating development outputs, detecting and solving inconsistencies and partially automating propagation of changes.