000 05402nam a22006135i 4500
001 978-3-540-27863-4
003 DE-He213
005 20240423130330.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540278634
_9978-3-540-27863-4
024 7 _a10.1007/b100778
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aIntegration of Software Specification Techniques for Applications in Engineering
_h[electronic resource] :
_bPriority Program SoftSpez of the German Research Foundation (DFG) Final Report /
_cedited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aX, 630 p. 126 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3147
505 0 _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 andPlant 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.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aEhrig, Hartmut.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDamm, Werner.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDesel, Jörg.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGroße-Rhode, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aReif, Wolfgang.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchnieder, Eckehard.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWestkämper, Engelbert.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540231356
776 0 8 _iPrinted edition:
_z9783662169025
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3147
856 4 0 _uhttps://doi.org/10.1007/b100778
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187448
_d187448