Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Peter Liggesmeyer

    1. Lehrstuhl für Software-Technik, Fakultät für Elektrotechnik, Ruhr-Universität Bochum, Bochum 1, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Harry M. Sneed

    1. SES-Software-Engineering Service GmbH, Ottobrunn, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andreas Spillner

    1. Fachbereich Mathematik/Informatik, Universität Bremen, Bremen 33, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik aktuell (INFORMAT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Überblick und Klassifikation

    1. Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren

      • Peter Liggesmeyer
      Pages 1-25

    2. Klassifikation von Software-Testmethoden

      • Jens Herrmann, Klaus Grimm
      Pages 26-34

    3. Zur Formalisierung von Testkonzepten

      • Monika Müllerburg
      Pages 35-44

  5. Formale Ansätze zur Softwareprüfung

    1. Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen

      • Hans-Jörg Kreowski
      Pages 130-142

    2. Ein stochastisches Fehlermodell zur Kommunikation

      • H. W. Pohl
      Pages 143-154

    3. Validation und Verifikation von Software durch symbolische Ausführung

      • Ralf Kneuper
      Pages 155-167

  6. Prüfen objektorientierter Softwaresysteme

    1. Test Activities for Object-Oriented Software Development

      • Jan Overbeck
      Pages 168-176

    2. Ein experimentelles Testsystem für die Sprache HyperTalk

      • Peter Liggesmeyer, Andreas Dregger, Helmut Balzert
      Pages 177-186
Back to top

Keywords

Editors and Affiliations

  • Lehrstuhl für Software-Technik, Fakultät für Elektrotechnik, Ruhr-Universität Bochum, Bochum 1, Deutschland

    Peter Liggesmeyer

  • SES-Software-Engineering Service GmbH, Ottobrunn, Deutschland

    Harry M. Sneed

  • Fachbereich Mathematik/Informatik, Universität Bremen, Bremen 33, Deutschland

    Andreas Spillner

Bibliographic Information

  • Book Title: Testen, Analysieren und Verifizieren von Software

  • Book Subtitle: 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

  • Editors: Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner

  • Series Title: Informatik aktuell

  • DOI: https://doi.org/10.1007/978-3-642-77747-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1992

  • Softcover ISBN: 978-3-540-55860-6Published: 10 September 1992

  • eBook ISBN: 978-3-642-77747-9Published: 07 March 2013

  • Series ISSN: 1431-472X

  • Series E-ISSN: 2628-8958

  • Edition Number: 1

  • Number of Pages: VIII, 186

  • Number of Illustrations: 58 b/w illustrations

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation