15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
3 results
Search Results
Item Open Access Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung(1978) Ludewig, Jochen; Streng, WolfgangAufgrund von Fehleranalysen und Erfahrungen bei der Entwicklung großer Software-Systeme hat sich die Einsicht verbreitet, daß eine Erhöhung der Zuverlässigkeit vor allem durch eine Formalisierung und Methodisierung der Spezifikation und des Entwurfs zu erreichen ist. Erst durch formalisierte Beschreibungshilfsmittel wird eine rechnergestützte Software-Entwicklung und -Prüfung ermöglicht. Bisher ist der Anwender bei der Formulierung seiner Anforderungen auf natürliche Sprachen angewiesen. Dies führt häufig zu unvollständigen, mehrdeutigen und sogar widerspruchsvollen Spezifikationen, die dann die Basis für die Software-Entwicklung bilden. Um zu prüfbaren Spezifikations- und Entwurfsbeschreibungen zu gelangen, wurden rechnergestützte Software-Entwicklungssysteme entworfen, die auf einem formalen Systembeschreibungsmodell beruhen. Angestrebt wird ein integriertes Werkzeug von aufeinander abgestimmten Hilfsmitteln zur Überdeckung des gesamten Entwicklungszyklus.Item Open Access Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software(1978) Ludewig, Jochen; Streng, WolfgangDieser 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.Item Open Access Prüfmittel für die rechnergestützte Software-Entwicklung(1978) Ludewig, Jochen; Streng, WolfgangAusgehend von einer allgemeinen Charakterisierung einer bestimmten Klasse von Entwicklungssystemen wird ein Ansatz für ein einfaches Beschreibungsmodell für Systeme angegeben. Ein solches Modell ist die Voraussetzung, um die Beschreibung der Anforderungen und des Entwurfs eines Systems zu formalisieren . Dieses Modell bildet die Grundlage für den dann folgenden Vergleich der Beschreibungsmodelle und Prüfmittel dreier bekannter Entwicklungssysteme: SSES, PSL/PSA und SREP. Abschließend wird die Schnittstelle derartiger Systeme zu einem automatischen Testsystem diskutiert.