Formal justification in object-oriented modelling: A linguistic approach
From MaRDI portal
Publication:4955649
Recommendations
- scientific article; zbMATH DE number 1512072
- scientific article; zbMATH DE number 1860665
- A framework for establishing formal conformance between object models and object-oriented programs
- An algebraic approach to formalization of object-orientation*
- Object modelling languages: An evaluation and some key expectations for the future
- Modelling unit processes using formal language description and object-orientation
Cited in
(3)
This page was built for publication: Formal justification in object-oriented modelling: A linguistic approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955649)