Skip to main content
SpringerLink
Log in

Werkzeuge der Programmiertechnik

GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. Gerhard Goos

    1. Institut für Informatik II der Universität, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 43)

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

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (14 papers)

  1. Front Matter

    Pages i-vi
    Download chapter PDF

  2. Software-Produktions-Umgebungen: Entwicklungsstand Und Trends

    • H. L. Hausen, M. Müllerburg
    Pages 1-27

  3. Developing Algebraic Specifications of Threaded Data Structure Implementations

    • Alfred Laut
    Pages 28-40

  4. Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen

    • Georg Fischer
    Pages 41-56

  5. PASILA — ein computerunterstuetztes Werkzeug zur Definition und Implementation von Anforderunqssprachen

    • Joachim Christ, Helmut Balzert
    Pages 57-74

  6. Spezifikation für ein Spezifikationswerkzeug

    • Peter Schnupp
    Pages 75-100

  7. ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software

    • Klaus Eckert, Jochen Ludewig
    Pages 101-112

  8. Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick

    • Wolfgang Hesse
    Pages 113-153

  9. DIPROTOR Ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen für die datenstrukturorientierte Methode des Programmentwurfs

    • K. Schollenberger, K. Truöl, U. Viebeg
    Pages 154-168

  10. RELSPEZ — Eine Relationale Problemspezifikation; Konzept und Erfahrungsbericht

    • Thorsten Spitta, Antonio Schnieder
    Pages 169-180

  11. Die separate Compilation in CHILL

    • Alois Büchler
    Pages 181-196

  12. A Separate Compilation System for Ada

    • Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
    Pages 197-213

  13. Software Entwicklung für Mikroprozessoren bei der NIXDORF Computer AG

    • Klaus Angermann, Manfred Sedello
    Pages 214-227

  14. Erfahrungen Aus Entwicklung und Einsatz Eines Programmgeneratorsystems mit Komfortabler Benutzerschnittstelle zum ‘Bildhaften Spezifizieren’

    • Rainer Michael Gerkens
    Pages 228-243

  15. Systeme R / SAP Real-Time Systeme

    • Hasso Plattner
    Pages 244-260

  16. Back Matter

    Pages 261-262
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik II der Universität, Karlsruhe, Germany

    Gerhard Goos

Bibliographic Information

  • Book Title: Werkzeuge der Programmiertechnik

  • Book Subtitle: GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings

  • Editors: Gerhard Goos

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-68064-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10725-5Published: 01 March 1981

  • eBook ISBN: 978-3-642-68064-9Published: 07 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VI, 262

  • Number of Illustrations: 2 b/w illustrations

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation