000			01878cam a22003497i 4500
999			_c7025 _d7025
001			16460149
005			20201015124710.0
008			100915s2011 gw a 001 0 eng d
010			_a 2010937182
020			_a9783642151866
020			_a3642151868
040			_aBTCTA _cBTCTA _dYDXCP _dOIP _dCDX _dOHX _dDLC _erda
050	0	0	_aQA76.758 _b.F87 2011
082	0	4	_a005.1 _222 _bF
245	0	4	_aThe future of software engineering / _cSebastian Nanz, editor.
260			_aBerlin : _bSpringer, _c2011.
300			_a184 pages. : _billustration ; _c24 cm.
336			_2rdacontent _atext
337			_2rdamedia _aunmediated
338			_2rdacarrier _avolume
500			_aIncludes author index.
505	0		_aBarry Boehm: Some Future Software Engineering Opportunities and Challenges.- Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering.-Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Reduced Product of Logical and Algebraic Abstract Interpretations.- Yuri Gurevich, Michal Moskal, Itay Neeman: Evidental Communication.- Michael Jackson: Engineering and Software Engineering.- Rustan Leino: Abstraction and Tools.- David Lorge Parnas: Precise Documentation: The Key To Better Software.- Pamela Zave: A Compositional Architecture for the Next Internet.- Andreas Zeller: Mining Specifications.
650		0	_aSoftware engineering.
700	1		_aNanz, Sebastian.
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy1302/2010937182-b.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy1302/2010937182-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy1302/2010937182-t.html
856	4	1	_3Abstract _uhttp://repository.fue.edu.eg/xmlui/handle/123456789/3471
942			_cBK _2ddc