Title :
Life-cycle for formal object-oriented specification models
Author :
Bruno, M.A. ; Bucci, G. ; Nesi, P.
Author_Institution :
Dept. of Syst. & Inf., Florence Univ., Italy
Abstract :
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
Keywords :
formal specification; formal verification; object-oriented methods; specification languages; composition/decomposition phase; external specification phase; formal object-oriented specification languages; formal verification; life-cycle model; software development process; validation; Application software; Contracts; Councils; Formal specifications; Object oriented modeling; Power system modeling; Programming; Specification languages; Virtual prototyping; World Wide Web;
Conference_Titel :
EUROMICRO 97. 'New Frontiers of Information Technology'. Short Contributions., Proceedings of the 23rd Euromicro Conference
Conference_Location :
Budapest
Print_ISBN :
0-8186-8215-9
DOI :
10.1109/EMSCNT.1997.658430
