Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal validation of viewpoint specifications

Lookup NU author(s): Dr Stephen RiddleORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

How can we be sure that a set of viewpoints is valid, in the sense that it is possible to build a system consistent with each and every one of them? Our approach is based on the idea of amalgamating the individual viewpoints into a single coherent whole. A formal study of this process leads to a proposed approach for combining viewpoints that identifies conditions under which the resulting specification reflects all the properties of the constituent viewpoints. These ideas are applied to the development of Z specifications, and it is shown how they might be used in other contexts. © IEE: 1996.


Publication metadata

Author(s): Ainsworth M, Riddle S, Wallis PJL

Publication type: Article

Publication status: Published

Journal: Software Engineering Journal

Year: 1996

Volume: 11

Issue: 1

Pages: 58-66

Print publication date: 01/01/1996

ISSN (print): 0268-6961

ISSN (electronic):

Publisher: The Institution of Engineering and Technology

URL: http://dx.doi.org/10.1049/sej.1996.0006

DOI: 10.1049/sej.1996.0006


Altmetrics

Altmetrics provided by Altmetric


Share