Título :	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
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, 530 p. 354 ilustraciones, 250 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-03427-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  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:	RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction) -- Opportunities and Challenges in Monitoring Cyber-physical Systems Security -- Migrating Monitors + ABE: A Suitable Combination for Secure IoT? -- Capturing Inter-Process Communication for Runtime Verification on Android -- Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design -- Flexible Monitor Deployment for Runtime Verification of Large Scale Software -- Increasing the Reusability of Enforcers with Lifecycle Events -- BDDs on the Run -- Verifying Real-World Software with Contracts for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing for Avionic Systems -- Proven Benefits and Further Challenges -- Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process -- Pitfalls in Applying Model Learning to Industrial Legacy Software -- Formal Verification in Automotive Industry: Enablers and Obstacles -- Scalability of Deductive Verification Depends on Method Call Treatment -- Java Automated Deductive Verification in Practice: Lessons from industrial proof-based projects -- Security Filters for IoT Domain Isolation -- 20 Years of Uppaal Enabled Industrial Model-Based Validation and Beyond -- Verification of Operating System Monolithic Kernels without Extensions -- A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods -- Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions -- Smart Contracts and Opportunities for Formal Methods -- Contracts over Smart Contracts: Recovering from Violations Dynamically -- Security Analysis of Smart Contracts in Datalog -- Temporal Properties of Smart Contracts -- Temporal Aspects of Smart Contracts for Financial Derivatives -- Marlowe: financial contracts on blockchain -- SMT-based Verification of Solidity Smart Contracts -- Blockchains as Kripke Models: an Analysis of Atomic Cross-Chain Swap -- A Language-Independent Approach To Smart Contract Verification -- Towards Adding Variety to Simplicity -- Fun with Bitcoin smart contracts -- Computing Exact Worst-Case Gas Consumption for Smart Contracts -- Digital Transformation Trends: Industry 4.0, Automation, and AI -- A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways -- Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic -- GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.
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. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIV, 530 p. 354 ilustraciones, 250 ilustraciones en color.
ISBN : 978-3-030-03427-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  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:	RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction) -- Opportunities and Challenges in Monitoring Cyber-physical Systems Security -- Migrating Monitors + ABE: A Suitable Combination for Secure IoT? -- Capturing Inter-Process Communication for Runtime Verification on Android -- Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design -- Flexible Monitor Deployment for Runtime Verification of Large Scale Software -- Increasing the Reusability of Enforcers with Lifecycle Events -- BDDs on the Run -- Verifying Real-World Software with Contracts for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing for Avionic Systems -- Proven Benefits and Further Challenges -- Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process -- Pitfalls in Applying Model Learning to Industrial Legacy Software -- Formal Verification in Automotive Industry: Enablers and Obstacles -- Scalability of Deductive Verification Depends on Method Call Treatment -- Java Automated Deductive Verification in Practice: Lessons from industrial proof-based projects -- Security Filters for IoT Domain Isolation -- 20 Years of Uppaal Enabled Industrial Model-Based Validation and Beyond -- Verification of Operating System Monolithic Kernels without Extensions -- A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods -- Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions -- Smart Contracts and Opportunities for Formal Methods -- Contracts over Smart Contracts: Recovering from Violations Dynamically -- Security Analysis of Smart Contracts in Datalog -- Temporal Properties of Smart Contracts -- Temporal Aspects of Smart Contracts for Financial Derivatives -- Marlowe: financial contracts on blockchain -- SMT-based Verification of Solidity Smart Contracts -- Blockchains as Kripke Models: an Analysis of Atomic Cross-Chain Swap -- A Language-Independent Approach To Smart Contract Verification -- Towards Adding Variety to Simplicity -- Fun with Bitcoin smart contracts -- Computing Exact Worst-Case Gas Consumption for Smart Contracts -- Digital Transformation Trends: Industry 4.0, Automation, and AI -- A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways -- Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic -- GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.
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