Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8452
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Ludewig, Jochen | de |
dc.contributor.author | Streng, Wolfgang | de |
dc.date.accessioned | 2016-02-23 | de |
dc.date.accessioned | 2016-03-31T11:46:44Z | - |
dc.date.available | 2016-02-23 | de |
dc.date.available | 2016-03-31T11:46:44Z | - |
dc.date.issued | 1978 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91637 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8469 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-8452 | - |
dc.description.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. | de |
dc.description.abstract | 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. | en |
dc.language.iso | de | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Softwareentwicklung , Softwarespezifikation | de |
dc.subject.ddc | 620 | de |
dc.title | Prüfmittel für die rechnergestützte Software-Entwicklung | de |
dc.title.alternative | Validation tools for computer-aided software development | en |
dc.type | workingPaper | de |
dc.date.updated | 2016-02-23 | de |
ubs.bemerkung.extern | Karlsruhe: Kernforschungszentrum, 1978 (Kernforschungszentrum Karlsruhe 2507) | de |
ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
ubs.institut | Sonstige Einrichtung | de |
ubs.opusid | 9163 | de |
ubs.publikation.noppn | yes | de |
ubs.publikation.typ | Arbeitspapier | de |
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.