| TÃtulo : |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III |
| Tipo de documento: |
documento electrónico |
| Autores: |
Margaria, Tiziana, ; Steffen, Bernhard, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XIV, 522 p. 345 ilustraciones, 272 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-03424-5 |
| 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) Inteligencia artificial Ciencias de la Computación IngenierÃa Informática Red de computadoras Ordenadores Profesiones Compiladores e intérpretes TeorÃa de la Computación IngenierÃa Informática y Redes La profesión informática |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
El conjunto de cuatro volúmenes LNCS 11244, 11245, 11246 y 11247 constituye las actas arbitradas del 8º Simposio Internacional sobre Aprovechamiento de Aplicaciones de Métodos Formales, Verificación y Validación, ISoLA 2018, celebrado en Limassol, Chipre, en octubre/noviembre de 2018. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con tÃtulos de secciones temáticas dentro del volumen: Parte I, Modelado: hacia una visión unificada del modelado y la programación; X-by-construction, STRESS 2018. Parte II, Verificación: Una visión más amplia de la verificación: de la estática al tiempo de ejecución y viceversa; evaluación de herramientas para la verificación de software; verificación de modelos estadÃsticos; RERS 2018; simposio doctoral. Parte III, Sistemas Distribuidos: ingenierÃa rigurosa de sistemas adaptativos colectivos; verificación y validación de sistemas distribuidos; e ingenierÃa de sistemas ciberfÃsicos. Parte IV, Práctica Industrial: verificación en tiempo de ejecución desde la teorÃa a la práctica industrial; métodos formales en la práctica industrial: cerrar la brecha; contratos inteligentes confiables: estado del arte, aplicaciones, desafÃos y direcciones futuras; y dÃa industrial. . |
| Nota de contenido: |
Rigorous Engineering of Collective Adaptive Systems - Introduction to the 2nd Track Edition -- DReAM: Dynamic Reconfigurable Architecture Modeling -- Dynamic Logic for Ensembles -- Modelling the Transition to Distributed Ledgers -- Collective Adaptive Socio-Technical System for Remote- and Self-Supervised Exercise in the Treatment of Intermittent Claudication -- Engineering Collectives of Self-driving Vehicles: the SOTA Approach -- Synthesizing Capabilities for Collective Adaptive Systems from Self-Descriptive Hardware Devices – Bridging the Reality Gap -- The Meaning of Adaptation: Mastering the Unforeseen? -- Mutation-based Test Suite Evolution For Self-Organizing Systems -- Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm -- Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach -- Dynamic Security Specification through Autonomic Component Ensembles -- Differential Equivalence yields Network Centrality -- Measuring and Evaluating the Performance of Self-Organization Mechanisms within Collective Adaptive Systems -- Engineering Sustainable and Adaptive Systems in Dynamic Environments -- The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents -- Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems -- Data-driven modelling and simulation of urban transportation systems using Carma -- GoAt: Attribute-based Interaction in Google Go -- Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP -- ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction -- ByMC: Byzantine Model Checker -- Static code verification through process models -- Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems -- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons -- Cyber-Physical Systems Engineering: An Introduction -- Intelligent Adaption Process in Cyber-Physical Production Systems (CPPS) -- Model-Based Systems Engineering for Systems Simulation -- Scenario-based validation of automated driving systems -- Engineering of Cyber-Physical Systems in the automotive context: case study of a range prediction assistant -- Testing Avionics Software: Is FMI up to the Task? -- Lessons Learned Using FMI Co-Simulation for Model-based Design of Cyber Physical Systems -- Co-simulation: the Past, Future, and Open Challenges. |
| 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 |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 522 p. 345 ilustraciones, 272 ilustraciones en color. ISBN : 978-3-030-03424-5 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) Inteligencia artificial Ciencias de la Computación IngenierÃa Informática Red de computadoras Ordenadores Profesiones Compiladores e intérpretes TeorÃa de la Computación IngenierÃa Informática y Redes La profesión informática |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
El conjunto de cuatro volúmenes LNCS 11244, 11245, 11246 y 11247 constituye las actas arbitradas del 8º Simposio Internacional sobre Aprovechamiento de Aplicaciones de Métodos Formales, Verificación y Validación, ISoLA 2018, celebrado en Limassol, Chipre, en octubre/noviembre de 2018. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con tÃtulos de secciones temáticas dentro del volumen: Parte I, Modelado: hacia una visión unificada del modelado y la programación; X-by-construction, STRESS 2018. Parte II, Verificación: Una visión más amplia de la verificación: de la estática al tiempo de ejecución y viceversa; evaluación de herramientas para la verificación de software; verificación de modelos estadÃsticos; RERS 2018; simposio doctoral. Parte III, Sistemas Distribuidos: ingenierÃa rigurosa de sistemas adaptativos colectivos; verificación y validación de sistemas distribuidos; e ingenierÃa de sistemas ciberfÃsicos. Parte IV, Práctica Industrial: verificación en tiempo de ejecución desde la teorÃa a la práctica industrial; métodos formales en la práctica industrial: cerrar la brecha; contratos inteligentes confiables: estado del arte, aplicaciones, desafÃos y direcciones futuras; y dÃa industrial. . |
| Nota de contenido: |
Rigorous Engineering of Collective Adaptive Systems - Introduction to the 2nd Track Edition -- DReAM: Dynamic Reconfigurable Architecture Modeling -- Dynamic Logic for Ensembles -- Modelling the Transition to Distributed Ledgers -- Collective Adaptive Socio-Technical System for Remote- and Self-Supervised Exercise in the Treatment of Intermittent Claudication -- Engineering Collectives of Self-driving Vehicles: the SOTA Approach -- Synthesizing Capabilities for Collective Adaptive Systems from Self-Descriptive Hardware Devices – Bridging the Reality Gap -- The Meaning of Adaptation: Mastering the Unforeseen? -- Mutation-based Test Suite Evolution For Self-Organizing Systems -- Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm -- Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach -- Dynamic Security Specification through Autonomic Component Ensembles -- Differential Equivalence yields Network Centrality -- Measuring and Evaluating the Performance of Self-Organization Mechanisms within Collective Adaptive Systems -- Engineering Sustainable and Adaptive Systems in Dynamic Environments -- The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents -- Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems -- Data-driven modelling and simulation of urban transportation systems using Carma -- GoAt: Attribute-based Interaction in Google Go -- Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP -- ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction -- ByMC: Byzantine Model Checker -- Static code verification through process models -- Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems -- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons -- Cyber-Physical Systems Engineering: An Introduction -- Intelligent Adaption Process in Cyber-Physical Production Systems (CPPS) -- Model-Based Systems Engineering for Systems Simulation -- Scenario-based validation of automated driving systems -- Engineering of Cyber-Physical Systems in the automotive context: case study of a range prediction assistant -- Testing Avionics Software: Is FMI up to the Task? -- Lessons Learned Using FMI Co-Simulation for Model-based Design of Cyber Physical Systems -- Co-simulation: the Past, Future, and Open Challenges. |
| 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 |
|  |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
