Top-down development of layered fault tolerant systems and its problems -- a deontic perspective

DOI10.1007/BF01531264zbMath0866.68064MaRDI QIDQ1353857

O. Diekmann

Publication date: 6 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

fault tolerant systemlazy programmerstop-down development paradigm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ Challenges in the Specification of Full Contracts

Uses Software

• Unnamed Item

Cites Work

• The structure of the “THE”-multiprogramming system
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Top-down development of layered fault tolerant systems and its problems -- a deontic perspective