Modeling Software and System Reliability, Manfred Broy

Описание: Formalization of notions of software and systems reliability and their specification requires probabilistic system and software models. These have to be tightly integrated with notions of nondeterminism in software and systems modeling and specification. This way a variety of concepts of reliability, correctness and further quality concerns such as availability and safety are formally captured.