Comparative Evaluations of Four Specification Methods for Real-Time Systems
Comparative Evaluations of Four Specification Methods for Real-Time Systems
复制标题
实时系统四种规范方法的比较评估
DOI：
10.21236/ada219187
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
W. Wood
中科院分区：
文献类型：
--
作者：
D. Wood;W. Wood
摘要：在过去的十年中，已经提出了许多方法，用于规范时间关键系统的系统和软件需求。新兴的CASE（计算机辅助软件工程）技术在很大程度上是基于这些方法的子集，但很少有客观的关注已经支付给方法本身。本报告描述了我们对四种方法（ESML，Harel，Hatley-Pirbhai和Ward-Mellor）的客观评估，从识别到详细评估。我们避免使用小样本问题作为我们评估的唯一基础。我们通过涉及来自各个应用领域的软件开发人员来偏离这种方法，包括对那些将这些方法应用于大型项目的人进行扩展采访。由此产生的建议和结论侧重于方法选择标准，以及在给定项目上使用这些方法的大粒度影响。本报告的主要读者是参与采用过程的方法选择的软件开发实践者。本文试图提供适当的背景下，以帮助从业者作出适当的方法采用的决定。
Abstract : A number of methods have been proposed in the last decade for the specification of system and software requirements for time-critical systems. The emerging CASE (Computer Aided Software Engineering) technology is based heavily on a subset of these methods; yet little objective attention has been paid to the methods themselves. This report describes our objective evaluation of four methods (identified as ESML, Harel, Hatley-Pirbhai, and Ward-Mellor), from identification through detailed assessment. We have avoided the use of small sample problems as the sole basis of our evaluation. We depart from this approach by involving software developers from various application domains, including extended interviews of those who have applied the methods to large- scale projects. The resulting recommendations and conclusions focus on method selection criteria, and on the large-grained impact of using these methods on a given project. The primary audience of this report is the software development practitioner involved in the method selection of adoption process. The paper attempts to provide proper context to assist the practitioner in making appropriate method adoption decisions.