Life-cycle for formal object-oriented specification models

After a discussion on formal object-oriented specification languages, a life-cycle model is proposed, which permits the exploitation of both object orientation and formal specification techniques. In this model, verification and validation are performed not only at the later stages of the development process, but also at any stage, including the external specification and composition/decomposition phases.