Autor Rumpe, Bernhard
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda
Título : Agile Modeling with UML : Code Generation, Testing, Refactoring Tipo de documento: documento electrónico Autores: Rumpe, Bernhard, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 388 p. 176 ilustraciones, 101 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-58862-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: Ingeniería de software Gestión de software Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro se centra en el tratamiento metodológico de UML/P y aborda tres temas centrales del desarrollo de software basado en modelos: la generación de código, las pruebas sistemáticas de programas utilizando una definición de casos de prueba basada en modelos y la refactorización y transformación evolutiva de modelos. Para cada uno de estos temas, primero detalla los conceptos y técnicas fundamentales y luego presenta su aplicación con UML/P. Esta separación entre principios básicos y aplicaciones hace que el contenido sea más accesible y permite al lector transferir este conocimiento directamente a otros enfoques y lenguajes basados en modelos. Después de una introducción al libro y sus objetivos principales en el Capítulo 1, el Capítulo 2 describe un enfoque ágil basado en UML que utiliza UML/P como lenguaje de desarrollo principal para crear modelos ejecutables, generar código a partir de los modelos, diseñar casos de prueba y planificar iterativos. evolución a través de la refactorización. En aras de la exhaustividad, el Capítulo 3 proporciona un breve resumen de UML/P, que se utiliza a lo largo del libro. A continuación, los Capítulos 4 y 5 analizan las técnicas centrales para la generación de código, abordando la arquitectura de un generador de código y los métodos para controlarlo, así como la idoneidad de las notaciones UML/P para código de prueba o de producto. Luego, los capítulos 6 y 7 analizan conceptos generales para probar software, así como las características especiales que surgen debido al uso de UML/P. El Capítulo 8 detalla patrones de prueba para mostrar cómo usar diagramas UML/P para definir casos de prueba y enfatiza en particular el uso de pruebas funcionales para sistemas de software distribuidos y concurrentes. Para concluir, los Capítulos 9 y 10 examinan técnicas para transformar modelos y códigos y así proporcionar una base sólida para la refactorización como un tipo de transformación que preserva la semántica. En general, este libro será de gran beneficio para el desarrollo práctico de software, para la formación académica en el campo de la Ingeniería de Software y para la investigación en el área del desarrollo de software basado en modelos. Los profesionales aprenderán a utilizar técnicas modernas basadas en modelos para mejorar la producción de código y así aumentar significativamente la calidad. Los estudiantes encontrarán tanto conceptos básicos científicos importantes como aplicaciones directas de las técnicas presentadas. Y por último, pero no menos importante, el libro ofrecerá a los científicos una visión global del estado actual del desarrollo en los tres temas centrales que cubre. Nota de contenido: 1 Introduction -- 2 Agile and UML-Based Methodology -- 3 Compact Overview of UML/P -- 4 Principles of Code Generation -- 5 Transformations for Code Generation -- 6 Principles of Testing with Models -- 7 Model-Based Tests -- 8 Design Patterns for Testing -- 9 Refactoring as a Model Transformation -- 10 Refactoring of Models -- 11 Summary, Further Reading and Outlook. 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 Agile Modeling with UML : Code Generation, Testing, Refactoring [documento electrónico] / Rumpe, Bernhard, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 388 p. 176 ilustraciones, 101 ilustraciones en color.
ISBN : 978-3-319-58862-9
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 Gestión de software Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro se centra en el tratamiento metodológico de UML/P y aborda tres temas centrales del desarrollo de software basado en modelos: la generación de código, las pruebas sistemáticas de programas utilizando una definición de casos de prueba basada en modelos y la refactorización y transformación evolutiva de modelos. Para cada uno de estos temas, primero detalla los conceptos y técnicas fundamentales y luego presenta su aplicación con UML/P. Esta separación entre principios básicos y aplicaciones hace que el contenido sea más accesible y permite al lector transferir este conocimiento directamente a otros enfoques y lenguajes basados en modelos. Después de una introducción al libro y sus objetivos principales en el Capítulo 1, el Capítulo 2 describe un enfoque ágil basado en UML que utiliza UML/P como lenguaje de desarrollo principal para crear modelos ejecutables, generar código a partir de los modelos, diseñar casos de prueba y planificar iterativos. evolución a través de la refactorización. En aras de la exhaustividad, el Capítulo 3 proporciona un breve resumen de UML/P, que se utiliza a lo largo del libro. A continuación, los Capítulos 4 y 5 analizan las técnicas centrales para la generación de código, abordando la arquitectura de un generador de código y los métodos para controlarlo, así como la idoneidad de las notaciones UML/P para código de prueba o de producto. Luego, los capítulos 6 y 7 analizan conceptos generales para probar software, así como las características especiales que surgen debido al uso de UML/P. El Capítulo 8 detalla patrones de prueba para mostrar cómo usar diagramas UML/P para definir casos de prueba y enfatiza en particular el uso de pruebas funcionales para sistemas de software distribuidos y concurrentes. Para concluir, los Capítulos 9 y 10 examinan técnicas para transformar modelos y códigos y así proporcionar una base sólida para la refactorización como un tipo de transformación que preserva la semántica. En general, este libro será de gran beneficio para el desarrollo práctico de software, para la formación académica en el campo de la Ingeniería de Software y para la investigación en el área del desarrollo de software basado en modelos. Los profesionales aprenderán a utilizar técnicas modernas basadas en modelos para mejorar la producción de código y así aumentar significativamente la calidad. Los estudiantes encontrarán tanto conceptos básicos científicos importantes como aplicaciones directas de las técnicas presentadas. Y por último, pero no menos importante, el libro ofrecerá a los científicos una visión global del estado actual del desarrollo en los tres temas centrales que cubre. Nota de contenido: 1 Introduction -- 2 Agile and UML-Based Methodology -- 3 Compact Overview of UML/P -- 4 Principles of Code Generation -- 5 Transformations for Code Generation -- 6 Principles of Testing with Models -- 7 Model-Based Tests -- 8 Design Patterns for Testing -- 9 Refactoring as a Model Transformation -- 10 Refactoring of Models -- 11 Summary, Further Reading and Outlook. 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 Ernst Denert Award for Software Engineering 2019 / Felderer, Michael ; Hasselbring, Wilhelm ; Koziolek, Heiko ; Matthes, Florian ; Prechelt, Lutz ; Reussner, Ralf ; Rumpe, Bernhard ; Schaefer, Ina
Título : Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations Tipo de documento: documento electrónico Autores: Felderer, Michael, ; Hasselbring, Wilhelm, ; Koziolek, Heiko, ; Matthes, Florian, ; Prechelt, Lutz, ; Reussner, Ralf, ; Rumpe, Bernhard, ; Schaefer, Ina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: V, 140 p. 58 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-58617-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: Ingeniería de software Gestión de software Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto ofrece una visión general de las disertaciones de los cinco nominados al Premio Ernst Denert de Ingeniería de Software en 2019. El premio, amablemente patrocinado por Gerlind & Ernst Denert Stiftung, se otorga por un excelente trabajo dentro de la disciplina de Ingeniería de Software. que incluye métodos, herramientas y procedimientos para un mejor y más eficiente desarrollo de software de alta calidad. Un requisito esencial para el trabajo propuesto es su aplicabilidad y usabilidad en la práctica industrial. El libro contiene cinco artículos que describen los trabajos de Sebastian Baltes (U Trier) sobre los hábitos de trabajo y la experiencia de los desarrolladores de software, la tesis de Timo Greifenberg sobre Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, el trabajo de Marco Konersmann (U Duisburg-Essen) sobre la arquitectura explícitamente integrada, el trabajo de Marija Selakovic ( TU Darmstadt) investigación sobre análisis de programas procesables para mejorar el rendimiento del software, y la tesis de Johannes Späth (Paderborn U) sobre sistemas pushdown sincronizados para análisis de flujo de datos y punteros, que de hecho ganó el premio. Los capítulos describen los hallazgos clave de los respectivos trabajos, muestran su relevancia y aplicabilidad para la práctica y los proyectos de ingeniería de software industrial, y proporcionan información adicional y hallazgos que sólo se descubrieron posteriormente, por ejemplo, al aplicar los resultados en la industria. De esta manera, el libro no sólo resulta interesante para otros investigadores, sino también para los profesionales del software industrial que quieran aprender sobre la aplicación de los métodos más modernos en su trabajo diario. Nota de contenido: Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. 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 Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations [documento electrónico] / Felderer, Michael, ; Hasselbring, Wilhelm, ; Koziolek, Heiko, ; Matthes, Florian, ; Prechelt, Lutz, ; Reussner, Ralf, ; Rumpe, Bernhard, ; Schaefer, Ina, . - 1 ed. . - [s.l.] : Springer, 2020 . - V, 140 p. 58 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-58617-1
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 Gestión de software Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto ofrece una visión general de las disertaciones de los cinco nominados al Premio Ernst Denert de Ingeniería de Software en 2019. El premio, amablemente patrocinado por Gerlind & Ernst Denert Stiftung, se otorga por un excelente trabajo dentro de la disciplina de Ingeniería de Software. que incluye métodos, herramientas y procedimientos para un mejor y más eficiente desarrollo de software de alta calidad. Un requisito esencial para el trabajo propuesto es su aplicabilidad y usabilidad en la práctica industrial. El libro contiene cinco artículos que describen los trabajos de Sebastian Baltes (U Trier) sobre los hábitos de trabajo y la experiencia de los desarrolladores de software, la tesis de Timo Greifenberg sobre Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, el trabajo de Marco Konersmann (U Duisburg-Essen) sobre la arquitectura explícitamente integrada, el trabajo de Marija Selakovic ( TU Darmstadt) investigación sobre análisis de programas procesables para mejorar el rendimiento del software, y la tesis de Johannes Späth (Paderborn U) sobre sistemas pushdown sincronizados para análisis de flujo de datos y punteros, que de hecho ganó el premio. Los capítulos describen los hallazgos clave de los respectivos trabajos, muestran su relevancia y aplicabilidad para la práctica y los proyectos de ingeniería de software industrial, y proporcionan información adicional y hallazgos que sólo se descubrieron posteriormente, por ejemplo, al aplicar los resultados en la industria. De esta manera, el libro no sólo resulta interesante para otros investigadores, sino también para los profesionales del software industrial que quieran aprender sobre la aplicación de los métodos más modernos en su trabajo diario. Nota de contenido: Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. 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 : Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology Tipo de documento: documento electrónico Autores: Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62136-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 automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodología subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafíos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados en el SPES. Metodología de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplíen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfísicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economía alemana (automoción, producción industrial, generación de energía y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnología del gobierno alemán "Innovaciones para Alemania" en los próximos años. . Nota de contenido: 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. 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 Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology [documento electrónico] / Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color.
ISBN : 978-3-030-62136-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 automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodología subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafíos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados en el SPES. Metodología de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplíen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfísicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economía alemana (automoción, producción industrial, generación de energía y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnología del gobierno alemán "Innovaciones para Alemania" en los próximos años. . Nota de contenido: 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. 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
