Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2004

Integration of Software Specification Techniques for Applications in Engineering

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

Editors:

  1. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Werner Damm

    1. OFFIS e.V., Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jörg Desel

    1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Martin Große-Rhode

    1. Fraunhofer ISST Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wolfgang Reif

    1. Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Eckehard Schnieder

    1. Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Engelbert Westkämper

    1. Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 chapters)

  1. Front Matter

    PDF

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

  3. Part I: Reference Case Study Production Automation

    1. Basic Principles for Software Specification

      • Engelbert Westkämper, Matthias Bengel, Katja Fischer
      Pages 9-22

    3. Development of Hierarchical Broadcasting Software Architectures Using UML 2.0

      • Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
      Pages 29-47

    4. An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems

      • Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes
      Pages 48-68

    5. A Formal Component Concept for the Specification of Industrial Control Systems

      • Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
      Pages 69-88

  4. Part II: Reference Case Study Traffic Control Systems

    4. Executable HybridUML and Its Application to Train Control Systems

      • Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
      Pages 145-173

    5. The Use of UML for Development of a Railway Interlocking System

      • Karol Rástočný, Aleš Janota, Jiří Zahradník
      Pages 174-198

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

    2. Specification and Formal Verification of Temporal Properties of Production Automation Systems

      • Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
      Pages 206-226

    5. A Guide to Modelling and Control with Modules of Signal Nets

      • Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
      Pages 270-300

    6. Conceptual Design of an Engineering Model for Product and Plant Automation

      • K. Fischer, P. Göhner, F. Gutbrodt, U. Katzke, B. Vogel-Heuser
      Pages 301-321

  6. Part IV: Charts

    1. Introduction to Subject Area “Charts”

      • Werner Damm, Bernd Westphal
      Pages 322-324
Back to top

Keywords

Back to top

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • OFFIS e.V., Oldenburg, Germany

    Werner Damm

  • Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  • Fraunhofer ISST Berlin, Germany

    Martin Große-Rhode

  • Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, Augsburg, Germany

    Wolfgang Reif

  • Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

  • Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Stuttgart, Germany

    Engelbert Westkämper

Back to top

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23135-6Published: 22 September 2004

  • eBook ISBN: 978-3-540-27863-4Published: 05 April 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 630

  • Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation