Integration 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 (Eds.):
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 BibTeX
@proceedings{DBLP:conf/dfg/2004,
editor = {Hartmut Ehrig and
Werner Damm and
J{\"o}rg Desel and
Martin Gro{\ss}e-Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"a}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research
Foundation (DFG), Final Report},
booktitle = {SoftSpez Final Report},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3147},
year = {2004},
isbn = {3-540-23135-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Hartmut Ehrig:
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
1-8
Electronic Edition (link) BibTeX
- Engelbert Westkämper, Matthias Bengel, Katja Fischer:
Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation.
9-22
Electronic Edition (link) BibTeX
- Paul Valckenaers:
Challenges of Next Generation Manufacturing Systems.
23-28
Electronic Edition (link) BibTeX
- Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
29-47
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel:
A Formal Component Concept for the Specification of Industrial Control Systems.
69-88
Electronic Edition (link) BibTeX
- Eckehard Schnieder:
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.
89-95
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
Executable HybridUML and Its Application to Train Control Systems.
145-173
Electronic Edition (link) BibTeX
- Karol Rástocný, Ales Janota, Jirí Zahradník:
The Use of UML for Development of a Railway Interlocking System.
174-198
Electronic Edition (link) BibTeX
- Jörg Desel:
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.
199-205
Electronic Edition (link) BibTeX
- Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf:
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
206-226
Electronic Edition (link) BibTeX
- Stefan Einer:
STOP - Specification Technique of Operational Processes.
227-247
Electronic Edition (link) BibTeX
- Lars Michael Kristensen, Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
248-269
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Werner Damm, Bernd Westphal:
Introduction to Subject Area 'Charts'.
322-324
Electronic Edition (link) BibTeX
- David Harel, Hillel Kugler:
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
325-354
Electronic Edition (link) BibTeX
- Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
Interactive Verification of Statecharts.
355-373
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell:
A Unifying Semantics for Sequential Function Charts.
400-418
Electronic Edition (link) BibTeX
- Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Introduction to Subject Area "Verification".
419-422
Electronic Edition (link) BibTeX
- Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
"UML-ising' Formal Techniques.
423-450
Electronic Edition (link) BibTeX
- Martin Kardos, Franz J. Rammig:
Model Based Formal Verification of Distributed Production Control Systems.
451-473
Electronic Edition (link) BibTeX
- Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
Combining Formal Methods and Safety Analysis - The ForMoSA Approach.
474-493
Electronic Edition (link) BibTeX
- Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
Formal Verification of LSCs in the Development Process.
494-516
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
Modeling and Formal Verification of Production Automation Systems.
541-566
Electronic Edition (link) BibTeX
- Martin Große-Rhode:
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.
567-581
Electronic Edition (link) BibTeX
- Fernando Orejas, Elvira Pino:
On the Integration of Modular Heterogeneous Specifications.
582-601
Electronic Edition (link) BibTeX
- Benjamin Braatz, Markus Klein, Gunnar Schröter:
Semantical Integration of Object-Oriented Viewpoint Specification Techniques.
602-626
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:06:32 2009
by Michael Ley (ley@uni-trier.de)