Titlebook: Computer Safety, Reliability and Security; 21st International C Stuart Anderson,Massimo Felici,Sandro Bologna Conference proceedings 2002 S

Noctambulant

Towards a Metrics Based Verification and Validation Maturity Modelnd validation is only marginally addressed in software process improvement models like CMMI, a separate verification and validation improvement model has been developed. The framework of the improvement model presented in this paper is based on the “Testing Maturity Model (TMM). However considerable

懒鬼才会衰弱

Analysing the Safety of a Software Development Processated software. This paper describes the experience of performing such a safety analysis, and reflects upon the lessons learnt. It discusses the issues involved in defining the process at the appropriate level of abstraction, and it evaluates the difficulties and benefits of performing Function Failu

你敢命令

incredulity

The Automotive Development Process,ral contemporary schools of thought point out that decomposed descriptions are insufficient, and that a description on the level of the system as a whole is needed instead. The dependability of human-computer systems must therefore refer to the performance characteristics of the joint system, and sp

TIA742

The Automotive Development Processciety. The paper briefly discusses the aim and scope of the Dependability Initiative under the Information Society Technologies Programme and presents the activities that have recently being launched in this area to prepare the forthcoming Framework Programme 6. of the European Commission.

Folklore

fluoroscopy

The Automotive Development Processiety members. Through case study material we explicate how dependability is a practical achievement and how it is constituted as a common sense notion. We show how attending to the logical grammar of dependability can clarify some issues and potential conceptual confusions around the term that occur

TRAWL

NADIR

描述