Precise visual modelling: a case study

Tools

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