DocumentCode
2952492
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
fYear
1997
fDate
1-4 Sep 1997
Firstpage
2
Lastpage
7
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EMSCNT.1997.658430
Filename
658430
Link To Document