Precise and Formal Metamodelling with the Business Object Notation and PVS (2000)
by
Richard F. Paige
,
Jonathan S. Ostroff
| Citations: | 4 - 1 self |
BibTeX
@TECHREPORT{Paige00preciseand,
author = {Richard F. Paige and Jonathan S. Ostroff},
title = {Precise and Formal Metamodelling with the Business Object Notation and PVS},
institution = {},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 790 | The Unified Modeling Language Reference Manual - Rumbaugh, Jacobson, et al. - 1998 |
| 278 | Alloy: a lightweight object modelling notation - Jackson - 2000 |
| 102 | A Practical Theory of Programming - Hehner - 1993 |
| 49 | Validating UML models and OCL constraints - Richters, Gogolla |
| 38 | Isome shortcomings of OCL, the object constraint language of UML - Vaziri, Jackson - 1999 |
| 10 | P.J.: Principles for modeling language design - Paige, Ostroff, et al. - 2000 |
| 2 | Bunches for Object-Oriented, Real-Time, and Concurrent Specification - Paige, Hehner - 1999 |
| 1 | An Object-Oriented Refinement Calculus, submitted - Paige, Ostroff - 1999 |
