Skip to main content

Integration of Software Specification Techniques for Applications in Engineering

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

  • Book
  • © 2004

Overview

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

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

Access this book

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Part IV: Charts

  2. Part V: Verification

  3. Part VI: Integration Modeling

Keywords

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

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

Publish with us