Información del autor
Autor Ölveczky, Peter Csaba |
Documentos disponibles escritos por este autor (6)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: Londres [Inglaterra] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-1-4471-6687-0 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 Simulación por ordenador TeorÃa de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y caracterÃsticas: Introduce la especificación algebraica clásica y la teorÃa de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, asà como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafÃos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de lÃder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . Tipo de medio : Computadora Summary : This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: Introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties Covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy Provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges Examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms Contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques. Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude [documento electrónico] / Ölveczky, Peter Csaba, . - 1 ed. . - Londres [Inglaterra] : Springer, 2017 . - XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color.
ISBN : 978-1-4471-6687-0
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 Simulación por ordenador TeorÃa de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y caracterÃsticas: Introduce la especificación algebraica clásica y la teorÃa de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, asà como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafÃos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de lÃder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . Tipo de medio : Computadora Summary : This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: Introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties Covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy Provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges Examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms Contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques. Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Bae, Kyungmin, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 297 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-030-02146-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 Compiladores (programas informáticos) Programación de computadoras TeorÃa de las máquinas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artÃculos completos presentados junto con un resumen invitado y un artÃculo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / [documento electrónico] / Bae, Kyungmin, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 297 p. 83 ilustraciones.
ISBN : 978-3-030-02146-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 Compiladores (programas informáticos) Programación de computadoras TeorÃa de las máquinas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artÃculos completos presentados junto con un resumen invitado y un artÃculo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Artho, Cyrille, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 161 p. 40 ilustraciones ISBN/ISSN/DL: 978-3-319-53946-1 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) Simulación por ordenador Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora TeorÃa de la Computación Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas del 5º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 9 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 23 presentaciones. Los artÃculos están organizados en secciones temáticas sobre especificación y verificación; sistemas automotrices y ferroviarios; circuitos y sistemas ciberfÃsicos; verificación parametrizada. Nota de contenido: Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers [documento electrónico] / Artho, Cyrille, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 161 p. 40 ilustraciones.
ISBN : 978-3-319-53946-1
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) Simulación por ordenador Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora TeorÃa de la Computación Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas del 5º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 9 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 23 presentaciones. Los artÃculos están organizados en secciones temáticas sobre especificación y verificación; sistemas automotrices y ferroviarios; circuitos y sistemas ciberfÃsicos; verificación parametrizada. Nota de contenido: Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Artho, Cyrille, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 179 p. 293 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-12988-0 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) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2018, celebrado en Gold Coast, Australia, en noviembre de 2018. Los 10 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre análisis y verificación de sistemas crÃticos para la seguridad; análisis de sistemas cronometrados; semántica y métodos de análisis, y transformación de modelos. Nota de contenido: Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers [documento electrónico] / Artho, Cyrille, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 179 p. 293 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-12988-0
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) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2018, celebrado en Gold Coast, Australia, en noviembre de 2018. Los 10 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre análisis y verificación de sistemas crÃticos para la seguridad; análisis de sistemas cronometrados; semántica y métodos de análisis, y transformación de modelos. Nota de contenido: Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, ; Salaün, Gwen, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30446-1 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) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / [documento electrónico] / Ölveczky, Peter Csaba, ; Salaün, Gwen, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color.
ISBN : 978-3-030-30446-1
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) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
