Will Informatics be able to Justify the Construction of Large Computer Based Systems?

zum Volltext (587 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Mai 2001
Seitenbereich66 Seiten

The present article addresses correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we want to ask: Can informaticians righteously be accounted for incorrectness of systems, will they be able to justify systems to work correctly as intended? We understand the word justification in this sense, i.e., for the design of computer based systems, the formulation of mathematical models of information flows, and the construction of controlling software to be such that the expected system effects, the absence pf internal failure, and the robustness towards misuses and malicious external attacks are forseeable as logical consequences of the models.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000183
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000183-a9
IDNummer des Berichts :
  • 2015