Advertisement

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
    2. Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
      Pages 355-373
    3. Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
      Pages 374-399
    4. Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell
      Pages 400-418
  7. Part V: Verification

    1. Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
      Pages 419-422
    2. Dines Bjørner, Chris W. George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pěnička
      Pages 423-450
    3. Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
      Pages 474-493
    4. Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
      Pages 494-516
    5. Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe et al.
      Pages 517-540
    6. Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
      Pages 541-566
  8. Part VI: Integration Modeling

    1. Martin Große-Rhode
      Pages 567-581
    2. Fernando Orejas, Elvira Pino
      Pages 582-601
    3. Benjamin Braatz, Markus Klein, Gunnar Schröter
      Pages 602-626
  9. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering