Lecture Notes in Computer Science

Formal Development of Reactive Systems

Case Study Production Cell

Editors: Lewerentz, Claus, Lindner, Thomas (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49133-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-58867-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Introduction

    Lewerentz, Claus (et al.)

    Pages 1-6

  • Task description

    Lindner, Thomas

    Pages 7-19

  • Comparative survey

    Lewerentz, Claus (et al.)

    Pages 21-54

  • CSL

    Nökel, Klaus (et al.)

    Pages 55-74

  • Esterel

    Budde, Reinhard

    Pages 75-100

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49133-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-58867-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Development of Reactive Systems
Book Subtitle
Case Study Production Cell
Editors
  • Claus Lewerentz
  • Thomas Lindner
Series Title
Lecture Notes in Computer Science
Series Volume
891
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49133-0
DOI
10.1007/3-540-58867-1
Softcover ISBN
978-3-540-58867-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 400
Topics