.png){kind=icon}
返回
Formalising high-performance systems methodologies
.png){kind=icon}
PRE
AI
DOI：10.1016/S1383-7621(98)00017-4.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 1999 Elsevier Science B.V. All rights reserved.
Keyword:
Z formal framework
software design methodologies
high-performance systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
3.0K
被引数:
4.2K
机构
暂无机构信息
引用论文
分享收藏分享收藏Integration of poly(3-hexylthiophene) conductive stripe patterns with 3D tubular structures for tissue engineering applications.png)
RSC Advances
RSC AdvancesIF0
PREAI
分享收藏
查看更多内容