Formal specification of object systems
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Logic and objects
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Automated support for the development of formal object-oriented requirements specifications
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
First-Order Dynamic Logic
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Deductive and Object Data Languages: A Quest for Integration
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
From Object Oriented Conceptual Modeling to Automated Programming in Java
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
| Hi-index | 0.00 |
Software Engineering is still lacking methods which are capable of properly capturing the relevant System properties in the problem space and at the same time generating a correct representation (a final software product) in the solution space. This product must be functionally equivalent to the system specification and obtained in an automated way. The design of methods of this kind and the development of associated support tools is one of the current challenges in the field. This leads us to real CARE Computer-Aided Requirements Engineering environments, where the replacement of the S (of CASE) by the R is very meaningful: we want to focus on the Requirements Engineering process to capture properly the relevant system properties. Our CARE advanced tools will convert these "patterns" of behavior into the most convenient representation in a given software development environment, by properly "compiling" the system specification following a set of mappings between conceptual patterns and software representations. To do it, a formal basis and a model with the necessary expressiveness are needed in order to do this. The contribution of this paper is the object-oriented OASIS model as the basic model for such a CARE environment, together with a method for software production -the OO-Method- as an operational implementation of these ideas.