LEADER 04395nam  22007935  450 
001 996466149703316
005 20200701200226.0
010   $a3-540-49133-3
024 7 $a10.1007/3-540-58867-1
035   $a(CKB)1000000000548823
035   $a(SSID)ssj0000323211
035   $a(PQKBManifestationID)11243644
035   $a(PQKBTitleCode)TC0000323211
035   $a(PQKBWorkID)10299234
035   $a(PQKB)10842352
035   $a(DE-He213)978-3-540-49133-0
035   $a(PPN)155194380
035   $a(EXLCZ)991000000000548823
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Development of Reactive Systems$b[electronic resource] $eCase Study Production Cell /$fedited by Claus Lewerentz, Thomas Lindner
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (XII, 400 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v891
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58867-1 
327   $aTask description -- Comparative survey -- CSL -- Esterel -- Lustre -- Signal -- Statecharts -- TLT -- SDL -- Focus -- Spectrum -- KIV -- Tatzelwurm -- HTTDs and HOL -- Raise -- Deductive synthesis -- Symbolic Timing Diagrams -- LCM and MCM -- Modula-3 -- TROLL light -- Simulation.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v891
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aComputer-aided engineering
606   $aControl engineering
606   $aRobotics
606   $aMechatronics
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044
606   $aControl, Robotics, Mechatronics$3https://scigraph.springernature.com/ontologies/product-market-codes/T19000
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer-aided engineering.
615  0$aControl engineering.
615  0$aRobotics.
615  0$aMechatronics.
615 14$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer-Aided Engineering (CAD, CAE) and Design.
615 24$aControl, Robotics, Mechatronics.
676   $a670.42/7
702   $aLewerentz$b Claus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLindner$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466149703316
996   $aFormal development of reactive systems$91502003
997   $aUNISA