Advertisement

© 2004

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
Book

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

  • Book Title Integration of Software Specification Techniques for Applications in Engineering
  • Book Subtitle Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
  • Editors Hartmut Ehrig
    Werner Damm
    Jörg Desel
    Martin Große-Rhode
    Wolfgang Reif
    Eckehard Schnieder
    Engelbert Westkämper
  • Series Title Lecture Notes in Computer Science
  • DOI https://doi.org/10.1007/b100778
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-23135-6
  • eBook ISBN 978-3-540-27863-4
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages X, 630
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
    Programming Languages, Compilers, Interpreters
    Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace