Exploring the informal translation of OMT object models in B


In this paper, a model was chosen from the OMT book[22], and a B[1] specification developed. The transcription of the model into B machines is used to evaluate the specification work. The paper also draws analogies with work on the integration of non-object-oriented methods integration work, and makes tentative proposals for the non-formal validation of the… (More)

10 Figures and Tables


  • Presentations referencing similar topics