Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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