Formal Development of Reactive Systems
Subtitle: Case Study Production Cell (Lecture Notes in Computer Science)
Contributors: Claus Lewerentz (Editor); Thomas Lindner (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 24, 1995
Language: eng
Format: Paperback
Number of pages: 394
ISBN-13: 9783540588672
Subjects: Automatic control engineering; Programming languages; Software engineering; Programming - Software Development; Computers; Computers - Languages / Programming; Computer Books: Languages; Science/Mathematics; Programming - Systems Analysis & Design; CAD-CAM - General; Computers / Programming / Software Development; Echtzeitsysteme; Formale Methoden; Formale Softwareentwicklung; Prozeßsteuerung; Reactive Systems; Reaktive Systeme; control engineering; formal methods; formal software development; Computer Science
First sentence: A recent report based on a questionnaire [1] authored by the British National Physical Laboratory (NPL) argued that one of the major impediments to formal methods gaining broader acceptance in industry is the lack of realistic, comparative surveys.