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: BookSeries: 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ónicoItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
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.