© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Constraint Diagrams: Visualizing Assertions in OO Modelling
S. Kent
Technical Report ITCM97/C2, University of Brighton, May 1997.Abstract
Describes a notation, constraint diagrams, which allows pre/post conditions and invariants to be expressed visually, rather than in the notation of mathematical logic. The notation is explored through a small case study (a library system). Some conclusions are drawn about the use of the notation in modelling, and its possible impact on tools and semantics.
This report has been split into two and considerable revised and updated: Kent (1997b), Kent (1997c).
Download publication
593 kbytes
(PDF)
Bibtex Record
@techreport{807, author = {S. Kent}, title = {{Constraint Diagrams: Visualizing Assertions in OO Modelling}}, month = {May}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/807}, institution = {University of Brighton}, number = {ITCM97/C2}, }