000			03714nam a2200433 a 4500
005			20200630173936.0
006			m d
007			cr cnu---uuuuu
008			170530s2017 s 000 0 eng d
020			_a9783319577500 _9978-3-319-57750-0
082	0	4	_a005.1 _223
100	1		_aO'Regan, Gerard., _eautor. _4aut. _4http://id.loc.gov/vocabulary/relators/aut
245	1	0	_aConcise Guide to Software Engineering _h[electronic resource] : _bFrom Fundamentals to Application Methods / _cby Gerard O'Regan.
264		4	_aCham : : _bSpringer International Publishing : : _bImprint: Springer,, _c2017
264		1	_c2017
300			_aXXIV, 331 p. 99 illus., 12 illus. in color. : _bonline resource.
336			_atexto _btxt _2rdacontent
337			_acomputador _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aUndergraduate Topics in Computer Science, _x1863-7310
504			_aIncluye referencias bibliográficas e índice.
505	0		_aBackground -- Software Project Management -- Requirements Engineering -- Software Design and Development -- Configuration Management -- Software Inspections -- Software Testing -- Supplier Selection and Management -- Software Quality Assurance -- Software Metrics and Problem Solving -- Software Reliability and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software Process Improvement -- Capability Maturity Model Integration -- Software Engineering Tools -- Agile Methodology -- A Miscellany of Innovation -- Epilogue.
520			_apresenta una visión general amplia de la ingeniería de software, incluidos los ciclos de vida del software y las fases en el desarrollo de software, y la gestión de proyectos para la ingeniería de software; examina las áreas de ingeniería de requisitos, gestión de configuración de software, inspecciones de software, pruebas de software, garantía de calidad de software y calidad de procesos; cubre temas sobre métricas de software y resolución de problemas, confiabilidad y confiabilidad de software, y diseño y desarrollo de software, incluidos enfoques ágiles; explica métodos formales, un conjunto de técnicas matemáticas para especificar y derivar un programa a partir de su especificación, introduciendo el lenguaje de especificación Z; analiza la mejora del proceso de software, describe el modelo CMMI e introduce UML, un lenguaje de modelado visual para sistemas de software; revisa una variedad de herramientas para apoyar diversas actividades en ingeniería de software y ofrece asesoramiento sobre la selección y gestión de un proveedor de software; describe tales innovaciones en el campo del software como sistemas distribuidos, arquitectura orientada a servicios, software como servicio, computación en la nube y sistemas integrados.
650		0	_aIngeniería de software.
650		0	_aSistemas de administración de información.
650		0	_aProgramas para computadores.
650	1	4	_aIngeniería de software.
650	2	4	_aIngeniería de los computadores.
650	2	4	_aAdministración de software.
650	2	4	_aProgramas para matemáticas.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	7		_uhttps://unicurn.sharepoint.com/:b:/s/biblioteca/Eaxh5rLFb79Og16Zrnq5brQBlscnGTlteciyrZ1d4soiCA?e=Jqwu4T _z<img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
942			_aCF _h005.1 _iO661 _2ddc
960			_aa2849694
999			_c25747 _d25747