Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8452
Autor(en): Ludewig, Jochen
Streng, Wolfgang
Titel: Prüfmittel für die rechnergestützte Software-Entwicklung
Sonstige Titel: Validation tools for computer-aided software development
Erscheinungsdatum: 1978
Dokumentart: 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
Bemerkungen: Karlsruhe: Kernforschungszentrum, 1978 (Kernforschungszentrum Karlsruhe 2507)
Zusammenfassung: 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.
Enthalten in den Sammlungen:15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
lud2.pdf9,07 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.