C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SoftSpez Final Report
2004
2004
2004
Keyphrases
Publications
2004
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.
SoftSpez Final Report
(2004)
Dines Bjørner
,
Chris George
,
Anne E. Haxthausen
,
Christian Krog Madsen
,
Steffen Holmslykke
,
Martin Pnika
"UML-ising' Formal Techniques.
SoftSpez Final Report
(2004)
Nanette Bauer
,
Ralf Huuck
,
Ben Lukoschus
,
Sebastian Engell
A Unifying Semantics for Sequential Function Charts.
SoftSpez Final Report
(2004)
Matthias Brill
,
Ralf Buschermöhle
,
Werner Damm
,
Jochen Klose
,
Bernd Westphal
,
Hartmut Wittke
Formal Verification of LSCs in the Development Process.
SoftSpez Final Report
(2004)
Kirsten Berkenkötter
,
Stefan Bisanz
,
Ulrich Hannemann
,
Jan Peleska
Executable HybridUML and Its Application to Train Control Systems.
SoftSpez Final Report
(2004)
Engelbert Westkämper
,
Matthias Bengel
,
Katja Fischer
Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation.
SoftSpez Final Report
(2004)
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.
SoftSpez Final Report
(2004)
David Harel
,
Hillel Kugler
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
SoftSpez Final Report
(2004)
Jürgen Ruf
,
Roland J. Weiss
,
Thomas Kropf
,
Wolfgang Rosenstiel
Modeling and Formal Verification of Production Automation Systems.
SoftSpez Final Report
(2004)
Andreas Thums
,
Gerhard Schellhorn
,
Frank Ortmeier
,
Wolfgang Reif
Interactive Verification of Statecharts.
SoftSpez Final Report
(2004)
Benjamin Braatz
,
Markus Klein
,
Gunnar Schröter
Semantical Integration of Object-Oriented Viewpoint Specification Techniques.
SoftSpez Final Report
(2004)
Martin Kardos
,
Franz J. Rammig
Model Based Formal Verification of Distributed Production Control Systems.
SoftSpez Final Report
(2004)
Werner Damm
,
Bernd Westphal
Introduction to Subject Area 'Charts'.
SoftSpez Final Report
(2004)
Paul Valckenaers
Challenges of Next Generation Manufacturing Systems.
SoftSpez Final Report
(2004)
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.
SoftSpez Final Report
(2004)
Stephan Flake
,
Wolfgang Müller
,
Ulrich Pape
,
Jürgen Ruf
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
SoftSpez Final Report
(2004)
Nanette Bauer
,
Sebastian Engell
,
Ralf Huuck
,
Sven Lohmann
,
Ben Lukoschus
,
Manuel Remelhe
,
Olaf Stursberg
Verification of PLC Programs Given as Sequential Function Charts.
SoftSpez Final Report
(2004)
Eckehard Schnieder
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.
SoftSpez Final Report
(2004)
Ingolf Krüger
,
Wolfgang Prenninger
,
Robert Sandner
,
Manfred Broy
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
SoftSpez Final Report
(2004)
Benjamin Braatz
,
Markus Klein
,
Gunnar Schröter
,
Matthias Bengel
A Formal Component Concept for the Specification of Industrial Control Systems.
SoftSpez Final Report
(2004)
Katja Fischer
,
Peter Göhner
,
Felix Gutbrodt
,
Uwe Katzke
,
Birgit Vogel-Heuser
Conceptual Design of an Engineering Model for Product and Plant Automation.
SoftSpez Final Report
(2004)
Fernando Orejas
,
Elvira Pino
On the Integration of Modular Heterogeneous Specifications.
SoftSpez Final Report
(2004)
Jörg Desel
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.
SoftSpez Final Report
(2004)
Jörg Desel
,
Hans-Michael Hanisch
,
Gabriel Juhás
,
Robert Lorenz
,
Christian Neumair
A Guide to Modelling and Control with Modules of Signal Nets.
SoftSpez Final Report
(2004)
Lars Michael Kristensen
,
Kurt Jensen
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
SoftSpez Final Report
(2004)
Frank Ortmeier
,
Wolfgang Reif
,
Gerhard Schellhorn
Introduction to Subject Area "Verification".
SoftSpez Final Report
(2004)
Hartmut Ehrig
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
SoftSpez Final Report
(2004)
Stefan Einer
STOP - Specification Technique of Operational Processes.
SoftSpez Final Report
(2004)
Martin Große-Rhode
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.
SoftSpez Final Report
(2004)
Frank Ortmeier
,
Andreas Thums
,
Gerhard Schellhorn
,
Wolfgang Reif
Combining Formal Methods and Safety Analysis - The ForMoSA Approach.
SoftSpez Final Report
(2004)
Wilhelm Schäfer
,
Robert Wagner
,
Jürgen Gausemeier
,
Raimund Eckes
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems.
SoftSpez Final Report
(2004)
Karol Rástocný
,
Ales Janota
,
Jirí Zahradník
The Use of UML for Development of a Railway Interlocking System.
SoftSpez Final Report
(2004)
volume 3147, 2004
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
SoftSpez Final Report
3147 (2004)