Now showing items 1-10 of 25
MDA: correctness of model transformations. Which models are schemas?
(IOS Press, 2005)
How to determine, is a proposed model transformation correct, or not? In general, the answer may depend on the model semantics. Of course, a model transformation is “correct”, if we can extend it to a “correct” instance ...
Optical and X-ray Observations of M31N 2007-12b: An Extragalactic Recurrent Nova with a Detected
(American Astronomical Society, 2009)