Biblioteca Miguel Henríquez Castañeda

Normal view MARC view ISBD view

Concise Guide to Software Engineering [electronic resource] : From Fundamentals to Application Methods / by Gerard O'Regan.

By: O'Regan, Gerard [autor.].
Contributor(s): SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Copyright date: Cham : : Springer International Publishing : : Imprint: Springer,, 2017Publisher: 2017Description: XXIV, 331 p. 99 illus., 12 illus. in color. : online resource.Content type: texto Media type: computador Carrier type: recurso en líneaISBN: 9783319577500.Subject(s): Ingeniería de software | Sistemas de administración de información | Programas para computadores | Ingeniería de software | Ingeniería de los computadores | Administración de software | Programas para matemáticasDDC classification: 005.1 Online resources: <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
Contents:
Background -- 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.
In: Springer eBooksSummary: presenta 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.
Tags from this library: No tags from this library for this title.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Libros electrónicos Libros electrónicos
005.1 O661 (Browse shelf) Available

Incluye referencias bibliográficas e índice.

Background -- 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.

presenta 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.


Corporación Universitaria Rafael Núñez | Institución Universitaria | Vigilada Mineducación
Reconocimiento personería jurídica: Resolución 6644 del 5 de junio de 1985 Mineducación.
Institución de Educación Superior sujeta a inspección y vigilancia por parte del Ministerio de Educación Nacional.

Circulación y Préstamo:

Lunes a Viernes: de 7:00 a.m. a 8:00 p.m (jornada continua)
Sábados: de 8:00 a.m. a 2:00 p.m.
Cartagena: 6517088
Barranquilla: 3602197.
Dirección: Cra. 7 #3534, Cartagena, Bolívar.

Powered by Koha