Software-Qualitätssicherung 1982:
München,
Germany
Harry M. Sneed, Hans-Rüdiger Wiehle (Eds.):
Software-Qualitätssicherung, Tagung I/1982 des German Chapter of the ACM am 25. und 26.3.1982 in Neubiberg bei München.
Berichte des German Chapter of the ACM 9 Teubner 1982, ISBN 3-519-02428-4 BibTeX
@proceedings{DBLP:conf/gacm/1982,
editor = {Harry M. Sneed and
Hans-R{\"u}diger Wiehle},
title = {Software-Qualit{\"a}tssicherung, Tagung I/1982 des German Chapter
of the ACM am 25. und 26.3.1982 in Neubiberg bei M{\"u}nchen},
booktitle = {Software-Qualit{\"a}tssicherung},
publisher = {Teubner},
series = {Berichte des German Chapter of the ACM},
volume = {9},
year = {1982},
isbn = {3-519-02428-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Software-Qualitätsmerkmale
Management der Qualitätsicherung
Konstruktive Maßnahmen zur Erhöhung der Qualität
Statistische Software-Analyse
- Erika Nyari:
SOFSPEC: A pragmatic approach to automated specification verification.
173-187 BibTeX
- J. Szentes:
SOMIKA: An automated system for measuring software quality.
188-202 BibTeX
Dynamische Software-Analyse
- Clemens Stoffel, G. Göller:
KTDS: Ein integrierter Satz von Werkzeugen für Analyse, Test und Wartung von Software.
203-218 BibTeX
- Rudolf van Megen, Heinz Bons:
TEST-COVER: Ein Werkzeug zur Testüberwachung und Teststatistik und seine Anwendungen in der Software-Entwicklung.
219-234 BibTeX
- Lothar Gmeiner, Udo Voges:
Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätsicherung während Entwurf und Test.
235-252 BibTeX
- Maria Majoros:
SOFTEST: A System for the Automatic Verification of PL/1, COBOL and Assembler Programs.
253-269 BibTeX
Copyright © Sat May 16 23:13:05 2009
by Michael Ley (ley@uni-trier.de)