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.
Recommended Citation
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 https://doi.org/10.1109/CMPSAC.2004.1342653
Meeting Name
28th Annual International Computer Software and Applications Conference, 2004
Department(s)
Computer Science
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)
0730-3157
Document Type
Article - Conference proceedings
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 2004 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jan 2004
