Bültmann & Gerriets
Werkzeuge der Programmiertechnik
GI-Arbeitstagung Karlsruhe, 16.¿17. März 1981. Proceedings
von G. Goos
Verlag: Springer Berlin Heidelberg
Reihe: Informatik-Fachberichte Nr. 43
Hardcover
ISBN: 978-3-540-10725-5
Erschienen am 01.03.1981
Sprache: Deutsch
Format: 244 mm [H] x 170 mm [B] x 16 mm [T]
Gewicht: 482 Gramm
Umfang: 276 Seiten

Preis: 54,99 €
keine Versandkosten (Inland)


Dieser Titel wird erst bei Bestellung gedruckt. Eintreffen bei uns daher ca. am 22. Oktober.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.

54,99 €
merken
zum E-Book (PDF) 42,99 €
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Klappentext
Inhaltsverzeichnis

Die hier vorgestellten Ergebnisse beruhen auf einer Untersuchung von etwa 20 Ansätzen zu SOftware-Produktions-Umgebungen, abgekürzt SPUen [Haus81c]. Diese Ergebnisse wurden beeinflußt vom "Symposium on Software Engineering Environments (S2 E2)", das von der GMD im Juni 1980 in Lahnstein veranstaltet wurde [Hünk31]. Die ausgewählten Systeme (so­ wie die Auswahlkriterien) werden im Anhang A kurz beschrieben. Außerdem enthält dieser Anhung die im Text verwendeten Abkürzungen für SPUen und für 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 vollständig organisierten Ar­ beitsprozeß Software zu entwerfen, zu konstruieren~ zu prüfen, zu än­ dern und zu warten. Eine SPU bietet software-gestützte Modelle, Metho­ den, Verfthren, Beschreibungsmittel und Werkzeuge für diese Arbeit. SPUen unterstützen die Software-Entwicklung und -Anwendung dadurch, daß sie diese Mittel bereitstellen und dadurch daß sie die Handhabung die­ ser Mittel festlegen.



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.


andere Formate
weitere Titel der Reihe