Precise visual modelling: a case study

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

Full text not available from this repository.

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.

Item Type:Journal article
Additional Information:The original publication is available at www.springerlink.com
Uncontrolled Keywords:Constraint diagrams - Formal methods
Subjects:G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):10.1007/s10270-004-0074-x
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:3086
Deposited By:Helen Webb
Deposited On:13 Nov 2007
Last Modified:01 May 2012 12:10

Repository Staff Only: item control page