A unified model of dependability: Capturing dependability in context

被引：21

作者：

Basili, V ^{[1
]}

Donzelli, P ^{[1
]}

Asgari, S ^{[1
]}

机构：

[1] Univ Maryland, College Pk, MD 20742 USA

来源：

IEEE SOFTWARE | 2004年 / 21卷 / 06期

基金：

美国国家航空航天局;

关键词：

D O I：

10.1109/MS.2004.30

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Dependability is a key system property that must be guaranteed regardless of continuous, rapid, and unpredictable technological and context changes. Our Unified Model of Dependability lets you reason about dependability and turn it into clearly defined, implementable system properties.

引用

页码：19 / +

页数：8

共 13 条

[1]

[Anonymous], NON FUNCTIONAL REQUI

[2]

ASGARI S, 2004, P INT C SOFTW ENG 20, V3069

[3] Using the WinWin spiral model: A case study [J].

Boehm, B ;

Egyed, A ;

Kwan, J ;

Port, D ;

Madachy, R .

COMPUTER, 1998, 31 (07) :33-+

[4]

BOEHM B, 2003, NATURE INFORMATION S

[5]

Bruegge B., 2009, Object-Oriented Software Engineering Using UML, Patterns, and JavaTM, V3rd

[6]

DENNIS G, 2003, TSAFE BUILDING TRUST

[7]

*ISO IEC, 1998, 13236 ISO IEC

[8]

JOG N, 1995, P IFIP 2 6 VISUAL DA, P3

[9]

Laprie J. C. C., 1992, Dependability: Basic Concepts and Terminology-In English, French,German, Italian and Japanese

[10]

Melhart B., 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), P334, DOI 10.1109/ECBS.2000.839893

← 1 2 →