Información del autor
Autor Mazzara, Manuel |
Documentos disponibles escritos por este autor (7)
Crear una solicitud de compra Refinar búsqueda
Frontiers in Software Engineering Education / Bruel, Jean-Michel ; Capozucca, Alfredo ; Mazzara, Manuel ; Meyer, Bertrand ; Naumchev, Alexandr ; Sadovykh, Andrey
TÃtulo : Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / Tipo de documento: documento electrónico Autores: Bruel, Jean-Michel, ; Capozucca, Alfredo, ; Mazzara, Manuel, ; Meyer, Bertrand, ; Naumchev, Alexandr, ; Sadovykh, Andrey, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 401 p. 96 ilustraciones, 65 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57663-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Programación de computadoras Ciencias de la Computación Gestión de base de datos Técnicas de programación Computadoras y Educación Lógica informática y fundamentos de la programación. Clasificación: 005.1 Resumen: Este libro contiene artÃculos invitados del Primer Taller Internacional sobre Fronteras en la Educación en IngenierÃa de Software, FISEE 2019, que tuvo lugar del 11 al 13 de noviembre de 2019 en el Château de Villebrumier, Francia. Los 25 artÃculos incluidos en este volumen mejoraron considerablemente después de la conferencia y durante dos fases diferentes de revisión por pares. Las contribuciones cubren una amplia gama de problemas en la enseñanza de la ingenierÃa de software y están organizadas en las siguientes secciones: Experiencia del curso; lecciones aprendidas; diseño de planes de estudios y cursos; concursos y talleres; estudios empÃricos, herramientas y automatización; globalización de la educación; y aprender haciendo. La parte final "Taller de HERRAMIENTAS: Herramientas artificiales y naturales (ANT)" contiene presentaciones presentadas en un taller diferente, pero relacionado, realizado en la Universidad de Innopolis (Rusia) en el contexto de la conferencia TOOLS 2019. FISEE 2019 es parte de una serie de eventos cientÃficos celebrados en el nuevo centro LASER en Villebrumier, cerca de Montauban y Toulouse, Francia. Nota de contenido: COURSE EXPERIENCE -- Teaching Formal Methods: An Experience Report -- A review of the structure of a course on Advanced Statistics for Data Scientists -- Reflection on Teaching Formal Approaches for Software Development in Higher Education -- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students -- Teaching Theoretical Computer Science at Innopolis University -- LESSONS LEARNT -- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning -- Towards code review guideline in a Classroom -- IT education in St. Petersburg State University -- Ten Unsafe Assumptions When Teaching Topics in Software Engineering -- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme -- Teaching Logic, from a Conceptual Viewpoint -- On the Design of a New Software Engineering Curriculum in Computer Engineering -- Collaborative Modelling and Co-simulation in Engineering and ComputingCurricula -- COMPETITIONS AND WORKSHOPS -- Designing Interactive Workshops for Software Engineering Educators -- Hackathons as a Part of Software Engineering Education: CASE in Tools Example -- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems -- EMPIRICAL STUDIES -- Experience in monitoring EEG signals during summer student internships -- A Study of Cooperative Thinking -- TOOLS AND AUTOMATION -- Analysis of Development Tool Usage in Software Engineering Classes -- Applying test-driven development for improved feedback and automation of grading in academic courses on software development -- GLOBALIZATION OF EDUCATION -- Internationalization Strategy of Innopolis University -- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization -- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT) -- Automated Cross-Language Integration Based on Formal Model of Components -- Scalable Thread-Modular Approach for Data Race Detection -- On the development of the compiler from C to the processor with FPGA accelerator. Tipo de medio : Computadora Summary : This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference. FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / [documento electrónico] / Bruel, Jean-Michel, ; Capozucca, Alfredo, ; Mazzara, Manuel, ; Meyer, Bertrand, ; Naumchev, Alexandr, ; Sadovykh, Andrey, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 401 p. 96 ilustraciones, 65 ilustraciones en color.
ISBN : 978-3-030-57663-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Programación de computadoras Ciencias de la Computación Gestión de base de datos Técnicas de programación Computadoras y Educación Lógica informática y fundamentos de la programación. Clasificación: 005.1 Resumen: Este libro contiene artÃculos invitados del Primer Taller Internacional sobre Fronteras en la Educación en IngenierÃa de Software, FISEE 2019, que tuvo lugar del 11 al 13 de noviembre de 2019 en el Château de Villebrumier, Francia. Los 25 artÃculos incluidos en este volumen mejoraron considerablemente después de la conferencia y durante dos fases diferentes de revisión por pares. Las contribuciones cubren una amplia gama de problemas en la enseñanza de la ingenierÃa de software y están organizadas en las siguientes secciones: Experiencia del curso; lecciones aprendidas; diseño de planes de estudios y cursos; concursos y talleres; estudios empÃricos, herramientas y automatización; globalización de la educación; y aprender haciendo. La parte final "Taller de HERRAMIENTAS: Herramientas artificiales y naturales (ANT)" contiene presentaciones presentadas en un taller diferente, pero relacionado, realizado en la Universidad de Innopolis (Rusia) en el contexto de la conferencia TOOLS 2019. FISEE 2019 es parte de una serie de eventos cientÃficos celebrados en el nuevo centro LASER en Villebrumier, cerca de Montauban y Toulouse, Francia. Nota de contenido: COURSE EXPERIENCE -- Teaching Formal Methods: An Experience Report -- A review of the structure of a course on Advanced Statistics for Data Scientists -- Reflection on Teaching Formal Approaches for Software Development in Higher Education -- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students -- Teaching Theoretical Computer Science at Innopolis University -- LESSONS LEARNT -- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning -- Towards code review guideline in a Classroom -- IT education in St. Petersburg State University -- Ten Unsafe Assumptions When Teaching Topics in Software Engineering -- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme -- Teaching Logic, from a Conceptual Viewpoint -- On the Design of a New Software Engineering Curriculum in Computer Engineering -- Collaborative Modelling and Co-simulation in Engineering and ComputingCurricula -- COMPETITIONS AND WORKSHOPS -- Designing Interactive Workshops for Software Engineering Educators -- Hackathons as a Part of Software Engineering Education: CASE in Tools Example -- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems -- EMPIRICAL STUDIES -- Experience in monitoring EEG signals during summer student internships -- A Study of Cooperative Thinking -- TOOLS AND AUTOMATION -- Analysis of Development Tool Usage in Software Engineering Classes -- Applying test-driven development for improved feedback and automation of grading in academic courses on software development -- GLOBALIZATION OF EDUCATION -- Internationalization Strategy of Innopolis University -- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization -- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT) -- Automated Cross-Language Integration Based on Formal Model of Components -- Scalable Thread-Modular Approach for Data Race Detection -- On the development of the compiler from C to the processor with FPGA accelerator. Tipo de medio : Computadora Summary : This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference. FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Microservices / Bucchiarone, Antonio ; Dragoni, Nicola ; Dustdar, Schahram ; Lago, Patricia ; Mazzara, Manuel ; Rivera, Victor ; Sadovykh, Andrey
TÃtulo : Microservices : Science and Engineering Tipo de documento: documento electrónico Autores: Bucchiarone, Antonio, ; Dragoni, Nicola, ; Dustdar, Schahram, ; Lago, Patricia, ; Mazzara, Manuel, ; Rivera, Victor, ; Sadovykh, Andrey, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 364 p. 106 ilustraciones, 88 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31646-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Software de la aplicacion Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro describe en contribuciones de cientÃficos y profesionales el desarrollo de conceptos cientÃficos, tecnologÃas, técnicas de ingenierÃa y herramientas para una sociedad basada en servicios. La atención se centra en los microservicios, es decir, procesos cohesivos e independientes desplegados de forma aislada y equipados con herramientas dedicadas de persistencia de memoria, que interactúan a través de mensajes. El libro está estructurado en seis partes. La Parte 1, "Apertura", analiza los desafÃos nuevos (y antiguos), incluidos el diseño y la especificación del servicio, la integridad de los datos y la gestión de la coherencia, y proporciona la información introductoria necesaria para digerir con éxito las partes restantes. La parte 2, "Migración", analiza la cuestión de la migración de monolitos a microservicios y su arquitectura débilmente acoplada. La Parte 3, "Modelado", presenta un catálogo y una taxonomÃa de los antipatrones de microservicios más comunes e identifica problemas comunes. También explica el concepto de conversaciones RESTful y presenta ideas obtenidas del estudio y desarrollo de dos enfoques de modelado adicionales. A continuación, la Parte 4 está dedicada a varios aspectos del "Desarrollo e Implementación". Luego, la parte 5 cubre las "Aplicaciones" de microservicios y presenta estudios de casos de Industria 4.0, Netflix y ejemplos de SaaS personalizados. Finalmente, la Parte 6 se centra en "Educación" e informa sobre las experiencias realizadas en programas especiales, tanto a nivel académico como un programa de maestrÃa como para profesionales en una formación industrial. Dado que sólo un esfuerzo conjunto entre la academia y la industria puede conducir al lanzamiento de lenguajes de programación modernos basados ​​en paradigmas y, posteriormente, al despliegue de sistemas de software robustos y escalables, el libro está dirigido principalmente a investigadores de la academia y la industria que desarrollan herramientas y aplicaciones para microservicios. . Nota de contenido: Part 1: Opening -- Microservices: The evolution and Extinction of Web Services? -- Size matters: Microservices Research and Applications -- Part 2: Migration -- Migrating to microservices -- Assessing your Microservice migration readiness -- Part 3: Modeling -- Microservices Anti-Patterns: A Taxonomy -- Modeling Microservice Conversations with RESTalk -- Graphical and Textual Model-driven Microservice Development -- Part 4: Development and Deployment -- A Formal Approach to Microservice Architecture Deployment -- Autonomic Decentralised Microservices with Gru -- A Hybrid Approach to Microservices Load Balancing -- Part 5: Applications -- Towards the digital factory: a microservice-based middleware for real-to-digital synchronization -- Using microservices to customize multi-tenant SaaS -- You are not Netflix -- Part 6: Education -- DevOps and its Philosophy : Education Matters!. Tipo de medio : Computadora Summary : This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages. The book is structured in six parts. Part 1 "Opening" analyzes the new (and old) challenges including service design and specification, data integrity, and consistency management and provides the introductory information needed to successfully digest the remaining parts. Part 2 "Migration" discusses the issue of migration from monoliths to microservices and their loosely coupled architecture. Part 3 "Modeling" introduces a catalog and a taxonomy of the most common microservices anti-patterns and identifies common problems. It also explains the concept of RESTful conversations and presents insights from studying and developing two further modeling approaches. Next , Part 4 is dedicated to various aspects of "Development and Deployment". Part 5 then covers "Applications" of microservices, presenting case studies from Industry 4.0, Netflix, and customized SaaS examples. Eventually, Part 6 focuses on "Education" and reports on experiences made in special programs, both at academic level as a master program course and for practitioners in an industrial training. As only a joint effort between academia and industry can lead to the release of modern paradigm-based programming languages, and subsequently to the deployment of robust and scalable software systems, the book mainly targets researchers in academia and industry who develop tools and applications for microservices. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Microservices : Science and Engineering [documento electrónico] / Bucchiarone, Antonio, ; Dragoni, Nicola, ; Dustdar, Schahram, ; Lago, Patricia, ; Mazzara, Manuel, ; Rivera, Victor, ; Sadovykh, Andrey, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 364 p. 106 ilustraciones, 88 ilustraciones en color.
ISBN : 978-3-030-31646-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Software de la aplicacion Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro describe en contribuciones de cientÃficos y profesionales el desarrollo de conceptos cientÃficos, tecnologÃas, técnicas de ingenierÃa y herramientas para una sociedad basada en servicios. La atención se centra en los microservicios, es decir, procesos cohesivos e independientes desplegados de forma aislada y equipados con herramientas dedicadas de persistencia de memoria, que interactúan a través de mensajes. El libro está estructurado en seis partes. La Parte 1, "Apertura", analiza los desafÃos nuevos (y antiguos), incluidos el diseño y la especificación del servicio, la integridad de los datos y la gestión de la coherencia, y proporciona la información introductoria necesaria para digerir con éxito las partes restantes. La parte 2, "Migración", analiza la cuestión de la migración de monolitos a microservicios y su arquitectura débilmente acoplada. La Parte 3, "Modelado", presenta un catálogo y una taxonomÃa de los antipatrones de microservicios más comunes e identifica problemas comunes. También explica el concepto de conversaciones RESTful y presenta ideas obtenidas del estudio y desarrollo de dos enfoques de modelado adicionales. A continuación, la Parte 4 está dedicada a varios aspectos del "Desarrollo e Implementación". Luego, la parte 5 cubre las "Aplicaciones" de microservicios y presenta estudios de casos de Industria 4.0, Netflix y ejemplos de SaaS personalizados. Finalmente, la Parte 6 se centra en "Educación" e informa sobre las experiencias realizadas en programas especiales, tanto a nivel académico como un programa de maestrÃa como para profesionales en una formación industrial. Dado que sólo un esfuerzo conjunto entre la academia y la industria puede conducir al lanzamiento de lenguajes de programación modernos basados ​​en paradigmas y, posteriormente, al despliegue de sistemas de software robustos y escalables, el libro está dirigido principalmente a investigadores de la academia y la industria que desarrollan herramientas y aplicaciones para microservicios. . Nota de contenido: Part 1: Opening -- Microservices: The evolution and Extinction of Web Services? -- Size matters: Microservices Research and Applications -- Part 2: Migration -- Migrating to microservices -- Assessing your Microservice migration readiness -- Part 3: Modeling -- Microservices Anti-Patterns: A Taxonomy -- Modeling Microservice Conversations with RESTalk -- Graphical and Textual Model-driven Microservice Development -- Part 4: Development and Deployment -- A Formal Approach to Microservice Architecture Deployment -- Autonomic Decentralised Microservices with Gru -- A Hybrid Approach to Microservices Load Balancing -- Part 5: Applications -- Towards the digital factory: a microservice-based middleware for real-to-digital synchronization -- Using microservices to customize multi-tenant SaaS -- You are not Netflix -- Part 6: Education -- DevOps and its Philosophy : Education Matters!. Tipo de medio : Computadora Summary : This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages. The book is structured in six parts. Part 1 "Opening" analyzes the new (and old) challenges including service design and specification, data integrity, and consistency management and provides the introductory information needed to successfully digest the remaining parts. Part 2 "Migration" discusses the issue of migration from monoliths to microservices and their loosely coupled architecture. Part 3 "Modeling" introduces a catalog and a taxonomy of the most common microservices anti-patterns and identifies common problems. It also explains the concept of RESTful conversations and presents insights from studying and developing two further modeling approaches. Next , Part 4 is dedicated to various aspects of "Development and Deployment". Part 5 then covers "Applications" of microservices, presenting case studies from Industry 4.0, Netflix, and customized SaaS examples. Eventually, Part 6 focuses on "Education" and reports on experiences made in special programs, both at academic level as a master program course and for practitioners in an industrial training. As only a joint effort between academia and industry can lead to the release of modern paradigm-based programming languages, and subsequently to the deployment of robust and scalable software systems, the book mainly targets researchers in academia and industry who develop tools and applications for microservices. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Present and Ulterior Software Engineering Tipo de documento: documento electrónico Autores: Mazzara, Manuel, ; Meyer, Bertrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 225 p. 48 ilustraciones, 18 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-67425-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes Clasificación: 005.1 Resumen: Este libro ofrece una visión general eficaz del estado del arte en ingenierÃa de software, con una proyección del futuro de la disciplina. Incluye 13 artÃculos, escritos por investigadores lÃderes en los respectivos campos, sobre temas importantes como el desarrollo de software basado en modelos, el diseño de lenguajes de programación, los microservicios, la confiabilidad del software, la verificación de modelos y la simulación. Los artÃculos son versiones editadas y ampliadas de las presentaciones en el simposio PAUSE, que marcó la finalización de 14 años de trabajo en la Cátedra de IngenierÃa de Software en ETH Zurich. En este contexto inspirador, algunas de las mentes más brillantes en el campo discutieron extensamente el pasado, el presente y el futuro de la ingenierÃa de software. GuÃa a los lectores en un viaje de descubrimiento a través de la disciplina de la ingenierÃa de software actual, ofreciendo un material único para la reflexión para investigadores y profesionales e inspirando la investigación y el desarrollo futuros. Nota de contenido: Engineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers -- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. Tipo de medio : Computadora Summary : This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation. The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering. It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Present and Ulterior Software Engineering [documento electrónico] / Mazzara, Manuel, ; Meyer, Bertrand, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 225 p. 48 ilustraciones, 18 ilustraciones en color.
ISBN : 978-3-319-67425-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes Clasificación: 005.1 Resumen: Este libro ofrece una visión general eficaz del estado del arte en ingenierÃa de software, con una proyección del futuro de la disciplina. Incluye 13 artÃculos, escritos por investigadores lÃderes en los respectivos campos, sobre temas importantes como el desarrollo de software basado en modelos, el diseño de lenguajes de programación, los microservicios, la confiabilidad del software, la verificación de modelos y la simulación. Los artÃculos son versiones editadas y ampliadas de las presentaciones en el simposio PAUSE, que marcó la finalización de 14 años de trabajo en la Cátedra de IngenierÃa de Software en ETH Zurich. En este contexto inspirador, algunas de las mentes más brillantes en el campo discutieron extensamente el pasado, el presente y el futuro de la ingenierÃa de software. GuÃa a los lectores en un viaje de descubrimiento a través de la disciplina de la ingenierÃa de software actual, ofreciendo un material único para la reflexión para investigadores y profesionales e inspirando la investigación y el desarrollo futuros. Nota de contenido: Engineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers -- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. Tipo de medio : Computadora Summary : This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation. The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering. It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment / Bruel, Jean-Michel ; Mazzara, Manuel ; Meyer, Bertrand
TÃtulo : Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bruel, Jean-Michel, ; Mazzara, Manuel, ; Meyer, Bertrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 227 p. 94 ilustraciones, 40 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-06019-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Ordenadores IngenierÃa Informática Red de computadoras Ciencias sociales TeorÃa de la codificación TeorÃa de la información Software de la aplicacion Entornos informáticos IngenierÃa Informática y Redes Aplicación informática en ciencias sociales y del comportamiento. TeorÃa de la codificación y la información Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del Primer Taller Internacional sobre Aspectos de IngenierÃa de Software del Desarrollo Continuo y Nuevos Paradigmas de Producción e Implementación de Software, DEVOPS 2018, celebrado en el Hateau de Villebrumier, Francia, en marzo de 2018. Los 17 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Cubren una amplia gama de problemas que surgen de Devops y enfoques relacionados, herramientas actuales, procesos rápidos de desarrollo-implementación, efectos en el desempeño del equipo, análisis, confiabilidad, microservicios y temas relacionados. . Nota de contenido: Design of a (yet another?) DevOps course -- Stepwise Adoption of Continuous Delivery in Model-Driven Engineering -- A Proposal for Integrating DevOps into Software Engineering Curricula -- Omniscient DevOps Analytics -- Teaching DevOps at the Graduate Level, a report from Polytech Nice Sophia -- DevOps Round-trip Engineering: Traceability from Dev to Ops and Back Again -- DevOps is Simply Interaction Between Development and Operations -- Teaching DevOps in Corporate Environments. An experience report -- ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems -- From Monolith to Microservices: A Classification of Refactoring Approaches -- DevOps Meets Dynamic Orchestration -- Using Code Generation to Enforce Uniformity in Software Delivery Pipelines -- Effect of Continuous Integration on Build Health in Undergraduate Team Projects -- Feedback from Operations to Software Development - A DevOps Perspective on Runtime Metrics and Logs -- A lean and devops approach to teachlean software development -- DevOps' Shift-Left in Practice: An Industrial Case of Application -- DevOps'18 Education Panel: Teaching Feedback and Challenges. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers [documento electrónico] / Bruel, Jean-Michel, ; Mazzara, Manuel, ; Meyer, Bertrand, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 227 p. 94 ilustraciones, 40 ilustraciones en color.
ISBN : 978-3-030-06019-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Ordenadores IngenierÃa Informática Red de computadoras Ciencias sociales TeorÃa de la codificación TeorÃa de la información Software de la aplicacion Entornos informáticos IngenierÃa Informática y Redes Aplicación informática en ciencias sociales y del comportamiento. TeorÃa de la codificación y la información Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del Primer Taller Internacional sobre Aspectos de IngenierÃa de Software del Desarrollo Continuo y Nuevos Paradigmas de Producción e Implementación de Software, DEVOPS 2018, celebrado en el Hateau de Villebrumier, Francia, en marzo de 2018. Los 17 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Cubren una amplia gama de problemas que surgen de Devops y enfoques relacionados, herramientas actuales, procesos rápidos de desarrollo-implementación, efectos en el desempeño del equipo, análisis, confiabilidad, microservicios y temas relacionados. . Nota de contenido: Design of a (yet another?) DevOps course -- Stepwise Adoption of Continuous Delivery in Model-Driven Engineering -- A Proposal for Integrating DevOps into Software Engineering Curricula -- Omniscient DevOps Analytics -- Teaching DevOps at the Graduate Level, a report from Polytech Nice Sophia -- DevOps Round-trip Engineering: Traceability from Dev to Ops and Back Again -- DevOps is Simply Interaction Between Development and Operations -- Teaching DevOps in Corporate Environments. An experience report -- ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems -- From Monolith to Microservices: A Classification of Refactoring Approaches -- DevOps Meets Dynamic Orchestration -- Using Code Generation to Enforce Uniformity in Software Delivery Pipelines -- Effect of Continuous Integration on Build Health in Undergraduate Team Projects -- Feedback from Operations to Software Development - A DevOps Perspective on Runtime Metrics and Logs -- A lean and devops approach to teachlean software development -- DevOps' Shift-Left in Practice: An Industrial Case of Application -- DevOps'18 Education Panel: Teaching Feedback and Challenges. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment / Bruel, Jean-Michel ; Mazzara, Manuel ; Meyer, Bertrand
TÃtulo : Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / Tipo de documento: documento electrónico Autores: Bruel, Jean-Michel, ; Mazzara, Manuel, ; Meyer, Bertrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 211 p. 72 ilustraciones, 52 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-39306-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Software de la aplicacion Ordenadores IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Entornos informáticos Clasificación: 005.1 Resumen: Este libro constituye una selección revisada de artÃculos del Segundo Taller Internacional sobre Aspectos de la IngenierÃa de Software del Desarrollo Continuo y Nuevos Paradigmas de Producción e Implementación de Software, DEVOPS 2019, celebrado en el Château de Villebrumier, Francia, en mayo de 2019. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 19 presentaciones. Cubren una amplia gama de problemas que surgen de DevOps y enfoques relacionados: herramientas actuales, procesos rápidos de desarrollo-implementación, marcos de modelado, detección de anomalÃas en lanzamientos de software, DevDataOps, microservicios y temas relacionados. Nota de contenido: Teaching DevOps in Academia and Industry: Reflections and Vision -- A Model-Driven Approach Towards Automatic Migration to Microservices -- Anomaly Detection in DevOps Toolchain -- From DevOps to DevDataOps: Data Management in DevOps processes -- Exploiting agile practices to teach Computational Thinking -- Towards a Model-Based DevOps for Cyber-Physical Systems -- A DevOps Perspective for QoS-aware Adaptive Applications -- Learning agility from dancers { experience and lesson learnt -- Development and Operation of Trustworthy Smart IoT Systems: The ENACT Framework -- Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case -- Towards Designing Smart Learning Environments with IoT -- Opunit: Sanity Checks for Computing Environments -- Towards Bridging the Value Gap in DevOps -- ArchiMate as a Specification Language for Big Data Applications - DataBio Example -- Fallacies and Pitfalls on the road to DevOps: a Longitudinal Industrial Study. Tipo de medio : Computadora Summary : This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier, France, in May 2019. The 15 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover a wide range of problems arising from DevOps and related approaches: current tools, rapid development-deployment processes, modeling frameworks, anomaly detection in software releases, DevDataOps, microservices, and related topics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / [documento electrónico] / Bruel, Jean-Michel, ; Mazzara, Manuel, ; Meyer, Bertrand, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 211 p. 72 ilustraciones, 52 ilustraciones en color.
ISBN : 978-3-030-39306-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Software de la aplicacion Ordenadores IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Entornos informáticos Clasificación: 005.1 Resumen: Este libro constituye una selección revisada de artÃculos del Segundo Taller Internacional sobre Aspectos de la IngenierÃa de Software del Desarrollo Continuo y Nuevos Paradigmas de Producción e Implementación de Software, DEVOPS 2019, celebrado en el Château de Villebrumier, Francia, en mayo de 2019. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 19 presentaciones. Cubren una amplia gama de problemas que surgen de DevOps y enfoques relacionados: herramientas actuales, procesos rápidos de desarrollo-implementación, marcos de modelado, detección de anomalÃas en lanzamientos de software, DevDataOps, microservicios y temas relacionados. Nota de contenido: Teaching DevOps in Academia and Industry: Reflections and Vision -- A Model-Driven Approach Towards Automatic Migration to Microservices -- Anomaly Detection in DevOps Toolchain -- From DevOps to DevDataOps: Data Management in DevOps processes -- Exploiting agile practices to teach Computational Thinking -- Towards a Model-Based DevOps for Cyber-Physical Systems -- A DevOps Perspective for QoS-aware Adaptive Applications -- Learning agility from dancers { experience and lesson learnt -- Development and Operation of Trustworthy Smart IoT Systems: The ENACT Framework -- Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case -- Towards Designing Smart Learning Environments with IoT -- Opunit: Sanity Checks for Computing Environments -- Towards Bridging the Value Gap in DevOps -- ArchiMate as a Specification Language for Big Data Applications - DataBio Example -- Fallacies and Pitfalls on the road to DevOps: a Longitudinal Industrial Study. Tipo de medio : Computadora Summary : This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier, France, in May 2019. The 15 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover a wide range of problems arising from DevOps and related approaches: current tools, rapid development-deployment processes, modeling frameworks, anomaly detection in software releases, DevDataOps, microservices, and related topics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies: Applications and Foundations / Mazzara, Manuel ; Ober, Iulian ; Salaün, Gwen
PermalinkSoftware Technology: Methods and Tools / Mazzara, Manuel ; Bruel, Jean-Michel ; Meyer, Bertrand ; Petrenko, Alexander
Permalink