Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
The enhancement of class model development using business rules
PCI'05 Proceedings of the 10th Panhellenic conference on Advances in Informatics
Facilitating the transition from use case models to analysis models: Approach and experiments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain limitations to such solutions, such as, they are concentrated on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinementare not implemented well. This paper presents a methodology for object identification and refinement from the software requirements, which is based on object-based formal specification (OBFS). This methodology provides the mean of understanding the object-oriented paradigm easily, and supports us with identifying and refining the objects. As a case study for a comprehensive explanation about how to use this methodology, an example of software project for an air traffic control system is given.