Formalizing the Object Management Group's Core Object Model

Computer Standards and Interfaces

Volumn 17, Issue 5-6, 1995, Pages 481-489

  Bryant, Tony ^a   Evans, Andy ^a  

^a LEEDS METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

Formal notations; Methods integration; Object orientation; Standards

Indexed keywords

COMPUTER SIMULATION; INFORMATION TECHNOLOGY; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

CORE MODEL; FORMAL NOTATIONS; METHODS INTEGRATION; OBJECT ORIENTATION;

STANDARDS;

EID: 0029368562     PISSN: 09205489     EISSN: None     Source Type: Journal    
DOI: 10.1016/0920-5489(95)00018-P     Document Type: Article

References (7)

1. Information & Software Technology
2. Applying formal methods within structured development