Title :
A generic OO architecture language for semantics analysis of OO specification
Author_Institution :
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
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;
Conference_Titel :
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Print_ISBN :
0-7695-2209-2
DOI :
10.1109/CMPSAC.2004.1342653
