Precise visual modelling: a case study

John Howse, S. Schuman

Research output: Contribution to journalArticlepeer-review


We develop an abstract model for our case-study: software to support a “video rental service.” This illustrates how a visual formalism, constraint diagrams, may be used in order to specify such systems precisely.
Original languageEnglish
Pages (from-to)310-325
Number of pages16
JournalSoftware and Systems Modeling
Issue number3
Publication statusPublished - Jul 2005


  • Constraint diagrams
  • Formal methods

Cite this