25 research outputs found
INCOME/STAR - Rechnergestützte Wartungs- und Entwicklungsumgebung für verteilte betriebliche Informationssysteme (Abschlussbericht)
Get PDFUeberblick und Vergleich verschiedener Mittel fuer die Spezifikation und den Entwurf von Software
Get PDFAIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 1994
Get PDFReview and comparison of tools for software specification and design
Get PDFDieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt.This report contains a collection and evaluation of relevant methods for specification and design of software, using a uniform description scheme. The various approaches are compared by several different criteria
AIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 1992
Get PDFAIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 1993
Get PDF
Bibliographie der Veröffentlichungen von Angehörigen der Technischen Hochschule Ilmenau: aus d. Jahr 1982
Get PDFÜbersicht:
Bibliographie der Veröffentlichungen von Angehörigen der Technischen Hochschule Ilmena
AIFB Jahresbericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 1991
Get PDF
