000			02268nam a22004335i 4500
003			DE-He213
005			20231104114423.0
007			cr nn 008mamaa
008			150701s2015 gw | s |||| 0|eng d
020			_a9783319106236 _z978-3-319-10623-6
024	7		_a10.1007/978-3-319-10623-6 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema005.1 _223
245	1	0	_aValidation of Evolving Software / _cedited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aIntroduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
520			_aThis book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650	1	4	_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029
650	2	4	_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X
700	1		_aChockler, Hana. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aKroening, Daniel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMariani, Leonardo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSharygina, Natasha. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-319-10623-6 _3Springer eBooks _zOnline access link to the resource
912			_aZDB-2-SCS
999			_c200434507 _d52719
942			_2lcc _cEBK
041			_aeng