Skip to main content
  • Conference proceedings
  • © 1992

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

Part of the book series: Informatik aktuell (INFORMAT)

Buy it now

Buying options

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

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

Table of contents (16 papers)

  1. Front Matter

    Pages I-VIII
  2. Überblick und Klassifikation

    1. Klassifikation von Software-Testmethoden

      • Jens Herrmann, Klaus Grimm
      Pages 26-34
    2. Zur Formalisierung von Testkonzepten

      • Monika Müllerburg
      Pages 35-44
  3. Formale Ansätze zur Softwareprüfung

  4. Prüfen objektorientierter Softwaresysteme

    1. Ein experimentelles Testsystem für die Sprache HyperTalk

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

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

Buy it now

Buying options

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