Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486238457
3486238450
- Dimensions
-
24 cm
- Extent
-
211 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
GMD-Bericht / GMD-Forschungszentrum Informationstechnik ; Nr. 260
- Keyword
-
Softwaretest
Software
Qualitätssicherung
- Event
-
Veröffentlichung
- (where)
-
München, Wien
- (who)
-
Oldenbourg
- (when)
-
1996
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:10 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Müllerburg, Monika
- Gesellschaft für Informatik. Fachgruppe Test, Analyse und Verifikation von Software
- Oldenbourg
Time of origin
- 1996
Other Objects (12)
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Verifikation und Validation : Software-Test für Studenten und Praktiker
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Veröffentlichungen, Analysen, Verifikation
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Verifikation von systemnaher Software mittels Bounded Model Checking
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Verifikation und Validation : Software-Test für Studenten und Praktiker
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Veröffentlichungen, Analysen, Verifikation
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Verifikation von systemnaher Software mittels Bounded Model Checking
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Verifikation und Validation : Software-Test für Studenten und Praktiker
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Veröffentlichungen, Analysen, Verifikation
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Verifikation von systemnaher Software mittels Bounded Model Checking
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software