Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
type: Item
instance of: scholarly article
title: Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
zbMATH Open document ID: 0866.68064
DOI: 10.1007/BF01531264
author: O. Diekmann
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1005768
zbMATH Keywords: lazy programmers
zbMATH Keywords: top-down development paradigm
zbMATH Keywords: fault tolerant system
describes a project that uses: Ada95
MaRDI profile type: Publication
cites work: Q3998465
cites work: The structure of the “THE”-multiprogramming system
cites work: Q3342525
cites work: An axiomatic basis for computer programming
cites work: Q3203001
cites work: Q5629606
description: scientific article; zbMATH DE number 1005768