A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

DOI10.1016/j.entcs.2007.08.033zbMath1279.68057OpenAlexW2018658040MaRDI QIDQ2873618

Rohit Gheyi, Tiago Massoni, Paulo Borba

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.033

zbMATH Keywords

semanticsconformanceobject model

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PVS

Cites Work

• Proof of correctness of data representations
• Synchronizing Model and Program Refactoring
• Static Analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs