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.
X. F. Liu, "A Generic OO Architecture Language for Semantics Analysis of OO Specification," Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004, Institute of Electrical and Electronics Engineers (IEEE), Jan 2004.
The definitive version is available at http://dx.doi.org/10.1109/CMPSAC.2004.1342653
28th Annual International Computer Software and Applications Conference, 2004
Keywords and Phrases
Formal Specification; Generic OO Architecture Language; Model Checking; Object-Oriented Methods; Object-Oriented Programming; Programming Language Semantics; Semantics Analysis; Specification Languages
International Standard Serial Number (ISSN)
Article - Conference proceedings
© 2004 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.