Información del autor
Autor Steffen, Bernhard |
Documentos disponibles escritos por este autor (14)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Computing and Software Science : State of the Art and Perspectives Tipo de documento: documento electrónico Autores: Steffen, Bernhard, ; Woeginger, Gerhard, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIX, 590 p. 774 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-91908-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: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Computadoras digitales electrónicas Algoritmos Inteligencia artificial Compiladores e intérpretes Rendimiento y evaluación del sistema Clasificación: 4 Resumen: Los artÃculos de este volumen se centran en los aspectos fundamentales de la informática, el origen temático y el bastión de LNCS, bajo el tÃtulo "Computación y ciencia del software: estado del arte y perspectivas". Están organizados en dos partes: La primera parte, Computación y Complejidad, presenta una colección de artÃculos expositivos sobre temas de moda en algorÃtmica, optimización y complejidad. La segunda parte, Métodos, lenguajes y herramientas para el desarrollo de sistemas futuros, tiene como objetivo esbozar la evolución metodológica que ayuda a garantizar que los sistemas futuros cumplan con sus requisitos cada vez más crÃticos. El CapÃtulo 3 está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Tipo de medio : Computadora Summary : The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "Computing and Software Science: State of the Art and Perspectives". They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 is 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 [...] Computing and Software Science : State of the Art and Perspectives [documento electrónico] / Steffen, Bernhard, ; Woeginger, Gerhard, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIX, 590 p. 774 ilustraciones, 54 ilustraciones en color.
ISBN : 978-3-319-91908-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: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Computadoras digitales electrónicas Algoritmos Inteligencia artificial Compiladores e intérpretes Rendimiento y evaluación del sistema Clasificación: 4 Resumen: Los artÃculos de este volumen se centran en los aspectos fundamentales de la informática, el origen temático y el bastión de LNCS, bajo el tÃtulo "Computación y ciencia del software: estado del arte y perspectivas". Están organizados en dos partes: La primera parte, Computación y Complejidad, presenta una colección de artÃculos expositivos sobre temas de moda en algorÃtmica, optimización y complejidad. La segunda parte, Métodos, lenguajes y herramientas para el desarrollo de sistemas futuros, tiene como objetivo esbozar la evolución metodológica que ayuda a garantizar que los sistemas futuros cumplan con sus requisitos cada vez más crÃticos. El CapÃtulo 3 está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Tipo de medio : Computadora Summary : The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "Computing and Software Science: State of the Art and Perspectives". They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 is 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 [...] Leveraging Applications of Formal Methods, Verification and Validation / Margaria, Tiziana ; Steffen, Bernhard
TÃtulo : Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / 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: 2021 Número de páginas: XII, 504 p. 124 ilustraciones, 71 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-89159-6 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 Inteligencia artificial Programación de computadoras Compiladores (programas informáticos) Software de la aplicacion Técnicas de programación Compiladores e intérpretes Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye contribuciones de los eventos asociados a ISOLA 2021. En total, ISoLA 2021 comprende contribuciones de las actas originalmente previstas para ISoLA 2020 recopiladas en 4 volúmenes, LNCS 12476: Principios de verificación, LNCS 12477: Principios de ingenierÃa, LNCS 12478: Aplicaciones y LNCS 12479: Herramientas y tendencias. Las contribuciones incluidas en este volumen se organizaron en las siguientes secciones temáticas: 6ª Escuela Internacional de IngenierÃa Rigurosa de Sistemas de Software basada en Herramientas; Pista Industrial; Programación: ¿Qué sigue? Herramientas de verificación de software; IngenierÃa Rigurosa de Sistemas Adaptativos Colectivos. . Nota de contenido: STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Codeis Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP. Tipo de medio : Computadora Summary : This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 504 p. 124 ilustraciones, 71 ilustraciones en color.
ISBN : 978-3-030-89159-6
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 Inteligencia artificial Programación de computadoras Compiladores (programas informáticos) Software de la aplicacion Técnicas de programación Compiladores e intérpretes Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye contribuciones de los eventos asociados a ISOLA 2021. En total, ISoLA 2021 comprende contribuciones de las actas originalmente previstas para ISoLA 2020 recopiladas en 4 volúmenes, LNCS 12476: Principios de verificación, LNCS 12477: Principios de ingenierÃa, LNCS 12478: Aplicaciones y LNCS 12479: Herramientas y tendencias. Las contribuciones incluidas en este volumen se organizaron en las siguientes secciones temáticas: 6ª Escuela Internacional de IngenierÃa Rigurosa de Sistemas de Software basada en Herramientas; Pista Industrial; Programación: ¿Qué sigue? Herramientas de verificación de software; IngenierÃa Rigurosa de Sistemas Adaptativos Colectivos. . Nota de contenido: STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Codeis Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP. Tipo de medio : Computadora Summary : This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, 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: 2020 Número de páginas: XV, 490 p. 840 ilustraciones, 83 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-61467-6 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 TeorÃa de las máquinas Inteligencia artificial Computadoras Propósitos especiales Sistemas informáticos Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Clasificación: 005.1 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: Reliable Smart Contracts - Track Introduction -- Functional Verification of Smart Contracts via Strong Data Integrity -- Bitcoin covenants unchained -- Specifying Framing Conditions for Smart Contracts -- Making Tezos smart contracts more reliable with Coq -- UTxO- vs account-based smart contract blockchain programming paradigms -- Native Custom Tokens in the Extended UTXO Model -- UTXOma: UTXO with Multi-Asset Support -- Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification & Run-time Efficiency in Juvix -- Efficient static analysis of Marlowe contracts -- Accurate Smart Contract Verification through Direct Modelling -- Smart Derivatives: On-chain Forwards for Digital Assets -- The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts -- Automated Verification of Embedded Control Software - Track Introduction -- Model-Based Design, Verification and Deployment of Railway Interlocking System -- Guess What I'm Doing! Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems -- On the Industrial Application of Critical Software Verification with VerCors -- A Concept of Scenario Space Exploration with Criticality Coverage Guarantees -- Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink -- Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-based Environment Modeling -- Formally Proving Compositionality in Industrial Systems with Informal Specifications -- Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems -- Formal methods for Distributed Computing in future Railway systems -- Ensuring Safety with System Level Formal Modelling -- A modular design framework to assess intelligent trains -- Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL -- New Distribution Paradigms for Railway Interlocking -- Model Checking a Distributed Interlocking System Using k-induction with RT-Tester -- Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. Tipo de medio : Computadora Summary : The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard, . - 1 ed. . - [s.l.] : Springer, 2020 . - XV, 490 p. 840 ilustraciones, 83 ilustraciones en color.
ISBN : 978-3-030-61467-6
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 TeorÃa de las máquinas Inteligencia artificial Computadoras Propósitos especiales Sistemas informáticos Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Clasificación: 005.1 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: Reliable Smart Contracts - Track Introduction -- Functional Verification of Smart Contracts via Strong Data Integrity -- Bitcoin covenants unchained -- Specifying Framing Conditions for Smart Contracts -- Making Tezos smart contracts more reliable with Coq -- UTxO- vs account-based smart contract blockchain programming paradigms -- Native Custom Tokens in the Extended UTXO Model -- UTXOma: UTXO with Multi-Asset Support -- Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification & Run-time Efficiency in Juvix -- Efficient static analysis of Marlowe contracts -- Accurate Smart Contract Verification through Direct Modelling -- Smart Derivatives: On-chain Forwards for Digital Assets -- The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts -- Automated Verification of Embedded Control Software - Track Introduction -- Model-Based Design, Verification and Deployment of Railway Interlocking System -- Guess What I'm Doing! Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems -- On the Industrial Application of Critical Software Verification with VerCors -- A Concept of Scenario Space Exploration with Criticality Coverage Guarantees -- Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink -- Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-based Environment Modeling -- Formally Proving Compositionality in Industrial Systems with Informal Specifications -- Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems -- Formal methods for Distributed Computing in future Railway systems -- Ensuring Safety with System Level Formal Modelling -- A modular design framework to assess intelligent trains -- Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL -- New Distribution Paradigms for Railway Interlocking -- Model Checking a Distributed Interlocking System Using k-induction with RT-Tester -- Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. Tipo de medio : Computadora Summary : The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
PermalinkPermalinkPermalink
Permalink
Permalink
