Open AccessFrom Object-Oriented Specification to Implementation: A Formal Refinement Methodology.
Author(s) -
Moonsung Yoo
Publication year - 1996
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_disstheses.6378
Subject(s) - programming language , eiffel , computer science , formal specification , refinement , formal methods , specification language , executable , language of temporal ordering specification , object oriented programming , software engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom