Autor Mazzara, Manuel
|
|
Documentos disponibles escritos por este autor (7)
Hacer una sugerencia Refinar búsqueda51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / Mazzara, Manuel ; Bruel, Jean-Michel ; Meyer, Bertrand ; Petrenko, Alexander
![]()
TÃtulo : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings Tipo de documento: documento electrónico Autores: Mazzara, Manuel, ; Bruel, Jean-Michel, ; Meyer, Bertrand, ; Petrenko, Alexander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 420 p. 146 ilustraciones, 77 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29852-4 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 Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Computadoras Propósitos especiales Software de la aplicacion Rendimiento y evaluación del sistema La profesión informática Sistemas de propósito especial y basados ​​en aplicaciones Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 51.ª Conferencia Internacional sobre TecnologÃa de Software: Métodos y Herramientas, TOOLS 2019, celebrada en Innopolis, Rusia, en octubre de 2019. Los 19 artÃculos completos revisados ​​y los 13 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 62 presentaciones. Los artÃculos analizan todos los aspectos de la ingenierÃa de software y los lenguajes de programación; aprendizaje automático; Internet de las Cosas; arquitecturas informáticas de seguridad y robótica; y proyectos. Nota de contenido: Software Engineering and Programming Languages -- Machine Learning -- Internet of Things -- Security Computer Architectures and Robotics -- Projects. 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 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings [documento electrónico] / Mazzara, Manuel, ; Bruel, Jean-Michel, ; Meyer, Bertrand, ; Petrenko, Alexander, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 420 p. 146 ilustraciones, 77 ilustraciones en color.
ISBN : 978-3-030-29852-4
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 Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Computadoras Propósitos especiales Software de la aplicacion Rendimiento y evaluación del sistema La profesión informática Sistemas de propósito especial y basados ​​en aplicaciones Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 51.ª Conferencia Internacional sobre TecnologÃa de Software: Métodos y Herramientas, TOOLS 2019, celebrada en Innopolis, Rusia, en octubre de 2019. Los 19 artÃculos completos revisados ​​y los 13 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 62 presentaciones. Los artÃculos analizan todos los aspectos de la ingenierÃa de software y los lenguajes de programación; aprendizaje automático; Internet de las Cosas; arquitecturas informáticas de seguridad y robótica; y proyectos. Nota de contenido: Software Engineering and Programming Languages -- Machine Learning -- Internet of Things -- Security Computer Architectures and Robotics -- Projects. 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 First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / Bruel, Jean-Michel ; Capozucca, Alfredo ; Mazzara, Manuel ; Meyer, Bertrand ; Naumchev, Alexandr ; Sadovykh, Andrey
![]()
TÃtulo : 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. 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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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. Palabras clave: IngenierÃa de software Software de la aplicacion Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) 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!. 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 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.
Palabras clave: IngenierÃa de software Software de la aplicacion Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) 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!. 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 : 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. Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / Bruel, Jean-Michel ; Mazzara, Manuel ; Meyer, Bertrand
![]()
TÃtulo : 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. 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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment / Bruel, Jean-Michel ; Mazzara, Manuel ; Meyer, Bertrand
![]()
PermalinkSoftware Technologies: Applications and Foundations / Mazzara, Manuel ; Ober, Iulian ; Salaün, Gwen
![]()
Permalink

