Holdings: Verification, validation and testing in software engineering

Verification, validation and testing in software engineering:

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications" - Provided by publisher

Saved in:

Bibliographic Details
Other Authors:	Dasso, Aristides 1943- (Editor), Funes, Ana 1964- (Editor)
Format:	Electronic eBook
Language:	English
Published:	Hershey ; London ; Melbourne ; Singapore Idea Group Publishing [2007]
Subjects:	Computer software > Validation Computer software > Verification Computer software > Testing Softwaretest Programmverifikation Aufsatzsammlung
Online Access:	DE-706 DE-1049 DE-898 DE-1050 DE-83 Volltext
Summary:	"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications" - Provided by publisher
Item Description:	Includes bibliographical references and index
Physical Description:	1 Online-Ressource (xI, 428 Seiten) Illustrationen
ISBN:	9781591408536 1591408539

Staff View

MARC


LEADER	00000nmm a2200000zc 4500
001	BV044193207
003	DE-604
005	20180309
007	cr\|uuu---uuuuu
008	170222s2007 xxu\|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9781591408536 \|9 978-1-59140-853-6
020			\|a 1591408539 \|9 1-59140-853-9
024	7		\|a 10.4018/978-1-59140-851-2 \|2 doi
035			\|a (OCoLC)976012983
035			\|a (DE-599)BVBBV044193207
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-706 \|a DE-1049 \|a DE-898 \|a DE-1050 \|a DE-83
050		0	\|a QA76.76.V47
082	0		\|a 005.14
084			\|a ST 233 \|0 (DE-625)143620: \|2 rvk
245	1	0	\|a Verification, validation and testing in software engineering \|c Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina
264		1	\|a Hershey ; London ; Melbourne ; Singapore \|b Idea Group Publishing \|c [2007]
264		4	\|c © 2007
300			\|a 1 Online-Ressource (xI, 428 Seiten) \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Includes bibliographical references and index
520	3		\|a "This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications" - Provided by publisher
650		4	\|a Computer software \|x Validation
650		4	\|a Computer software \|x Verification
650		4	\|a Computer software \|x Testing
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
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1		\|5 DE-604
700	1		\|a Dasso, Aristides \|d 1943- \|0 (DE-588)1126061034 \|4 edt
700	1		\|a Funes, Ana \|d 1964- \|0 (DE-588)1126061298 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-1-59140-851-2
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 1-59140-851-2
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-1-59140-852-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 1-59140-852-0
856	4	0	\|u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-98-IGB \|a ZDB-1-IGE
943	1		\|a oai:aleph.bib-bvb.de:BVB01-029599914
966	e		\|u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2 \|l DE-706 \|p ZDB-98-IGB \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.4018/978-1-59140-851-2 \|l DE-1049 \|p ZDB-1-IGE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.4018/978-1-59140-851-2 \|l DE-898 \|p ZDB-1-IGE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.4018/978-1-59140-851-2 \|l DE-1050 \|p ZDB-1-IGE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.4018/978-1-59140-851-2 \|l DE-83 \|p ZDB-98-IGB \|q TUB_EBS_IGB \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1808138439298646016
adam_text
any_adam_object
author2	Dasso, Aristides 1943- Funes, Ana 1964-
author2_role	edt edt
author2_variant	a d ad a f af
author_GND	(DE-588)1126061034 (DE-588)1126061298
author_facet	Dasso, Aristides 1943- Funes, Ana 1964-
building	Verbundindex
bvnumber	BV044193207
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.76.V47
callnumber-search	QA76.76.V47
callnumber-sort	QA 276.76 V47
callnumber-subject	QA - Mathematics
classification_rvk	ST 233
collection	ZDB-98-IGB ZDB-1-IGE
ctrlnum	(OCoLC)976012983 (DE-599)BVBBV044193207
dewey-full	005.14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.14
dewey-search	005.14
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV044193207</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180309</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170222s2007 xxu\|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781591408536</subfield><subfield code="9">978-1-59140-853-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1591408539</subfield><subfield code="9">1-59140-853-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-59140-851-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)976012983</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044193207</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</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="245" ind1="1" ind2="0"><subfield code="a">Verification, validation and testing in software engineering</subfield><subfield code="c">Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey ; London ; Melbourne ; Singapore</subfield><subfield code="b">Idea Group Publishing</subfield><subfield code="c">[2007]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xI, 428 Seiten)</subfield><subfield code="b">Illustrationen</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications" - Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Testing</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dasso, Aristides</subfield><subfield code="d">1943-</subfield><subfield code="0">(DE-588)1126061034</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Funes, Ana</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1126061298</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-59140-851-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-59140-851-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-59140-852-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-59140-852-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029599914</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-59140-851-2</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-59140-851-2</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-59140-851-2</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-59140-851-2</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV044193207
illustrated	Not Illustrated
indexdate	2024-08-23T01:06:30Z
institution	BVB
isbn	9781591408536 1591408539
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029599914
oclc_num	976012983
open_access_boolean
owner	DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83
owner_facet	DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83
physical	1 Online-Ressource (xI, 428 Seiten) Illustrationen
psigel	ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Idea Group Publishing
record_format	marc
spelling	Verification, validation and testing in software engineering Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina Hershey ; London ; Melbourne ; Singapore Idea Group Publishing [2007] © 2007 1 Online-Ressource (xI, 428 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index "This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications" - Provided by publisher Computer software Validation Computer software Verification Computer software Testing Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Programmverifikation (DE-588)4135576-3 s DE-604 Softwaretest (DE-588)4132652-0 s Dasso, Aristides 1943- (DE-588)1126061034 edt Funes, Ana 1964- (DE-588)1126061298 edt Erscheint auch als Druck-Ausgabe 978-1-59140-851-2 Erscheint auch als Druck-Ausgabe 1-59140-851-2 Erscheint auch als Druck-Ausgabe 978-1-59140-852-9 Erscheint auch als Druck-Ausgabe 1-59140-852-0 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Verification, validation and testing in software engineering Computer software Validation Computer software Verification Computer software Testing Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4143413-4
title	Verification, validation and testing in software engineering
title_auth	Verification, validation and testing in software engineering
title_exact_search	Verification, validation and testing in software engineering
title_full	Verification, validation and testing in software engineering Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina
title_fullStr	Verification, validation and testing in software engineering Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina
title_full_unstemmed	Verification, validation and testing in software engineering Aristides Dasso, Universidad Nacional de San Luis, Argentina, Ana Funes, Universidad Nacional de San Luis, Argentina
title_short	Verification, validation and testing in software engineering
title_sort	verification validation and testing in software engineering
topic	Computer software Validation Computer software Verification Computer software Testing Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Computer software Validation Computer software Verification Computer software Testing Softwaretest Programmverifikation Aufsatzsammlung
url	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2
work_keys_str_mv	AT dassoaristides verificationvalidationandtestinginsoftwareengineering AT funesana verificationvalidationandtestinginsoftwareengineering

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items