Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

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

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