Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Development of Reactive Systems: Case Study Production Cell

Formal Development of Reactive Systems: Case Study Production Cell

Lindner, Thomas
Lewerentz, Claus

Paperback

Series: Lecture Notes in Computer Science, Book 891

General ComputersProgramming

ISBN10: 3540588671
ISBN13: 9783540588672
Publisher: Springer Nature
Published: Jan 26 1995
Pages: 400
Weight: 1.27
Height: 0.84 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers

View All