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]

Preview

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:	Article
Departments, Centres and Research Units:	Computing
Dates:	Date Event 1996 Published
Item ID:	8778
Date Deposited:	19 Sep 2013 14:55
Last Modified:	29 Apr 2020 15:57
Peer Reviewed:	Yes, this version has been peer-reviewed.
URI:	https://research.gold.ac.uk/id/eprint/8778

View statistics for this item...

Edit Record (login required)