Structure for dependability: computer-based systems from an interdisciplinary perspective/ edited by Denis Besnard, Cristina Gacek, Cliff B. Jones - New York ; London : Springer, 2006. - xii, 305 p. : ill. ; 24 cm.

Includes bibliographical references and index.

Introduction
1 The role of structure: a dependability perspective
Cliff B Jones, Brian Randell
2 The role of structure: a software engineering perspective
Michael Jackson
System Properties
Structuring evolution: on the evolution of socio-technical systems
Massimo Felici
Time bands in systems structure
Alan Bums, Gordon Baxter
Human Components
5 Procedures, programs and their impact on dependability
Denis Besnard
Cognitive conflicts in dynamic systems
Denis Besnard, Gordon Baxter
Systems Descriptions
7 Architectural description of dependable software systems
Cristina Gacek, Rogirio de Lemos
8 Computational diagranunatics: diagrams and structure
Conn Gurr
9 Ethnography and the social structure of work
David Martin, Ian Sommerville
10 Faults, errors and failures in communications: a systems theory
perspective on oi^anisational structure
Peter Andras, Bruce Charlton
Guaranteeing Dependability
11 Security implications of structure
Jeremy Bryans, Budi Arief
12 The structure of software development thought
Michael Jackson
13 On the use of diverse ailments to increase confidence in
dependahUity claims
Robin Bloomfield, Bev Littlewood
14 Qualitative analysis of dependability argument structure
Mark A Sujan, Shamus P Smith, Michael D Harrison

1846281105 (pbk.) 9781846281105


Software engineering.
Reliability (Engineering)
Human-computer interaction.

005.1 / BEN/S