Enhancing object-oriented methods with formal notations

• 1 January 1996
• journal article
• research article
• Published by Wiley in Theory and Practice of Object Systems
• Vol. 2  (4) , 247-268
• https://doi.org/10.1002/(sici)1096-9942(1996)2:4<247::aid-tapo2>3.0.co;2-r

Abstract

Keywords

• ORIENTED
• NOTATION
• JOHN
• REUSABLE
• FORMAL
• MATHEMATICAL
• GIVE
• BOOCH
• PLAT
• AFRO/CG/NP/VENUSREP/VI