Dependable Software Engineering. Theories, Tools, and Applications / Qin, Shengchao ; Woodcock, Jim ; Zhang, Wenhui  

Público ISBD Ningún comentario para este registro. Título : Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Qin, Shengchao, ; Woodcock, Jim, ; Zhang, Wenhui, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 321 p. 108 ilustraciones, 79 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-91265-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  Inteligencia artificial  Ingeniería Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye las actas del Séptimo Simposio Internacional sobre Ingeniería de Software Confiable, SETTA 2021, celebrado en Beijing, China, en noviembre de 2021. Los 16 artículos completos de este volumen fueron cuidadosamente revisados ​​y seleccionados entre 39 presentaciones, y se presentan con 3 resúmenes. de discursos de apertura. Se ocupan de los resultados de las investigaciones más recientes y de ideas sobre cómo cerrar la brecha entre los métodos formales y la ingeniería de software. Nota de contenido: Systems Development -- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization -- DeepGlobal: a Global Robustness Verifiable FNN Framework -- Leveraging Event-B Theories for handling domain knowledge in design models -- Program Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed Systems via Mergeable Parallelism -- Testing and Fault Detection -- Mutation Testing of Reinforcement Learning Systems -- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism -- MC/DC Test Cases Generation based on BDDs -- Software Quality -- Predicting and Monitoring Bug-proneness at The Feature Level -- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum -- A Distributed Simplex Architecture for Multi-Agent Systems -- Satisfiability, Reachability and Model Checking -- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations -- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas -- API Usage Pattern Search Based on Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / [documento electrónico] / Qin, Shengchao, ; Woodcock, Jim, ; Zhang, Wenhui,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XIII, 321 p. 108 ilustraciones, 79 ilustraciones en color. ISBN : 978-3-030-91265-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  Inteligencia artificial  Ingeniería Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye las actas del Séptimo Simposio Internacional sobre Ingeniería de Software Confiable, SETTA 2021, celebrado en Beijing, China, en noviembre de 2021. Los 16 artículos completos de este volumen fueron cuidadosamente revisados ​​y seleccionados entre 39 presentaciones, y se presentan con 3 resúmenes. de discursos de apertura. Se ocupan de los resultados de las investigaciones más recientes y de ideas sobre cómo cerrar la brecha entre los métodos formales y la ingeniería de software. Nota de contenido: Systems Development -- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization -- DeepGlobal: a Global Robustness Verifiable FNN Framework -- Leveraging Event-B Theories for handling domain knowledge in design models -- Program Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed Systems via Mergeable Parallelism -- Testing and Fault Detection -- Mutation Testing of Reinforcement Learning Systems -- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism -- MC/DC Test Cases Generation based on BDDs -- Software Quality -- Predicting and Monitoring Bug-proneness at The Feature Level -- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum -- A Distributed Simplex Architecture for Multi-Agent Systems -- Satisfiability, Reachability and Model Checking -- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations -- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas -- API Usage Pattern Search Based on Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Software Engineering for Robotics / Cavalcanti, Ana ; Dongol, Brijesh ; Hierons, Rob ; Timmis, Jon ; Woodcock, Jim  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Ingeniería de control  Robótica  Automatización  Control Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. Theintended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 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. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Ingeniería de control  Robótica  Automatización  Control Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. Theintended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200