default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIntegration of Software Specification Techniques for Applications in Engineering 2004
- Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 - 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 E. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
