Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-8452
Authors: Ludewig, Jochen
Streng, Wolfgang
Title: Prüfmittel für die rechnergestützte Software-Entwicklung
Other Titles: Validation tools for computer-aided software development
Issue Date: 1978
metadata.ubs.publikation.typ: Arbeitspapier
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91637
http://elib.uni-stuttgart.de/handle/11682/8469
http://dx.doi.org/10.18419/opus-8452
metadata.ubs.bemerkung.extern: Karlsruhe: Kernforschungszentrum, 1978 (Kernforschungszentrum Karlsruhe 2507)
Abstract: Ausgehend 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.
Starting with a general characterization of a particular class of software development systems, an approach for a single system description model is presented. Such a model will serve as the basis for formalizing the description of the requirements and the design of a system . In this paper the model is used for comparing the description models and checking facilities of three existing development systems: SSES, PSL/PSA and SREP. Finally the interface between those systems and an automatie testing system is discussed.
Appears in Collections:15 Fakultätsübergreifend / Sonstige Einrichtung

Files in This Item:
File Description SizeFormat 
lud2.pdf9,07 MBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.