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 refinement are 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.
Romi S. Wahono, Behrouz H. Far