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öße | Format | |
---|---|---|---|---|
lud2.pdf | 9,07 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.