Enhancing object-oriented methods with formal notations

Theory and Practice of Object Systems

Volumn 2, Issue 4, 1996, Pages 247-268

  Lano, Kevin ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; SUBROUTINES;

MATHEMATICAL NOTATION; SOFTWARE PACKAGE VDM; SOFTWARE PACKAGE VENUS;

OBJECT ORIENTED PROGRAMMING;

EID: 0030349379     PISSN: 10743227     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1096-9942(1996)2:4<247::AID-TAPO2>3.0.CO;2-R     Document Type: Article

References (31)