Formalising high-performance systems methodologies

Ribeiro Justo, G.R.; Howells, Paul and d'Inverno, Mark. 1999. Formalising high-performance systems methodologies. Journal of Systems Architecture, 45(6-7), pp. 441-464. ISSN 1383-7621 [Article]

No full text available

Abstract or Description

This paper presents a Z formal framework to describe software design methodologies (SDM) for high-performance systems (HPS). The framework consists of two main parts: the characterisation of the main activities in the development of HPS, 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 that can be used to classify and formalise SDM for HPS. This is illustrated in the paper by presenting part of the specification of a well-known method.

Item Type:


Identification Number (DOI):

Departments, Centres and Research Units:




Item ID:


Date Deposited:

19 Sep 2013 14:54

Last Modified:

20 Jun 2017 09:59

Peer Reviewed:

Yes, this version has been peer-reviewed.


Edit Record Edit Record (login required)