
Werkzeuge der Programmiertechnik
GI-Arbeitstagung Karlsruhe, 16.-17. März 1981. Proceedings
G. Goos(Editor)
Springer (Publisher)
1st Edition
Published on 1. March 1981
Book
Paperback/Softback
VI, 262 pages
978-3-540-10725-5 (ISBN)
Description
Die hier vorgestellten Ergebnisse beruhen auf einer Untersuchung von etwa 20 Ansatzen zu SOftware-Produktions-Umgebungen, abgekurzt SPUen [Haus81c]. Diese Ergebnisse wurden beeinflusst vom "Symposium on Software Engineering Environments (S2 E2)", das von der GMD im Juni 1980 in Lahnstein veranstaltet wurde [Hunk31]. Die ausgewahlten Systeme (so- wie die Auswahlkriterien) werden im Anhang A kurz beschrieben. Ausserdem enthalt dieser Anhung die im Text verwendeten Abkurzungen fur SPUen und fur jede SPU Literaturhinweise. 1.1 Bedeutung des Begriffs Software-Produkt ions-Umgebung Der Begriff Software-Produkt ions-Umgebung bezeichnet ein instrumentier- tes und organisiertes SOftware-Entwicklungs-Laboratorium, in dem viele Personen arbeiten, um gemeinsam in einem vollstandig organisierten Ar- beitsprozess Software zu entwerfen, zu konstruieren~ zu prufen, zu an- dern und zu warten. Eine SPU bietet software-gestutzte Modelle, Metho- den, Verfthren, Beschreibungsmittel und Werkzeuge fur diese Arbeit. SPUen unterstutzen die Software-Entwicklung und -Anwendung dadurch, dass sie diese Mittel bereitstellen und dadurch dass sie die Handhabung die- ser Mittel festlegen.
More details
Series
Language
German
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
2 s/w Abbildungen
VI, 262 S. 2 Abb.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 16 mm
Weight
482 gr
ISBN-13
978-3-540-10725-5 (9783540107255)
DOI
10.1007/978-3-642-68064-9
Schweitzer Classification
Other editions
Additional editions

E-Book
03/2013
Springer
€42.99
Available for download
Content
Software-Produktionsumgebungen: Entwicklungsstand und Trends.- Developing algebraic specifications of threaded data structure implementations.- Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen.- PASILA - ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen.- Spezifikation für ein Spezif ikationswerkzeug.- ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software.- Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick.- DIPROTOR - ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen für die datenstrukturorientierte Methode des Programmentwurfs.- RELSPEZ - eine relationale Problemspezifikation: Konzept und Erfahrungsbericht.- Die separate Compilation in Chill.- A Separate Compilation System for Ada.- Software-Entwicklung für Mikroprozessoren bei der Nixdorf Computer AG.- Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsysterns mit komfortabler Benutzer-schnittstelle zum 'bildhaften Spezifizieren'.- Systeme R/SAP - Real Time Systeme.- Autorenverzeichnis.