VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Object-oriented specification case studies
Object-oriented specification case studies
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
The Object-Z specification language
The Object-Z specification language
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Formal Object-Oriented Development
Formal Object-Oriented Development
Object Orientation in Z
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Transferring Formal Techniques to Industry
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Modular Object-oriented Z Specifications
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Recursive Schema Definitions in Object-Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Encoding Object-Z in Isabelle/HOL
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
The Adoption of Formal Methods within OTC
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
An Extended Semantic Foundation For Object-Z
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Introducing Objects through Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
Compositional verification for object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
| Hi-index | 0.00 |
Two types of semantics have been given to object-oriented formal specification languages. Value semantics denote a class by a set of values representing its objects. Reference semantics denote a class by a set of references, or pointers, to values representing its objects. While adopting the former facilitates formal reasoning, adopting the latter facilitates transformation to object-oriented code. In this paper, we propose a combined approach using value semantics for abstract specification and reasoning, and then refining to a reference semantics before transforming specification to code.