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

@article{Massoni2008AFF,
  title={A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs},
  author={Tiago Massoni and Rohit Gheyi and Paulo Borba},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2008},
  volume={195},
  pages={189-209}
}
Conformance between structural models and their implementations are usually simplified in practice, restraining reasoning to simple mappings between modeling and implementation constructs. This is not appropriate to accommodate the usual freedom of implementation for abstract concepts. A more flexible conformance notion must be addressed by conformance… CONTINUE READING