Título :	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
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:	2020
Número de páginas:	XV, 544 p. 791 ilustraciones, 658 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-61470-6
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  Ciencias de la Computación  Inteligencia artificial  Sistemas informáticos  Lógica informática y fundamentos de la programación  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de tres volúmenes LNCS 12476 - 12478 constituye las actas arbitradas del 9.º Simposio internacional sobre el aprovechamiento de aplicaciones de métodos formales, ISoLA 2020, que estaba previsto que se llevara a cabo del 20 al 30 de octubre de 2020 en Rodas, Grecia. El evento en sí se pospuso hasta 2021 debido a la pandemia de COVID-19. 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, Principios de verificación: modularidad y (des)composición en la verificación; X por construcción: la corrección se encuentra con la probabilidad; 30 años de verificación de modelos estadísticos; Verificación y Validación de Sistemas Concurrentes y Distribuidos. Parte II, Principios de ingeniería: Automatización de la reingeniería del software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. Parte III, Aplicaciones: Contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; Verificación automatizada del software de control integrado; Métodos formales para la Computación Distribuida en futuros sistemas FERROVIARIOS. .
Nota de contenido:	Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track) -- Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing -- Modular Regression Verification for Reactive Systems -- Finding Idioms in Source Code using Subtree Counting Techniques -- Parametric Timed Bisimulation -- A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations -- Thirty-seven years of relational Hoare logic: remarks on its principles and history -- Safer Parallelization -- Refactoring and Active Object Languages -- Rigorous Engineering of Collective Adaptive Systems -- Introduction to the 3rd Track Edition -- Composition of Component Models - a Key to Construct Big Systems -- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles -- Engineering semantic self-composition of services through tuple-based coordination -- A Dynamic Logic for Systems with Predicate-based Communication -- Behavioural Abstractions for Collective AdaptiveSystems -- Verifying AbC specifications via emulation -- Adaptive Security Policies -- Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns -- Guaranteeing Type Consistency in Collective Adaptive Systems -- Epistemic Logic in Ensemble Specification -- FScaFi: a Core Calculus for Collective Adaptive Systems Programming -- Writing Robotics Applications with X-Klaim -- Measuring Adaptability and Reliability of Large Scaled Systems -- Centrality-preserving exact reductions of Multi-Layer Networks -- Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification -- Forming Ensembles at Runtime: A Machine Learning Approach -- Synthesizing Control for a System with Black Box Environment, based on Deep Learning -- A Formal Model For Reasoning About The Ideal Fitness In Evolutionary Processes -- A case study of policy synthesis for swarm robotics. -- Maple-Swarm: Programming Collective Behavior for Ensembles by extending HTN-Planning -- Swarm and Collective Capabilities for Multipotent Robot Ensembles.
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

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XV, 544 p. 791 ilustraciones, 658 ilustraciones en color.
ISBN : 978-3-030-61470-6
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  Ciencias de la Computación  Inteligencia artificial  Sistemas informáticos  Lógica informática y fundamentos de la programación  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de tres volúmenes LNCS 12476 - 12478 constituye las actas arbitradas del 9.º Simposio internacional sobre el aprovechamiento de aplicaciones de métodos formales, ISoLA 2020, que estaba previsto que se llevara a cabo del 20 al 30 de octubre de 2020 en Rodas, Grecia. El evento en sí se pospuso hasta 2021 debido a la pandemia de COVID-19. 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, Principios de verificación: modularidad y (des)composición en la verificación; X por construcción: la corrección se encuentra con la probabilidad; 30 años de verificación de modelos estadísticos; Verificación y Validación de Sistemas Concurrentes y Distribuidos. Parte II, Principios de ingeniería: Automatización de la reingeniería del software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. Parte III, Aplicaciones: Contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; Verificación automatizada del software de control integrado; Métodos formales para la Computación Distribuida en futuros sistemas FERROVIARIOS. .
Nota de contenido:	Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track) -- Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing -- Modular Regression Verification for Reactive Systems -- Finding Idioms in Source Code using Subtree Counting Techniques -- Parametric Timed Bisimulation -- A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations -- Thirty-seven years of relational Hoare logic: remarks on its principles and history -- Safer Parallelization -- Refactoring and Active Object Languages -- Rigorous Engineering of Collective Adaptive Systems -- Introduction to the 3rd Track Edition -- Composition of Component Models - a Key to Construct Big Systems -- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles -- Engineering semantic self-composition of services through tuple-based coordination -- A Dynamic Logic for Systems with Predicate-based Communication -- Behavioural Abstractions for Collective AdaptiveSystems -- Verifying AbC specifications via emulation -- Adaptive Security Policies -- Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns -- Guaranteeing Type Consistency in Collective Adaptive Systems -- Epistemic Logic in Ensemble Specification -- FScaFi: a Core Calculus for Collective Adaptive Systems Programming -- Writing Robotics Applications with X-Klaim -- Measuring Adaptability and Reliability of Large Scaled Systems -- Centrality-preserving exact reductions of Multi-Layer Networks -- Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification -- Forming Ensembles at Runtime: A Machine Learning Approach -- Synthesizing Control for a System with Black Box Environment, based on Deep Learning -- A Formal Model For Reasoning About The Ideal Fitness In Evolutionary Processes -- A case study of policy synthesis for swarm robotics. -- Maple-Swarm: Programming Collective Behavior for Ensembles by extending HTN-Planning -- Swarm and Collective Capabilities for Multipotent Robot Ensembles.
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