More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Integration of Software Specification Techniques for Applications in Engineering 2004

> Home > Conferences and Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dfg/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Ehrig04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Ehrig04
Hartmut Ehrig:
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/WestkamperBF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/WestkamperBF04
Engelbert Westkämper, Matthias Bengel, Katja Fischer:
Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. 9-22
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Valckenaers04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Valckenaers04
Paul Valckenaers:
Challenges of Next Generation Manufacturing Systems. 23-28
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/KrugerPSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/KrugerPSB04
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. 29-47
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/SchaferWGE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/SchaferWGE04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BraatzKSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BraatzKSB04
Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel:
A Formal Component Concept for the Specification of Industrial Control Systems. 69-88
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Schnieder04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Schnieder04
Eckehard Schnieder:
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. 89-95
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/HanselPSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/HanselPSS04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/ArabestaniBG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/ArabestaniBG04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BerkenkotterBHP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BerkenkotterBHP04
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
Executable HybridUML and Its Application to Train Control Systems. 145-173
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/RastocnyJZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/RastocnyJZ04
Karol Rástocný, Ales Janota, Jirí Zahradník:
The Use of UML for Development of a Railway Interlocking System. 174-198
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Desel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Desel04
Jörg Desel:
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. 199-205
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/FlakeMPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/FlakeMPR04
Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf:
Specification and Formal Verification of Temporal Properties of Production Automation Systems. 206-226
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Einer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Einer04
Stefan Einer:
STOP - Specification Technique of Operational Processes. 227-247
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/KristensenJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/KristensenJ04
Lars Michael Kristensen, Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. 248-269
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/DeselHJLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/DeselHJLN04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/FischerGGKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/FischerGGKV04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/DammW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/DammW04
Werner Damm, Bernd Westphal:
Introduction to Subject Area 'Charts'. 322-324
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/HarelK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/HarelK04
David Harel, Hillel Kugler:
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. 325-354
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/ThumsSOR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/ThumsSOR04
Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
Interactive Verification of Statecharts. 355-373
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BrillDKWW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BrillDKWW04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BauerHLE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BauerHLE04
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell:
A Unifying Semantics for Sequential Function Charts. 400-418
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/OrtmeierRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/OrtmeierRS04
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Introduction to Subject Area "Verification". 419-422
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BjornerGHMHP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BjornerGHMHP04
Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
"UML-ising' Formal Techniques. 423-450
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/KardosR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/KardosR04
Martin Kardos, Franz J. Rammig:
Model Based Formal Verification of Distributed Production Control Systems. 451-473
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/OrtmeierTSR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/OrtmeierTSR04
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. 474-493
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BrillBDKWW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BrillBDKWW04
Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
Formal Verification of LSCs in the Development Process. 494-516
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BauerEHLLRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BauerEHLLRS04
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
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/RufWKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/RufWKR04
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
Modeling and Formal Verification of Production Automation Systems. 541-566
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Grosse-Rhode04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Grosse-Rhode04
Martin Große-Rhode:
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. 567-581
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/OrejasP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/OrejasP04
Fernando Orejas, Elvira Pino:
On the Integration of Modular Heterogeneous Specifications. 582-601
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/BraatzKS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/BraatzKS04
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.