Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	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 1992
DBLP:	db/conf/testen/testen1992.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 16  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Lutz Eichler. Testen paralleler Betriebssysteme.	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 1992	(0)	1992
	Conference paper Ralf Haselhorst. Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung.	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 1992	(0)	1992
	Conference paper Klaus Hauptmann. Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge.	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 1992	(0)	1992
	Conference paper Jens Herrmann, Klaus Grimm. Klassifikation von Software-Testmethoden.	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 1992	(0)	1992
	Conference paper Ralf Kneuper. Validation und Verifikation von Software durch symbolische Ausführung.	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 1992	(0)	1992
	Conference paper Hans-Jörg Kreowski. Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.	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 1992	(0)	1992
	Conference paper Peter Liggesmeyer. Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.	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 1992	(0)	1992
	Conference paper Peter Liggesmeyer, Andreas Dregger, Helmut Balzert. Ein experimentelles Testsystem für die Sprache HyperTalk.	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 1992	(0)	1992
	Conference paper Hans-Jürgen Löx. Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests.	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 1992	(0)	1992
	Conference paper Monika Müllerburg. Zur Formalisierung von Testkonzepten.	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 1992	(0)	1992

Your query returned 16 matches in the database.