Advertisement

Table of contents

  1. Front Matter
  2. Claus Lewerentz, Thomas Lindner
    Pages 1-6
  3. Thomas Lindner
    Pages 7-19
  4. Claus Lewerentz, Thomas Lindner
    Pages 21-54
  5. CSL
    Klaus Nökel, Klaus Winkelmann
    Pages 55-74
  6. Reinhard Budde
    Pages 75-100
  7. Leszek Holenderski
    Pages 101-112
  8. Tochéou Pascalin Amagbegnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
    Pages 113-129
  9. Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
    Pages 131-149
  10. TLT
    Jorge Cuellar, Martin Huber
    Pages 151-169
  11. SDL
    Stefan Heinkel, Thomas Lindner
    Pages 171-183
  12. Max Fuchs, Jan Philipps
    Pages 185-197
  13. Dimitris Dranidis, Stefan Gastinger
    Pages 199-228
  14. KIV
    Gerhard Schellhorn, Axel Burandt
    Pages 229-245
  15. Stefan Klingenbeck, Thomas Käufl
    Pages 247-259
  16. Rachel Cardell-Oliver
    Pages 261-276
  17. François Erasmy, Emil Sekerinski
    Pages 277-293
  18. Jochen Burghardt
    Pages 295-309
  19. Franz Korf, Rainer Schlör
    Pages 311-331
  20. Roel Wieringa
    Pages 333-355
  21. Andreas Rüping, Emil Sekerinski
    Pages 357-371
  22. Rudolf Herzig, Nikolaos Vlachantonis
    Pages 373-381
  23. Artur Brauer, Thomas Lindner
    Pages 383-394
  24. Back Matter

About this book

Introduction

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

Keywords

Formale Methoden Mathematica Modula-3 Reaktive Systeme Softwareentwicklung control development formal method formal methods real-time system selection simulation software software development structured design

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58867-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58867-2
  • Online ISBN 978-3-540-49133-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering