Advertisement

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

  • Peter Liggesmeyer
  • Harry M. Sneed
  • Andreas Spillner
Conference proceedings

Part of the Informatik aktuell book series (INFORMAT)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Überblick und Klassifikation

  3. Werkzeuge

  4. Prüfen umfangreicher Softwaresysteme

  5. Formale Ansätze zur Softwareprüfung

  6. Prüfen objektorientierter Softwaresysteme

    1. Peter Liggesmeyer, Andreas Dregger, Helmut Balzert
      Pages 177-186

About these proceedings

Keywords

Analysieren Betriebssystem Klassifikation Qualitätssicherung Softwaresysteme Test Testen Validierung Verifikation Verifizieren

Editors and affiliations

  • Peter Liggesmeyer
    • 1
  • Harry M. Sneed
    • 2
  • Andreas Spillner
    • 3
  1. 1.Lehrstuhl für Software-Technik, Fakultät für ElektrotechnikRuhr-Universität BochumBochum 1Deutschland
  2. 2.SES-Software-Engineering Service GmbHOttobrunnDeutschland
  3. 3.Fachbereich Mathematik/InformatikUniversität BremenBremen 33Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-77747-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55860-6
  • Online ISBN 978-3-642-77747-9
  • Series Print ISSN 1431-472X
  • Buy this book on publisher's site