Autor O'Regan, Gerard
|
|
Documentos disponibles escritos por este autor (8)
Hacer una sugerencia Refinar búsqueda
Título : A Brief History of Computing Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 3 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXV, 359 p. 129 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-66599-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ordenador Historia de la Computación Índice Dewey: 004.09 Aplicaciones generales de la computación Resumen: La historia de la informática tiene sus orígenes en los inicios de la civilización, y la necesidad de cálculos cada vez más sofisticados ha crecido a medida que evolucionaron los pueblos y comunidades. Este texto animado y fascinante rastrea los avances clave en la computación (desde el 3000 a. C. hasta la actualidad) de una manera concisa y fácil de seguir. Al ofrecer una introducción completa a los acontecimientos y conceptos más importantes de la historia de la informática, el libro se embarca en un viaje desde el antiguo Egipto hasta los tiempos modernos; desde calculadoras mecánicas, las primeras computadoras digitales, las primeras computadoras personales y teléfonos móviles, hasta la historia de la ingeniería de software, la evolución de los lenguajes de programación y la invención de la World Wide Web, entre otros temas. Esta nueva edición ampliada y revisada también examina el nacimiento de la industria del software y la evolución de la interacción persona-computadora, además de innovaciones como la computación en la nube, el Internet de las cosas y la computación cuántica. Temas y características: · Ideal para el autoestudio, ya que ofrece muchas características pedagógicas, como temas clave de apertura de capítulos, introducciones y resúmenes de capítulos, ejercicios y un glosario · Presenta información detallada sobre figuras importantes de la informática, como Boole, Babbage, Shannon , Turing, Zuse y Von Neumann · Analiza las primeras computadoras desarrolladas en Estados Unidos, Alemania y Gran Bretaña. · Analiza el desarrollo de la familia de computadoras IBM 360 y su importancia · Analiza el nacimiento de la industria del software y la evolución de la interacción persona-computadora · Revisa la historia de la ingeniería de software, los lenguajes de programación y los sistemas operativos · Analiza el progreso de la campo de la inteligencia artificial · Examina el impacto en la sociedad de la introducción de la computadora personal, la World Wide Web y la tecnología de telefonía móvil · Analiza una variedad de innovaciones en informática como la computación en la nube, Internet de las cosas y la computación cuántica · Analiza Aspectos legales de la informática y responsabilidades profesionales de los profesionales de la informática. Este texto amplio y claramente escrito le da al lector una idea de la historia y estimula un mayor estudio del tema. Como tal, será de gran beneficio para los estudiantes de informática y, al mismo tiempo, captará el interés del lector más informal. Acerca del autor: El Dr. Gerard O''Regan es un consultor con intereses de investigación que incluyen la calidad del software y la mejora de los procesos del software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como Guía concisa de métodos formales, Guía concisa de ingeniería de software, Matemáticas en informática y Guía concisa para pruebas de software. Nota de contenido: 1. What is a Computer ? -- 2. Early Civilisations -- 3. Foundations of Computing -- 4. The First Computers -- 5. Early Commercial Computers -- 6. Transistors and Semiconductors -- 7. Early Mainframes -- 8. The IBM 360 and later Mainframes -- 9. DEC and Minicomputers -- 10. The Microprocessor -- 11. Home Computers -- 12. The IBM Personal Computer -- 13. History of Operating Systems -- 14. The Birth of Software Industry and Human Computer Interaction -- 15. History of Programming Languages -- 16. History of Software Engineering -- 17. A Short History of Telecommunications -- 18. The Internet Revolution -- 19. The Smart Phone and the Facebook Revolution -- 20. A Miscellany of Innovations -- 21. History of Databases -- 22. History of Artificial Intelligence -- 23. Ethics and Professional Responsibility -- 24. Legal Aspects of Computing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i A Brief History of Computing [documento electrónico] / O'Regan, Gerard, Autor . - 3 ed. . - [s.l.] : Springer, 2021 . - XXV, 359 p. 129 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-66599-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ordenador Historia de la Computación Índice Dewey: 004.09 Aplicaciones generales de la computación Resumen: La historia de la informática tiene sus orígenes en los inicios de la civilización, y la necesidad de cálculos cada vez más sofisticados ha crecido a medida que evolucionaron los pueblos y comunidades. Este texto animado y fascinante rastrea los avances clave en la computación (desde el 3000 a. C. hasta la actualidad) de una manera concisa y fácil de seguir. Al ofrecer una introducción completa a los acontecimientos y conceptos más importantes de la historia de la informática, el libro se embarca en un viaje desde el antiguo Egipto hasta los tiempos modernos; desde calculadoras mecánicas, las primeras computadoras digitales, las primeras computadoras personales y teléfonos móviles, hasta la historia de la ingeniería de software, la evolución de los lenguajes de programación y la invención de la World Wide Web, entre otros temas. Esta nueva edición ampliada y revisada también examina el nacimiento de la industria del software y la evolución de la interacción persona-computadora, además de innovaciones como la computación en la nube, el Internet de las cosas y la computación cuántica. Temas y características: · Ideal para el autoestudio, ya que ofrece muchas características pedagógicas, como temas clave de apertura de capítulos, introducciones y resúmenes de capítulos, ejercicios y un glosario · Presenta información detallada sobre figuras importantes de la informática, como Boole, Babbage, Shannon , Turing, Zuse y Von Neumann · Analiza las primeras computadoras desarrolladas en Estados Unidos, Alemania y Gran Bretaña. · Analiza el desarrollo de la familia de computadoras IBM 360 y su importancia · Analiza el nacimiento de la industria del software y la evolución de la interacción persona-computadora · Revisa la historia de la ingeniería de software, los lenguajes de programación y los sistemas operativos · Analiza el progreso de la campo de la inteligencia artificial · Examina el impacto en la sociedad de la introducción de la computadora personal, la World Wide Web y la tecnología de telefonía móvil · Analiza una variedad de innovaciones en informática como la computación en la nube, Internet de las cosas y la computación cuántica · Analiza Aspectos legales de la informática y responsabilidades profesionales de los profesionales de la informática. Este texto amplio y claramente escrito le da al lector una idea de la historia y estimula un mayor estudio del tema. Como tal, será de gran beneficio para los estudiantes de informática y, al mismo tiempo, captará el interés del lector más informal. Acerca del autor: El Dr. Gerard O''Regan es un consultor con intereses de investigación que incluyen la calidad del software y la mejora de los procesos del software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como Guía concisa de métodos formales, Guía concisa de ingeniería de software, Matemáticas en informática y Guía concisa para pruebas de software. Nota de contenido: 1. What is a Computer ? -- 2. Early Civilisations -- 3. Foundations of Computing -- 4. The First Computers -- 5. Early Commercial Computers -- 6. Transistors and Semiconductors -- 7. Early Mainframes -- 8. The IBM 360 and later Mainframes -- 9. DEC and Minicomputers -- 10. The Microprocessor -- 11. Home Computers -- 12. The IBM Personal Computer -- 13. History of Operating Systems -- 14. The Birth of Software Industry and Human Computer Interaction -- 15. History of Programming Languages -- 16. History of Software Engineering -- 17. A Short History of Telecommunications -- 18. The Internet Revolution -- 19. The Smart Phone and the Facebook Revolution -- 20. A Miscellany of Innovations -- 21. History of Databases -- 22. History of Artificial Intelligence -- 23. Ethics and Professional Responsibility -- 24. Legal Aspects of Computing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXVI, 322 p. 81 ilustraciones, 56 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-64021-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas Ingeniería de software Ordenadores Informática Lenguajes formales y teoría de los autómatas Rendimiento y confiabilidad del hardware Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: Este invaluable libro de texto/referencia proporciona una guía fácil de leer sobre los fundamentos de los métodos formales, destacando las ricas aplicaciones de los métodos formales en una amplia gama de áreas de la informática. Temas y características: Introduce los conceptos clave en ingeniería de software, confiabilidad y confiabilidad del software, métodos formales y matemáticas discretas. Presenta una breve historia de la lógica, desde la lógica silogística de Aristóteles y la lógica de los estoicos, pasando por la lógica simbólica de Boole, hasta el trabajo de Frege sobre lógica de predicados Cubre lógica proposicional y de predicados, así como temas más avanzados como lógica difusa, lógica temporal, lógica intuicionista, valores indefinidos y las aplicaciones de la lógica a la IA. Examina el lenguaje de especificación Z, el Método de desarrollo de Viena (VDM) y el irlandés. Escuela de VDM y el lenguaje de modelado unificado (UML) Analiza el cálculo de condiciones previas más débiles de Dijkstra, la semántica axiomática de los lenguajes de programación de Hoare y el enfoque clásico de Parnas y sus expresiones tabulares Proporciona cobertura sobre teoría de autómatas, probabilidad y estadística, verificación de modelos y la naturaleza de la prueba y la demostración de teoremas Revisa una selección de herramientas disponibles para apoyar al metodista formal y considera la transferencia de métodos formales a la industria Incluye preguntas de revisión y destaca temas clave en cada capítulo, y proporciona un útil glosario al final del libro Esta estimulante guía proporciona una visión general amplia y accesible de los métodos formales para estudiantes de informática y matemáticas que tengan curiosidad por saber cómo se aplican los métodos formales al campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Guía concisa para la ingeniería de software, Guía para las matemáticas discretas, Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods -- Sets, Relations and Functions -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods -- Technology Transfer to Industry -- Epilogue. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications [documento electrónico] / O'Regan, Gerard, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XXVI, 322 p. 81 ilustraciones, 56 ilustraciones en color.
ISBN : 978-3-319-64021-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Teoría de las máquinas Ingeniería de software Ordenadores Informática Lenguajes formales y teoría de los autómatas Rendimiento y confiabilidad del hardware Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: Este invaluable libro de texto/referencia proporciona una guía fácil de leer sobre los fundamentos de los métodos formales, destacando las ricas aplicaciones de los métodos formales en una amplia gama de áreas de la informática. Temas y características: Introduce los conceptos clave en ingeniería de software, confiabilidad y confiabilidad del software, métodos formales y matemáticas discretas. Presenta una breve historia de la lógica, desde la lógica silogística de Aristóteles y la lógica de los estoicos, pasando por la lógica simbólica de Boole, hasta el trabajo de Frege sobre lógica de predicados Cubre lógica proposicional y de predicados, así como temas más avanzados como lógica difusa, lógica temporal, lógica intuicionista, valores indefinidos y las aplicaciones de la lógica a la IA. Examina el lenguaje de especificación Z, el Método de desarrollo de Viena (VDM) y el irlandés. Escuela de VDM y el lenguaje de modelado unificado (UML) Analiza el cálculo de condiciones previas más débiles de Dijkstra, la semántica axiomática de los lenguajes de programación de Hoare y el enfoque clásico de Parnas y sus expresiones tabulares Proporciona cobertura sobre teoría de autómatas, probabilidad y estadística, verificación de modelos y la naturaleza de la prueba y la demostración de teoremas Revisa una selección de herramientas disponibles para apoyar al metodista formal y considera la transferencia de métodos formales a la industria Incluye preguntas de revisión y destaca temas clave en cada capítulo, y proporciona un útil glosario al final del libro Esta estimulante guía proporciona una visión general amplia y accesible de los métodos formales para estudiantes de informática y matemáticas que tengan curiosidad por saber cómo se aplican los métodos formales al campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Guía concisa para la ingeniería de software, Guía para las matemáticas discretas, Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods -- Sets, Relations and Functions -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods -- Technology Transfer to Industry -- Epilogue. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Concise Guide to Software Engineering : From Fundamentals to Application Methods Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXIV, 331 p. 99 ilustraciones, 12 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-57750-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Ingeniería Informática Red de computadoras Software de ordenador Ingeniería Informática y Redes Gestión de software Software matemático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de texto esencial presenta una introducción concisa a los principios fundamentales de la ingeniería de software, junto con una guía práctica sobre cómo aplicar la teoría en un entorno industrial del mundo real. La amplia cobertura abarca todas las áreas del diseño, la gestión y la calidad del software. Temas y características: Presenta una descripción general amplia de la ingeniería de software, incluidos los ciclos de vida del software y las fases de desarrollo de software, y la gestión de proyectos para 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 procesos. calidad Cubre temas sobre métricas de software y resolución de problemas, confiabilidad y confiabilidad del 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, presentando el lenguaje de especificación Z. Analiza el software. mejora de procesos, describe el modelo CMMI e introduce UML, un lenguaje de modelado visual para sistemas de software. Revisa una variedad de herramientas para respaldar diversas actividades en ingeniería de software y ofrece asesoramiento sobre la selección y gestión de un proveedor de software. Describe dichas innovaciones en el campo. del software como sistemas distribuidos, arquitectura orientada a servicios, software como servicio, computación en la nube y sistemas integrados. Incluye temas clave de aprendizaje, resúmenes y preguntas de repaso en cada capítulo, junto con un útil glosario. Este libro de texto práctico y fácil de seguir. La referencia es ideal para estudiantes de informática que buscan aprender cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El texto también sirve como manual de autoaprendizaje para ingenieros de software, profesionales de la calidad y administradores de software. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Concise Guide to Software Engineering : From Fundamentals to Application Methods [documento electrónico] / O'Regan, Gerard, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XXIV, 331 p. 99 ilustraciones, 12 ilustraciones en color.
ISBN : 978-3-319-57750-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Ingeniería Informática Red de computadoras Software de ordenador Ingeniería Informática y Redes Gestión de software Software matemático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de texto esencial presenta una introducción concisa a los principios fundamentales de la ingeniería de software, junto con una guía práctica sobre cómo aplicar la teoría en un entorno industrial del mundo real. La amplia cobertura abarca todas las áreas del diseño, la gestión y la calidad del software. Temas y características: Presenta una descripción general amplia de la ingeniería de software, incluidos los ciclos de vida del software y las fases de desarrollo de software, y la gestión de proyectos para 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 procesos. calidad Cubre temas sobre métricas de software y resolución de problemas, confiabilidad y confiabilidad del 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, presentando el lenguaje de especificación Z. Analiza el software. mejora de procesos, describe el modelo CMMI e introduce UML, un lenguaje de modelado visual para sistemas de software. Revisa una variedad de herramientas para respaldar diversas actividades en ingeniería de software y ofrece asesoramiento sobre la selección y gestión de un proveedor de software. Describe dichas innovaciones en el campo. del software como sistemas distribuidos, arquitectura orientada a servicios, software como servicio, computación en la nube y sistemas integrados. Incluye temas clave de aprendizaje, resúmenes y preguntas de repaso en cada capítulo, junto con un útil glosario. Este libro de texto práctico y fácil de seguir. La referencia es ideal para estudiantes de informática que buscan aprender cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El texto también sirve como manual de autoaprendizaje para ingenieros de software, profesionales de la calidad y administradores de software. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Concise Guide to Software Testing Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXIV, 293 p. 92 ilustraciones, 84 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28494-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Sistemas de seguridad Ciencia y tecnología de seguridad Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de texto de enfoque práctico proporciona una introducción concisa y accesible al campo de las pruebas de software, explica los principios fundamentales y ofrece orientación sobre la aplicación de la teoría en un entorno industrial. Temas y características: Presenta una breve historia de la calidad del software y sus pioneros influyentes, así como una discusión de los diversos ciclos de vida del software utilizados en el desarrollo de software. Describe los fundamentos de las pruebas en la ingeniería de software tradicional y el papel que desempeñan las pruebas estáticas en la construcción de calidad. en un producto Explica el proceso de planificación de pruebas de software, análisis y diseño de pruebas, y gestión de pruebas Analiza la subcontratación de pruebas, las métricas de pruebas y la resolución de problemas Revisa las herramientas disponibles para respaldar las actividades de pruebas de software y los beneficios de una iniciativa de mejora de procesos de software Examina las pruebas en el mundo ágil y la verificación de sistemas críticos de seguridad. Considera los aspectos legales y éticos de las pruebas de software y la importancia de la gestión de la configuración del software. Proporciona temas de aprendizaje clave y preguntas de revisión en cada capítulo, y proporciona un útil glosario al final del libro. Esta guía fácil de seguir es un recurso esencial para estudiantes universitarios de informática que buscan aprender sobre pruebas de software y cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El trabajo también será de interés para los industriales, incluidos ingenieros de software, evaluadores de software, profesionales de la calidad y administradores de software, así como para el lector motivado en general. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como Guía concisa de métodos formales, Guía concisa de ingeniería de software, Guía de matemáticas discretas e Introducción a la calidad del software. Nota de contenido: Fundamentals of Software Quality -- Fundamentals of Software Engineering -- Fundamentals of Software Testing -- Static Testing -- Software Test Planning -- Test Case Analysis and Design -- Test Execution and Management -- Test Outsourcing -- Test Metrics and Problem Solving -- Software Testing Tools -- Test Process Improvement -- Testing in the Agile World -- Verification of Safety Critical Systems -- Legal, Ethical and Professional Aspects of Testing -- Configuration Management -- Epilogue. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Concise Guide to Software Testing [documento electrónico] / O'Regan, Gerard, Autor . - 1 ed. . - [s.l.] : Springer, 2019 . - XXIV, 293 p. 92 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-28494-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Sistemas de seguridad Ciencia y tecnología de seguridad Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de texto de enfoque práctico proporciona una introducción concisa y accesible al campo de las pruebas de software, explica los principios fundamentales y ofrece orientación sobre la aplicación de la teoría en un entorno industrial. Temas y características: Presenta una breve historia de la calidad del software y sus pioneros influyentes, así como una discusión de los diversos ciclos de vida del software utilizados en el desarrollo de software. Describe los fundamentos de las pruebas en la ingeniería de software tradicional y el papel que desempeñan las pruebas estáticas en la construcción de calidad. en un producto Explica el proceso de planificación de pruebas de software, análisis y diseño de pruebas, y gestión de pruebas Analiza la subcontratación de pruebas, las métricas de pruebas y la resolución de problemas Revisa las herramientas disponibles para respaldar las actividades de pruebas de software y los beneficios de una iniciativa de mejora de procesos de software Examina las pruebas en el mundo ágil y la verificación de sistemas críticos de seguridad. Considera los aspectos legales y éticos de las pruebas de software y la importancia de la gestión de la configuración del software. Proporciona temas de aprendizaje clave y preguntas de revisión en cada capítulo, y proporciona un útil glosario al final del libro. Esta guía fácil de seguir es un recurso esencial para estudiantes universitarios de informática que buscan aprender sobre pruebas de software y cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El trabajo también será de interés para los industriales, incluidos ingenieros de software, evaluadores de software, profesionales de la calidad y administradores de software, así como para el lector motivado en general. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como Guía concisa de métodos formales, Guía concisa de ingeniería de software, Guía de matemáticas discretas e Introducción a la calidad del software. Nota de contenido: Fundamentals of Software Quality -- Fundamentals of Software Engineering -- Fundamentals of Software Testing -- Static Testing -- Software Test Planning -- Test Case Analysis and Design -- Test Execution and Management -- Test Outsourcing -- Test Metrics and Problem Solving -- Software Testing Tools -- Test Process Improvement -- Testing in the Agile World -- Verification of Safety Critical Systems -- Legal, Ethical and Professional Aspects of Testing -- Configuration Management -- Epilogue. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 452 p. 178 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-81588-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Historia Aplicaciones matemáticas en informática Teoría de la Computación Matemáticas discretas Matemáticas discretas en informática Historia de la Computación Ordenador Unidades aritméticas y lógicas informáticas Matemáticas Informática Estructuras aritméticas y lógicas Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. Resumen: Este estimulante libro de texto/referencia presenta una guía amplia y accesible sobre los fundamentos de las matemáticas discretas, destacando cómo se pueden aplicar las técnicas a diversas áreas interesantes de la informática. El texto está diseñado para motivar e inspirar al lector, fomentando un mayor estudio de esta importante habilidad. Temas y características: Proporciona una introducción a los componentes básicos de las matemáticas discretas, incluidos conjuntos, relaciones y funciones. Describe los conceptos básicos de la teoría de números, las técnicas de inducción y recursividad, y las aplicaciones de secuencias, series, permutaciones y combinaciones matemáticas. Presenta el conceptos básicos de álgebra, que cubren ecuaciones simultáneas y cuadráticas, y las leyes de logaritmos e índices, además de estructuras en álgebra abstracta como monoides, grupos, anillos, dominios integrales, campos y espacios vectoriales. Explica los fundamentos de la teoría de autómatas, matrices, teoría de grafos, criptografía, teoría de la codificación, teoría del lenguaje y los conceptos de computabilidad y decidibilidad. Revisa la historia de la lógica, analizando la lógica proposicional y de predicados, así como temas avanzados como la lógica difusa, la lógica temporal, la lógica intuicionista, los valores indefinidos y los teoremas. probadores y las aplicaciones de la lógica a la IA Examina el campo de la ingeniería de software, incluida la confiabilidad y confiabilidad del software, y describe métodos formales Investiga la probabilidad y las estadísticas y presenta una descripción general de la investigación de operaciones y las matemáticas financieras. Este trabajo atractivo y claramente escrito ofrece una visión general invaluable de Matemáticas discretas para estudiantes universitarios de informática y para estudiantes de matemáticas interesados en las ricas aplicaciones de las matemáticas discretas en el campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: 1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering Mathematics -- 17. Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications [documento electrónico] / O'Regan, Gerard, Autor . - 2 ed. . - [s.l.] : Springer, 2021 . - XXI, 452 p. 178 ilustraciones, 64 ilustraciones en color.
ISBN : 978-3-030-81588-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Historia Aplicaciones matemáticas en informática Teoría de la Computación Matemáticas discretas Matemáticas discretas en informática Historia de la Computación Ordenador Unidades aritméticas y lógicas informáticas Matemáticas Informática Estructuras aritméticas y lógicas Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. Resumen: Este estimulante libro de texto/referencia presenta una guía amplia y accesible sobre los fundamentos de las matemáticas discretas, destacando cómo se pueden aplicar las técnicas a diversas áreas interesantes de la informática. El texto está diseñado para motivar e inspirar al lector, fomentando un mayor estudio de esta importante habilidad. Temas y características: Proporciona una introducción a los componentes básicos de las matemáticas discretas, incluidos conjuntos, relaciones y funciones. Describe los conceptos básicos de la teoría de números, las técnicas de inducción y recursividad, y las aplicaciones de secuencias, series, permutaciones y combinaciones matemáticas. Presenta el conceptos básicos de álgebra, que cubren ecuaciones simultáneas y cuadráticas, y las leyes de logaritmos e índices, además de estructuras en álgebra abstracta como monoides, grupos, anillos, dominios integrales, campos y espacios vectoriales. Explica los fundamentos de la teoría de autómatas, matrices, teoría de grafos, criptografía, teoría de la codificación, teoría del lenguaje y los conceptos de computabilidad y decidibilidad. Revisa la historia de la lógica, analizando la lógica proposicional y de predicados, así como temas avanzados como la lógica difusa, la lógica temporal, la lógica intuicionista, los valores indefinidos y los teoremas. probadores y las aplicaciones de la lógica a la IA Examina el campo de la ingeniería de software, incluida la confiabilidad y confiabilidad del software, y describe métodos formales Investiga la probabilidad y las estadísticas y presenta una descripción general de la investigación de operaciones y las matemáticas financieras. Este trabajo atractivo y claramente escrito ofrece una visión general invaluable de Matemáticas discretas para estudiantes universitarios de informática y para estudiantes de matemáticas interesados en las ricas aplicaciones de las matemáticas discretas en el campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: 1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering Mathematics -- 17. Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
