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
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
Depositing User: Helen Webb
Date Deposited: 13 Nov 2007
Last Modified: 14 Oct 2014 13:37
URI: http://eprints.brighton.ac.uk/id/eprint/3086

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year