000			02235nam a22004815i 4500
001			vtls000557888
003			RU-ToGU
005			20210922085425.0
007			cr nn 008mamaa
008			170212s2015 gw | s |||| 0|eng d
020			_a9783319106236 _9978-3-319-10623-6
024	7		_a10.1007/978-3-319-10623-6 _2doi
035			_ato000557888
040			_aSpringer _cSpringer _dRU-ToGU
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aValidation of Evolving Software _helectronic resource _cedited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
260			_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_aVIII, 220 p. 60 illus., 28 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
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	_aComputer Science. _9155490
650		0	_aSoftware engineering. _9566225
650		0	_aComputer logic. _9463252
650	1	4	_aComputer Science. _9155490
650	2	4	_aSoftware Engineering. _9566285
650	2	4	_aLogics and Meanings of Programs. _9306257
700	1		_aChockler, Hana. _eeditor. _9463253
700	1		_aKroening, Daniel. _eeditor. _9329404
700	1		_aMariani, Leonardo. _eeditor. _9463254
700	1		_aSharygina, Natasha. _eeditor. _9416537
710	2		_aSpringerLink (Online service) _9143950
773	0		_tSpringer eBooks
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-10623-6
912			_aZDB-2-SCS
999			_c412576