DocumentCode
1565794
Title
A generic OO architecture language for semantics analysis of OO specification
Author
Xia, Franck
Author_Institution
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
Volume
2
fYear
2004
Firstpage
8
Abstract
Formal specification enables a rigorous analysis and model checking for ensuring the correctness of specification. Formal OO specification methods are of mathematical nature and the semantics of specification is purposely defined such that it is not related to the semantics of code. We propose a new language, which will lay a common semantics ground for both specification and code.
Keywords
formal specification; object-oriented methods; object-oriented programming; programming language semantics; specification languages; formal specification; generic OO architecture language; model checking; object-oriented method; semantics analysis; Collaboration; Computer architecture; Computer languages; Computer science; Encapsulation; Error correction codes; Formal specifications; Object oriented modeling; Object oriented programming; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-2209-2
Type
conf
DOI
10.1109/CMPSAC.2004.1342653
Filename
1342653
Link To Document