Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

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

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