A formal framework for specifying design methods

Mark D'Inverno; G. R. Ribeiro Justo; Paul Howells

doi:10.1109/HICSS.1996.495528

A formal framework for specifying design methods

Mark D'Inverno, G. R. Ribeiro Justo, Paul Howells

Academy of Music

Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

3 Citations (Scopus)

Abstract

The main objective of thispaper is toputforward a software process modelfor high-performance systems (HPS), and topresent aformalframework to describe software design methodologies (SDMs)for those systems. Theframe-work consists of two main parts: the software process activities which characterise the development of HPS, and the componentsof the SDM (concepts,artifacts, representation and actions) which are essentialfor any methodology. The framework relates these two parts by identifying generic components of each activity in the sofrware process that can be used to classifi and evaluate SDMsfor HPS. The framework has been formally spec$ed using the language Z and used to derive formal specijications of SDMs. This is illustrated in the paper by presenting part ofthe spec$cation of oDM (an Occam design method).

Original language	English
Title of host publication	Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences
Publisher	IEEE
Pages	741-750
Number of pages	10
ISBN (Print)	0818673249
DOIs	https://doi.org/10.1109/HICSS.1996.495528
Publication status	Published - Jan 1996
Event	29th Hawaii International Conference on System Sciences, HICSS 1996 - Wailea, United States Duration: 3 Jan 1996 → 6 Jan 1996

Publication series

Name	Proceedings of the Annual Hawaii International Conference on System Sciences
ISSN (Print)	1530-1605

Conference

Conference	29th Hawaii International Conference on System Sciences, HICSS 1996
Country/Territory	United States
City	Wailea
Period	3/01/96 → 6/01/96

Access to Document

10.1109/HICSS.1996.495528

Cite this

@inproceedings{1e4b6a55e2ac43ca9a57cb647cf31ea9,

title = "A formal framework for specifying design methods",

abstract = "The main objective of thispaper is toputforward a software process modelfor high-performance systems (HPS), and topresent aformalframework to describe software design methodologies (SDMs)for those systems. Theframe-work consists of two main parts: the software process activities which characterise the development of HPS, and the componentsof the SDM (concepts,artifacts, representation and actions) which are essentialfor any methodology. The framework relates these two parts by identifying generic components of each activity in the sofrware process that can be used to classifi and evaluate SDMsfor HPS. The framework has been formally spec$ed using the language Z and used to derive formal specijications of SDMs. This is illustrated in the paper by presenting part ofthe spec$cation of oDM (an Occam design method).",

author = "Mark D'Inverno and {Ribeiro Justo}, {G. R.} and Paul Howells",

note = "Publisher Copyright: {\textcopyright} 1996 IEEE.; 29th Hawaii International Conference on System Sciences, HICSS 1996 ; Conference date: 03-01-1996 Through 06-01-1996",

year = "1996",

month = jan,

doi = "10.1109/HICSS.1996.495528",

language = "English",

isbn = "0818673249",

series = "Proceedings of the Annual Hawaii International Conference on System Sciences",

publisher = "IEEE",

pages = "741--750",

booktitle = "Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences",

address = "United States",

}

D'Inverno, M, Ribeiro Justo, GR & Howells, P 1996, A formal framework for specifying design methods. in Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences. Proceedings of the Annual Hawaii International Conference on System Sciences, IEEE, pp. 741-750, 29th Hawaii International Conference on System Sciences, HICSS 1996, Wailea, United States, 3/01/96. https://doi.org/10.1109/HICSS.1996.495528

A formal framework for specifying design methods. / D'Inverno, Mark; Ribeiro Justo, G. R.; Howells, Paul.
Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences. IEEE, 1996. p. 741-750 (Proceedings of the Annual Hawaii International Conference on System Sciences).

Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

TY - GEN

T1 - A formal framework for specifying design methods

AU - D'Inverno, Mark

AU - Ribeiro Justo, G. R.

AU - Howells, Paul

PY - 1996/1

Y1 - 1996/1

N2 - The main objective of thispaper is toputforward a software process modelfor high-performance systems (HPS), and topresent aformalframework to describe software design methodologies (SDMs)for those systems. Theframe-work consists of two main parts: the software process activities which characterise the development of HPS, and the componentsof the SDM (concepts,artifacts, representation and actions) which are essentialfor any methodology. The framework relates these two parts by identifying generic components of each activity in the sofrware process that can be used to classifi and evaluate SDMsfor HPS. The framework has been formally spec$ed using the language Z and used to derive formal specijications of SDMs. This is illustrated in the paper by presenting part ofthe spec$cation of oDM (an Occam design method).

AB - The main objective of thispaper is toputforward a software process modelfor high-performance systems (HPS), and topresent aformalframework to describe software design methodologies (SDMs)for those systems. Theframe-work consists of two main parts: the software process activities which characterise the development of HPS, and the componentsof the SDM (concepts,artifacts, representation and actions) which are essentialfor any methodology. The framework relates these two parts by identifying generic components of each activity in the sofrware process that can be used to classifi and evaluate SDMsfor HPS. The framework has been formally spec$ed using the language Z and used to derive formal specijications of SDMs. This is illustrated in the paper by presenting part ofthe spec$cation of oDM (an Occam design method).

UR - http://www.scopus.com/inward/record.url?scp=85067786507&partnerID=8YFLogxK

U2 - 10.1109/HICSS.1996.495528

DO - 10.1109/HICSS.1996.495528

M3 - Conference proceeding

AN - SCOPUS:85067786507

SN - 0818673249

T3 - Proceedings of the Annual Hawaii International Conference on System Sciences

SP - 741

EP - 750

BT - Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences

PB - IEEE

T2 - 29th Hawaii International Conference on System Sciences, HICSS 1996

Y2 - 3 January 1996 through 6 January 1996

ER -

A formal framework for specifying design methods

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this