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