Xuemin Feng
Abstract
After summarizing and evaluating those existed formal specification language extended Z, the paper presents an object oriented formal specification language named GOOZ, which is an extension of Z also. GOOZ has many characteristics such as concision, well-defined interface, complete module and so on.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
After summarizing and evaluating those existed formal specification language extended Z, the paper presents an object oriented formal specification language named GOOZ, which is an extension of Z also. GOOZ has many characteristics such as concision, well-defined interface, complete module and so on.
Key concepts: Computer science, Programming language, Specification language, Object language, Formal specification, Programming language specification, Language Of Temporal Ordering Specification, Interface description language