Autor Meyer, Bertrand
|
|
Documentos disponibles escritos por este autor (6)
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 Construcción de software orientado a objetos / Meyer, Bertrand
Título : Construcción de software orientado a objetos Tipo de documento: texto impreso Autores: Meyer, Bertrand, Autor Mención de edición: 2 ed Editorial: Madrid [España] : Prentice Hall Fecha de publicación: 1999 Número de páginas: xl, 1198 p 1 Material de acompañamiento: cd-rom ISBN/ISSN/DL: 978-84-8322-040-5 Idioma : Español (spa) Palabras clave: Programación (Computadores electrónicos) Programación orientada a objetos (Computadores) Ingeniería de software Programas para computador Diseño Índice Dewey: 005 Ciencia de los computadores (Programación, programas, datos de computador) Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Construcción de software orientado a objetos [texto impreso] / Meyer, Bertrand, Autor . - 2 ed . - Madrid [España] : Prentice Hall, 1999 . - xl, 1198 p 1 + cd-rom.
ISBN : 978-84-8322-040-5
Idioma : Español (spa)
Palabras clave: Programación (Computadores electrónicos) Programación orientada a objetos (Computadores) Ingeniería de software Programas para computador Diseño Índice Dewey: 005 Ciencia de los computadores (Programación, programas, datos de computador) Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Reserva
Reservar este documento
Ejemplares(2)
Código de barras Ubicación Ver Signatura Tipo de medio Ubicación Estado Estado 27766 005.133 / M612c Ej04 Libro Impreso Biblioteca Principal En circulación Disponible E003B4 E003 34544 005.133 / M612c Ej06 Libro Impreso Biblioteca Principal En circulación Disponible E003B4 E003
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
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
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
Permalink
