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:

Article

Identification Number (DOI):

https://doi.org/10.1016/S1383-7621(98)00017-4

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
1999Published

Item ID:

8807

Date Deposited:

19 Sep 2013 14:54

Last Modified:

20 Jun 2017 09:59

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

https://research.gold.ac.uk/id/eprint/8807

Edit Record Edit Record (login required)