Availability: 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

Saved in:

Bibliographic Details
Other Authors:	Liggesmeyer, Peter 1963- (Editor)
Format:	Book
Language:	German English
Published:	Berlin [u.a.] Springer 1992
Series:	Informatik aktuell
Subjects:	Softwaretest Programmverifikation Qualitätskontrolle Software Konferenzschrift > 1991 > Benthe
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	VIII, 186 Seiten
ISBN:	3540558608 0387558608

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV005584545
003	DE-604
005	20200420
007	t\|
008	921006s1992 xx \|\|\|\| 10\|\|\| ger d
020			\|a 3540558608 \|9 3-540-55860-8
020			\|a 0387558608 \|9 0-387-55860-8
035			\|a (OCoLC)320327089
035			\|a (DE-599)BVBBV005584545
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger \|a eng
049			\|a DE-384 \|a DE-739 \|a DE-91G \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-188
080			\|a 681.3.06
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 233 \|0 (DE-625)143620: \|2 rvk
084			\|a DAT 330f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Testen, Analysieren und Verifizieren von Software \|b 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 \|c P. Liggesmeyer ... (Herausgeber)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1992
300			\|a VIII, 186 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik aktuell
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Qualitätskontrolle \|0 (DE-588)4047968-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1991 \|z Benthe \|2 gnd-content
689	0	0	\|a Software \|0 (DE-588)4055382-6 \|D s
689	0	1	\|a Qualitätskontrolle \|0 (DE-588)4047968-7 \|D s
689	0		\|5 DE-188
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1		\|5 DE-188
689	2	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	2		\|5 DE-188
700	1		\|a Liggesmeyer, Peter \|d 1963- \|0 (DE-588)112090362 \|4 edt
710	2		\|a Gesellschaft für Informatik \|b Arbeitskreis Testen, Analysieren und Verifizieren von Software \|e Sonstige \|0 (DE-588)2125750-4 \|4 oth
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-003497000

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 330f 2001 A 23809
DE-BY-TUM_katkey	564973
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040020461074
_version_	1821937776970432512
adam_text	INHALTSVERZEICHNIS Überblick und Klassifikation Peter Liggesmeyer Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren_1 Jens Herrmann, Klaus Grimm Klassifikation von Software-Testmethoden_26 Monika Mifflerburg Zur Formalisierung von Testkonzepten_35 Werkzeuge Harry M. Sneed The MicroTest Integrated Test Environment_45 Peter Schless Methoden und Werkzeuge zur Automatisierung des Software-Tests_57 Ute Pelkmann TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest_70 Ralf Haselhorst Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung_81 Prüfen umfangreicher Softwaresysteme Andreas ЅрШпег Testmethoden und Testdatengewinnung für den btegrationstest modularer Softwaresysteme_91 Klaus Hauptmann Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge^_102 Hans-Jürgen Löx Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests_111 Lutz Eichler Testen paralleler Betriebssysteme,,_ . --------------------------------------119 Formale Ansätze zur Softwareprüfung Hans-Jörg Kreowski Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen_130 Hans-WemerPohl Ein stochastísches Fehlermodell zur Kommunikation_143 Ralf Kneuper Validation und Verifikation von Software durch symbolische Ausführung;_155 Prüfen objektorientierter Softwaresysteme Jan Overbeck Test Activities for Object-Oriented Software Development_168 Peter Liggesmeyer, Andreas Dregger, Helmut Balzen Ein experimentelles Testsystem für die Sprache HyperTalk_177
any_adam_object	1
author2	Liggesmeyer, Peter 1963-
author2_role	edt
author2_variant	p l pl
author_GND	(DE-588)112090362
author_facet	Liggesmeyer, Peter 1963-
building	Verbundindex
bvnumber	BV005584545
classification_rvk	ST 230 ST 233
classification_tum	DAT 330f DAT 325f
ctrlnum	(OCoLC)320327089 (DE-599)BVBBV005584545
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV005584545</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200420</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">921006s1992 xx \|\|\|\| 10\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540558608</subfield><subfield code="9">3-540-55860-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387558608</subfield><subfield code="9">0-387-55860-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)320327089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005584545</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">681.3.06</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testen, Analysieren und Verifizieren von Software</subfield><subfield code="b">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</subfield><subfield code="c">P. Liggesmeyer ... (Herausgeber)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 186 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik aktuell</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Benthe</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Gesellschaft für Informatik</subfield><subfield code="b">Arbeitskreis Testen, Analysieren und Verifizieren von Software</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2125750-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003497000</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content
genre_facet	Konferenzschrift 1991 Benthe
id	DE-604.BV005584545
illustrated	Not Illustrated
indexdate	2025-01-11T18:53:08Z
institution	BVB
institution_GND	(DE-588)2125750-4
isbn	3540558608 0387558608
language	German English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-003497000
oclc_num	320327089
open_access_boolean
owner	DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-634 DE-83 DE-188
owner_facet	DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-634 DE-83 DE-188
physical	VIII, 186 Seiten
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Springer
record_format	marc
series2	Informatik aktuell
spellingShingle	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 Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd
subject_GND	(DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4047968-7 (DE-588)4055382-6 (DE-588)1071861417
title	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
title_auth	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
title_exact_search	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
title_full	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 P. Liggesmeyer ... (Herausgeber)
title_fullStr	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 P. Liggesmeyer ... (Herausgeber)
title_full_unstemmed	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 P. Liggesmeyer ... (Herausgeber)
title_short	Testen, Analysieren und Verifizieren von Software
title_sort	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
title_sub	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
topic	Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd
topic_facet	Softwaretest Programmverifikation Qualitätskontrolle Software Konferenzschrift 1991 Benthe
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT liggesmeyerpeter testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 AT gesellschaftfurinformatikarbeitskreistestenanalysierenundverifizierenvonsoftware testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992

Availability

Order (Login required)

Table of contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 330f 2001 A 23809 Floor plan
Copy 1	Available for loan On Shelf