TY  - BOOK
AU  - Ehrig,Hartmut
ED  - Deutsche Forschungsgemeinschaft.
ED  - INT 2004
TI  - Integration of software specification techniques for applications in engineering: Priority Program SoftSpez of the German Research Foundation (DFG) : final report 
T2  - Lecture notes in computer science,
SN  - 354027863X
AV  - QA76.76.D47 I55 2004eb
U1  - 005.1 22
PY  - 2004///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Germany
KW  - Specifications
KW  - Production engineering
KW  - Technological innovations
KW  - Traffic engineering
KW  - Technique de la production
KW  - Innovations
KW  - Allemagne
KW  - Technique de la circulation
KW  - COMPUTERS
KW  - Programming
KW  - Open Source
KW  - bisacsh
KW  - Software Development & Engineering
KW  - Tools
KW  - General
KW  - fast
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - "This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004"--Page 4 of cover; "The research area 'Integration of Software Specification Techniques for Applications in Engineering' has been established as a priority program of the German Research Council (DFG) for the period of 1998-2004 and was subject of the international workshops INT 2000, 2002, and 2004 as satellite events of the 'European Joint Conferences on Theory and Practice of Software' (ETAPS)."--Page [1]; Includes bibliographical references and index; Integration 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
N2  - This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling
UR  - https://link.springer.com/10.1007/b100778
ER  -