Reasoning with constraint diagrams: summary of PhD thesis

Stapleton, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis University of Brighton.

[img]
Preview
Text
detaileddescription.pdf

Download (375kB) | Preview

Abstract

Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established.

Item Type: Other form of assessable output
Uncontrolled Keywords: Visual languages, constraint diagrams, spider diagrams
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Helen Webb
Date Deposited: 25 Nov 2007
Last Modified: 21 May 2014 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/3276

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year