Información del autor
Autor Dongol, Brijesh |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / Dongol, Brijesh ; Troubitsyna, Elena
TÃtulo : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Troubitsyna, Elena, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-63461-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings [documento electrónico] / Dongol, Brijesh, ; Troubitsyna, Elena, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color.
ISBN : 978-3-030-63461-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-32441-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: TeorÃa de las máquinas Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings [documento electrónico] / Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color.
ISBN : 978-3-030-32441-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I Tipo de documento: documento electrónico Autores: Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 523 p. 398 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54994-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software Computadoras Propósitos especiales Ciencias de la Computación Sistemas informáticos Inteligencia artificial Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I [documento electrónico] / Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 523 p. 398 ilustraciones, 98 ilustraciones en color.
ISBN : 978-3-030-54994-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Computadoras Propósitos especiales Ciencias de la Computación Sistemas informáticos Inteligencia artificial Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II Tipo de documento: documento electrónico Autores: Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 575 p. 605 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54997-8 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: Ciencias de la Computación Inteligencia artificial IngenierÃa de software Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II [documento electrónico] / Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 575 p. 605 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-54997-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Inteligencia artificial IngenierÃa de software Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Engineering for Robotics Tipo de documento: documento electrónico Autores: Cavalcanti, Ana, ; Dongol, Brijesh, ; Hierons, Rob, ; Timmis, Jon, ; Woodcock, Jim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XX, 483 p. 184 ilustraciones, 154 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-66494-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software IngenierÃa de control Robótica Automatización Control Clasificación: Resumen: Los temas cubiertos en este libro van desde lenguajes y entornos de modelado y programación, pasando por enfoques de diseño y verificación, hasta cuestiones de ética y regulación. En términos de técnicas, hay resultados sobre ingenierÃa basada en modelos, lÃneas de productos, especificación de misión, desarrollo basado en componentes, simulación, pruebas y pruebas. Las aplicaciones van desde robots de fabricación hasta servicios, vehÃculos autónomos e incluso robots que evolucionan en el mundo real. Un capÃtulo final resume cuestiones sobre ética y regulación basadas en discusiones de un panel de expertos. El origen de este libro es un evento de dos dÃas, titulado RoboSoft, que tuvo lugar en noviembre de 2019 en Londres. Organizado con el generoso apoyo de la Real Academia de IngenierÃa y la Universidad de York, Reino Unido, RoboSoft reunió a más de 100 cientÃficos, ingenieros y profesionales de todo el mundo, en representación de 70 instituciones internacionales. El público objetivo incluye investigadores y profesionales con todos los niveles de experiencia interesados ​​en trabajar en el área de la robótica y la ingenierÃa de software en general. Todos los capÃtulos son independientes, incluyen explicaciones de los conceptos centrales y terminan con una discusión de las instrucciones para el trabajo futuro. Los capÃtulos ''Hacia la evolución de los robots autónomos'', ''Composición, separación de roles y enfoques basados ​​en modelos como facilitadores de un ecosistema de software de robótica'' y ''AutonomÃa verificable y robótica responsable'' están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de un enlace. springer.com. Nota de contenido: Software Product Line Engineering for Robotics -- Towards Autonomous Robot Evolution -- Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem -- Testing Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems -- Robot Accident Investigation: A Case Study in Responsible Robotics -- Verifiable Autonomy and Responsible Robotics -- Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach? -- RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing -- CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems -- Mutation Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology: Modelling Uncertainty in RoboChart using Probability -- Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering for Robotics [documento electrónico] / Cavalcanti, Ana, ; Dongol, Brijesh, ; Hierons, Rob, ; Timmis, Jon, ; Woodcock, Jim, . - 1 ed. . - [s.l.] : Springer, 2021 . - XX, 483 p. 184 ilustraciones, 154 ilustraciones en color.
ISBN : 978-3-030-66494-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software IngenierÃa de control Robótica Automatización Control Clasificación: Resumen: Los temas cubiertos en este libro van desde lenguajes y entornos de modelado y programación, pasando por enfoques de diseño y verificación, hasta cuestiones de ética y regulación. En términos de técnicas, hay resultados sobre ingenierÃa basada en modelos, lÃneas de productos, especificación de misión, desarrollo basado en componentes, simulación, pruebas y pruebas. Las aplicaciones van desde robots de fabricación hasta servicios, vehÃculos autónomos e incluso robots que evolucionan en el mundo real. Un capÃtulo final resume cuestiones sobre ética y regulación basadas en discusiones de un panel de expertos. El origen de este libro es un evento de dos dÃas, titulado RoboSoft, que tuvo lugar en noviembre de 2019 en Londres. Organizado con el generoso apoyo de la Real Academia de IngenierÃa y la Universidad de York, Reino Unido, RoboSoft reunió a más de 100 cientÃficos, ingenieros y profesionales de todo el mundo, en representación de 70 instituciones internacionales. El público objetivo incluye investigadores y profesionales con todos los niveles de experiencia interesados ​​en trabajar en el área de la robótica y la ingenierÃa de software en general. Todos los capÃtulos son independientes, incluyen explicaciones de los conceptos centrales y terminan con una discusión de las instrucciones para el trabajo futuro. Los capÃtulos ''Hacia la evolución de los robots autónomos'', ''Composición, separación de roles y enfoques basados ​​en modelos como facilitadores de un ecosistema de software de robótica'' y ''AutonomÃa verificable y robótica responsable'' están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de un enlace. springer.com. Nota de contenido: Software Product Line Engineering for Robotics -- Towards Autonomous Robot Evolution -- Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem -- Testing Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems -- Robot Accident Investigation: A Case Study in Responsible Robotics -- Verifiable Autonomy and Responsible Robotics -- Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach? -- RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing -- CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems -- Mutation Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology: Modelling Uncertainty in RoboChart using Probability -- Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
