A Formal Framework For Specifying Design Methods

d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul. 1996. A Formal Framework For Specifying Design Methods. Software Process: Improvement and Practice, 2(3), pp. 181-196. ISSN 1077-4866 [Article]

Text (A Formal Framework For Specifying Design Methods)
A Formal Framework For Specifying Design Methods.pdf - Accepted Version

Download (135kB) | Preview

Abstract or Description

The main objective of this paper is to put forward a software
process model for high-performance systems (HPS),
and to present a formal framework to describe software design
methodologies (SDMs) for those systems. The framework
consists of two main parts: the software process activitieswhich
characterise the development ofHPS, and the
components of the SDM(concepts, artifacts, representation
and actions) which are essential for any methodology. The
framework relates these two parts by identifying generic
components of each activity in the software process that
can be used to classify and evaluate SDMs for HPS. The
framework has been formally specified using the language
Z and used to derive formal specifications of SDMs. This
is illustrated in the paper by presenting part of the specification
of oDM (an occam design method).

Item Type:


Departments, Centres and Research Units:




Item ID:


Date Deposited:

19 Sep 2013 14:55

Last Modified:

29 Apr 2020 15:57

Peer Reviewed:

Yes, this version has been peer-reviewed.



View statistics for this item...

Edit Record Edit Record (login required)