Goos | Werkzeuge der Programmiertechnik | E-Book | sack.de
E-Book

E-Book, Deutsch, Band 43, 262 Seiten, eBook

Reihe: Informatik-Fachberichte

Goos Werkzeuge der Programmiertechnik

GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings
1981
ISBN: 978-3-642-68064-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

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

E-Book, Deutsch, Band 43, 262 Seiten, eBook

Reihe: Informatik-Fachberichte

ISBN: 978-3-642-68064-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Goos Werkzeuge der Programmiertechnik jetzt bestellen!

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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.