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.

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.

Full Text Link

Share

 
COinS