Prüfmittel für die rechnergestützte Software-Entwicklung

Ludewig, Jochen; Streng, Wolfgang

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

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart