Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

  • Hartmut Ehrig
  • Werner Damm
  • Jörg Desel
  • Martin Große-Rhode
  • Wolfgang Reif
  • Eckehard Schnieder
  • Engelbert Westkämper

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3147)

Table of contents

  1. Front Matter
  2. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results

  3. Part I: Reference Case Study Production Automation

    1. Engelbert Westkämper, Matthias Bengel, Katja Fischer
      Pages 9-22
    2. Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
      Pages 29-47
    3. Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes
      Pages 48-68
    4. Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
      Pages 69-88
  4. Part II: Reference Case Study Traffic Control Systems

  5. Part III: Petri Nets and Related Approaches in Engineering

    1. Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
      Pages 206-226
    2. Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
      Pages 270-300
    3. K. Fischer, P. Göhner, F. Gutbrodt, U. Katzke, B. Vogel-Heuser
      Pages 301-321
  6. Part IV: Charts

    1. Werner Damm, Bernd Westphal
      Pages 322-324

About this book

Keywords

UML Unified Modeling Language (UML) control systems engineering systems formal specification formal verification modeling petri net petri nets software architectures software specification specification languages specification techniques systems specification traffic control systems

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Werner Damm
    • 2
  • Jörg Desel
    • 3
  • Martin Große-Rhode
    • 4
  • Wolfgang Reif
    • 5
  • Eckehard Schnieder
    • 6
  • Engelbert Westkämper
    • 7
  1. 1.Technische Universität BerlinGermany
  2. 2.OFFIS e.V.OldenburgGermany
  3. 3.Department of Applied Computer ScienceCatholic University of Eichstätt-Ingolstadt 
  4. 4.Fraunhofer ISST BerlinGermany
  5. 5.Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für InformatikUniversität AugsburgAugsburgGermany
  6. 6.Institute for Traffic Safety and Automation EngineeringTechnical University of BraunschweigBraunschweigGermany
  7. 7.Institute of Industrial Manufacturing and Management (IFF)University of StuttgartStuttgartGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b100778
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23135-6
  • Online ISBN 978-3-540-27863-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book