Metadata only
Author
Date
2006Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Abstract
It is claimed, as a provocative thesis, that high level programming languages and corresponding compilers might not be the right tools to be used to construct large reliable software systems. An alternative is proposed which is based on the concept of a System Development Database.
Publication status
publishedExternal links
Book title
Rigorous Development of Complex Fault-Tolerant SystemsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Subject
Correct construction; Development systemMore
Show all metadata
ETH Bibliography
yes
Altmetrics