Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman. Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 271-276, IEEE Computer Society, 2003. [doi]
@inproceedings{TurnerGWBHSR03, title = {Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations}, author = {Christopher J. Turner and T. C. Nicholas Graham and Christopher Wolfe and Julian Ball and David Holman and Hugh D. Stewart and Arthur G. Ryman}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350271abs.htm}, tags = {model checking, meta-model, constraints, UML, C++, object-role modeling, Meta-Environment}, researchr = {https://researchr.org/publication/TurnerGWBHSR03}, cites = {0}, citedby = {0}, pages = {271-276}, booktitle = {18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada}, publisher = {IEEE Computer Society}, isbn = {0-7695-2035-9}, }