Integration of Software Specification Techniques for Applications in Engineering 2004

• Hartmut Ehrig:
  Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. 1-8
  
• Engelbert Westkämper, Matthias Bengel, Katja Fischer:
  Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. 9-22
  
• Paul Valckenaers:
  Challenges of Next Generation Manufacturing Systems. 23-28
  
• Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
  Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. 29-47
  
• Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes:
  An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems. 48-68
  
• Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel:
  A Formal Component Concept for the Specification of Industrial Control Systems. 69-88
  
• Eckehard Schnieder:
  Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. 89-95
  
• Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder:
  Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. 96-118
  
• Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen:
  Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. 119-144
  
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
  Executable HybridUML and Its Application to Train Control Systems. 145-173
  
• Karol Rástocný, Ales Janota, Jirí Zahradník:
  The Use of UML for Development of a Railway Interlocking System. 174-198
  
• Jörg Desel:
  Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. 199-205
  
• Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf:
  Specification and Formal Verification of Temporal Properties of Production Automation Systems. 206-226
  
• Stefan Einer:
  STOP - Specification Technique of Operational Processes. 227-247
  
• Lars Michael Kristensen, Kurt Jensen:
  Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. 248-269
  
• Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair:
  A Guide to Modelling and Control with Modules of Signal Nets. 270-300
  
• Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser:
  Conceptual Design of an Engineering Model for Product and Plant Automation. 301-321
  
• Werner Damm, Bernd Westphal:
  Introduction to Subject Area 'Charts'. 322-324
  
• David Harel, Hillel Kugler:
  The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. 325-354
  
• Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
  Interactive Verification of Statecharts. 355-373
  
• Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
  Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. 374-399
  
• Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell:
  A Unifying Semantics for Sequential Function Charts. 400-418
  
• Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
  Introduction to Subject Area "Verification". 419-422
  
• Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
  "UML-ising' Formal Techniques. 423-450
  
• Martin Kardos, Franz J. Rammig:
  Model Based Formal Verification of Distributed Production Control Systems. 451-473
  
• Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
  Combining Formal Methods and Safety Analysis - The ForMoSA Approach. 474-493
  
• Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
  Formal Verification of LSCs in the Development Process. 494-516
  
• Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg:
  Verification of PLC Programs Given as Sequential Function Charts. 517-540
  
• Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
  Modeling and Formal Verification of Production Automation Systems. 541-566
  
• Martin Große-Rhode:
  On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. 567-581
  
• Fernando Orejas, Elvira Pino:
  On the Integration of Modular Heterogeneous Specifications. 582-601
  
• Benjamin Braatz, Markus Klein, Gunnar Schröter:
  Semantical Integration of Object-Oriented Viewpoint Specification Techniques. 602-626