Constraint Diagrams: Visualizing Assertions in OO Modelling

Book English OPEN
Kent, Stuart (1997)
  • Publisher: University of Brighton
  • Subject: QA76

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).
  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    1
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Kent Academic Repository - IRUS-UK 0 1
Share - Bookmark