Reasoning with constraint diagrams: summary of PhD thesis

Gem Stapleton

Research output: Other contribution

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.
Original languageEnglish
PublisherUniversity of Brighton
Publication statusPublished - 2004

Keywords

  • Visual languages, constraint diagrams, spider diagrams

Fingerprint Dive into the research topics of 'Reasoning with constraint diagrams: summary of PhD thesis'. Together they form a unique fingerprint.

Cite this