2006 | OriginalPaper | Chapter
Tools for Developing Large Systems (A Proposal)
Author : Jean-Raymond Abrial
Published in: Rigorous Development of Complex Fault-Tolerant Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.