dblp.uni-trier.de GI

Testen, Analysieren und Verifizieren von Software 1991/1992: Benthe/Bochum

Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (Eds.): Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992. Informatik Aktuell Springer 1992, ISBN 3-540-55860-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/testen/1992,
  editor    = {Peter Liggesmeyer and
               Harry M. Sneed and
               Andreas Spillner 0002},
  title     = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis
               Testen, Analysieren und Verifizieren von Software der Fachgruppe
               Software-Engineering der GI, Proceedings der Treffen in Benthe
               und Bochum Juni 1991 und Februar 1992},
  booktitle = {Testen, Analysieren und Verifizieren von Software},
  publisher = {Springer},
  series    = {Informatik Aktuell},
  year      = {1992},
  isbn      = {3-540-55860-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Überblick und Klassifikation

Werkzeuge

Prüfen umfangreicher Softwaresysteme

Formale Ansätze zur Softwareprüfung

Prüfen objektorientierter Softwaresysteme

Copyright © Mon Mar 15 03:55:23 2010 by Michael Ley (ley@uni-trier.de)