Precise visual modelling: a case study

John Howse, S. Schuman

Research output: Contribution to journalArticle

Abstract

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
Volume4
Issue number3
Publication statusPublished - Jul 2005

Keywords

  • Constraint diagrams
  • Formal methods

Cite this

Howse, J., & Schuman, S. (2005). Precise visual modelling: a case study. Software and Systems Modeling, 4(3), 310-325.