[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Tools for Developing Large Systems (A Proposal)

  • Chapter
Rigorous Development of Complex Fault-Tolerant Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4157))

  • 470 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Author information

Authors and Affiliations

  1. ETH Zurich, Switzerland

    Jean-Raymond Abrial

Authors
  1. Jean-Raymond Abrial
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Southampton, United Kingdom

    Michael Butler

  2. School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK

    Cliff B. Jones

  3. Computer Science School, Newcastle University, UK

    Alexander Romanovsky

  4. Åbo Akademi University, Finland

    Elena Troubitsyna

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Abrial, JR. (2006). Tools for Developing Large Systems (A Proposal). In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds) Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, vol 4157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11916246_20

Download citation

  • DOI: https://doi.org/10.1007/11916246_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48265-9

  • Online ISBN: 978-3-540-48267-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation