Buch, Deutsch, Englisch, Band 43, 262 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 482 g
Reihe: Informatik-Fachberichte
GI-Arbeitstagung Karlsruhe, 16.-17. März 1981. Proceedings
Buch, Deutsch, Englisch, Band 43, 262 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 482 g
Reihe: Informatik-Fachberichte
ISBN: 978-3-540-10725-5
Verlag: Springer Berlin Heidelberg
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
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.
