LEADER 06063nam 22007575 450 001 9910144347603321 005 20200630010944.0 010 $a1-280-30792-7 010 $a9786610307920 010 $a3-540-27863-X 024 7 $a10.1007/b100778 035 $a(CKB)1000000000212571 035 $a(SSID)ssj0000180418 035 $a(PQKBManifestationID)11183143 035 $a(PQKBTitleCode)TC0000180418 035 $a(PQKBWorkID)10149558 035 $a(PQKB)10200583 035 $a(DE-He213)978-3-540-27863-4 035 $a(MiAaPQ)EBC3088782 035 $a(PPN)155215736 035 $a(EXLCZ)991000000000212571 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegration of Software Specification Techniques for Applications in Engineering $ePriority Program SoftSpez of the German Research Foundation (DFG) Final Report /$fedited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 630 p. 126 illus.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3147 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23135-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aIntegration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- I: Reference Case Study Production Automation -- Basic Principles for Software Specification -- Challenges of Next Generation Manufacturing Systems -- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer?s Workstation to Support Integrated Development of Flexible Production Control Systems -- A Formal Component Concept for the Specification of Industrial Control Systems -- II: Reference Case Study Traffic Control Systems -- Specification Methodology, Case Studies, and Experiments ? An Introduction to the Subject Area of Traffic Control Systems -- Reference Case Study ?Traffic Control Systems? for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator -- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements -- Executable HybridUML and Its Application to Train Control Systems -- The Use of UML for Development of a Railway Interlocking System -- III: Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production Automation Systems -- STOP ? Specification Technique of Operational Processes -- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks -- A Guide to Modelling and Control with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product and Plant Automation -- IV: Charts -- to Subject Area ?Charts? -- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) -- Interactive Verification of Statecharts -- Live Sequence Charts -- A Unifying Semantics for Sequential Function Charts -- V: Verification -- to Subject Area ?Verification? -- ?UML?ising? Formal Techniques -- Model Based Formal Verification of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis ? The ForMoSA Approach -- Formal Verification of LSCs in the Development Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal Verification of Production Automation Systems -- VI: Integration Modeling -- On Model Integration and Integration Modelling -- On the Integration of Modular Heterogeneous Specifications -- Semantical Integration of Object-Oriented Viewpoint Specification Techniques. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3147 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.10943 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDamm$b Werner$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDesel$b Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGroße-Rhode$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReif$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchnieder$b Eckehard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWestkämper$b Engelbert$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aDeutsche Forschungsgemeinschaft. 712 12$aINT 2004$f(2004 :$eBarcelona, Spain) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144347603321 996 $aIntegration of Software Specification Techniques for Applications in Engineering$92272562 997 $aUNINA