Produktbild: Testen, Analysieren und Verifizieren von Software

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

Aus der Reihe Informatik aktuell

56,95 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.09.1992

Abbildungen

VIII, mit 58 Abbildungen

Herausgeber

Peter Liggesmeyer + weitere

Verlag

Springer Berlin

Seitenzahl

186

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

340 g

Sprache

Deutsch, Englisch

ISBN

978-3-540-55860-6

Beschreibung

Portrait

Andreas Spillner ist Professor für Informatik an der Hochschule Bremen, Fakultät für Elektrotechnik und Informatik. Er war über 10 Jahre Sprecher der Fachgruppe TAV 'Test, Analyse und Verifikation von Software' der Gesellschaft für Informatik e.V. (GI) und bis Ende 2009 Mitglied im German Testing Board e.V. 2007 ist er zum Fellow der GI ernannt worden. Seine Arbeitsschwerpunkte liegen im Bereich Softwaretechnik, Qualitätssicherung und Testen.
Harry M. Sneed ist Software Engineer. Er hat seit 1972 im deutschsprachigen Raum mehr als 25 Projekte geleitet, darunter 13 Reengineering Projekte, etwa 75 Softwarewerkzeuge konzipiert und mehr als 60 davon eigenhändig entwickelt. Zahlreiche Seminare zu allen Themen des Software-Engineering, über 160 deutschsprachige Artikel, 100 englischsprachige Papers, zahlreiche Bücher. Zur Zeit arbeitet er als freiberuflicher Berater und Toolentwickler in Wien und Wiesbaden sowie als Dozent am Institut für Wirtschaftsinformatik an der Universität Regensburg.
Prof. Dr. Peter Liggesmeyer - und Prof. Dr. Dieter Rombach - sind Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern. Sie leiten gemeinsam das Fraunhofer Institut für Experimentelles Software Engineering.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.09.1992

Abbildungen

VIII, mit 58 Abbildungen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

186

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

340 g

Sprache

Deutsch, Englisch

ISBN

978-3-540-55860-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in

  • Produktbild: Testen, Analysieren und Verifizieren von Software
  • Überblick und Klassifikation.- Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren.- Klassifikation von Software-Testmethoden.- Zur Formalisierung von Testkonzepten.- Werkzeuge.- The MicroTest Integrated Test Environment.- Methoden und Werkzeuge zur Automatisierung des Software-Tests.- TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest.- Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung.- Prüfen umfangreicher Softwaresysteme.- Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme.- Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge.- Testen in der Wartungsphase — Erfahrungen im Bereich des Regressionstests.- Testen paralleler Betriebssysteme.- Formale Ansätze zur Softwareprüfung.- Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.- Ein stochastisches Fehlermodell zur Kommunikation.- Validation und Verifikation von Software durch symbolische Ausführung.- Prüfen objektorientierter Softwaresysteme.- Test Activities for Object-Oriented Software Development.- Ein experimentelles Testsystem für die Sprache HyperTalk.