عنوان

Formal development of reactive systems :

شابک

0387588671

شابک

3540491333

شابک

3540588671

شابک

9780387588674

شابک

9783540491330

شابک

9783540588672

شماره

b566334

عنوان اصلي

Formal development of reactive systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

case study production cell

نام نخستين پديدآور

Claus Lewerentz, Thomas Lindner, eds.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1995.

نام خاص و کميت اثر

(xi, 394 pages) : illustrations

عنوان فروست

Lecture notes in computer science, 891.

متن يادداشت

Task description / Thomas Lindner --; Comparative survey / Claus Lewerentz, Thomas Lindner --; CSL / Klaus Nökel, Klaus Winkelmann --; Esterel / Reinhard Budde --; Lustre / Leszek Holenderski --; Signal / Tochéou Pascalin Amagbegnon [and others] --; Statecharts / Werner Damm [and others] --; TLT / Jorge Cuellar, Martin Huber --; SDL / Stefan Heinkel, Thomas Lindner --; Focus / Max Fuchs, Jan Philipps --; SPECTRUM / Dimitris Dranidis, Stefan Gastinger --; KIV / Gerhard Schellhorn, Axel Burandt --; Tatzelwurm / Stefan Klingenbeck, Thomas Käufl --; HTTDS and HOL / Rachel Cardell-Oliver --; RAISE / François Erasmy, Emil Sekerinski --; Deductive synthesis / Jochen Burghardt --; Symbolic timing diagrams / Franz Korf, Rainer Schlör --; LCM and MCM / Roel Wieringa --; Modula-3 / Andreas Rüping, Emil Sekerinski --; TROLL light / Rudolf Herzig, Nikolaos Vlachantonis --; Simulation / Artur Brauer, Thomas Lindner.

متن يادداشت

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.

موضوع مستند نشده

Computer software -- Development.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Claus Lewerentz, Thomas Lindner, eds.

مستند نام اشخاص تاييد نشده

Claus Lewerentz

مستند نام اشخاص تاييد نشده

Thomas Lindner

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y