Información del autor
Autor Wehrheim, Heike |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / Ahrendt, Wolfgang ; Wehrheim, Heike
TÃtulo : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings Tipo de documento: documento electrónico Autores: Ahrendt, Wolfgang, ; Wehrheim, Heike, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 181 p. 171 ilustraciones, 30 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-50995-8 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) Computadoras Propósitos especiales Sistemas informáticos Inteligencia artificial Compiladores e intérpretes Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2020, celebrada como parte del 4.º Congreso Mundial sobre Métodos Formales 2020, Bergen, Noruega, en junio de 2020. Los 7 artÃculos regulares, 1 artÃculo breve y 2 Los artÃculos de demostración presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 209 presentaciones. La conferencia TAP promueve la investigación en verificación y métodos formales que apuntan a la interacción de pruebas y pruebas: el avance de técnicas de cada tipo y su combinación, con el objetivo final de mejorar la confiabilidad del software y del sistema. Nota de contenido: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings [documento electrónico] / Ahrendt, Wolfgang, ; Wehrheim, Heike, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIII, 181 p. 171 ilustraciones, 30 ilustraciones en color.
ISBN : 978-3-030-50995-8
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) Computadoras Propósitos especiales Sistemas informáticos Inteligencia artificial Compiladores e intérpretes Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2020, celebrada como parte del 4.º Congreso Mundial sobre Métodos Formales 2020, Bergen, Noruega, en junio de 2020. Los 7 artÃculos regulares, 1 artÃculo breve y 2 Los artÃculos de demostración presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 209 presentaciones. La conferencia TAP promueve la investigación en verificación y métodos formales que apuntan a la interacción de pruebas y pruebas: el avance de técnicas de cada tipo y su combinación, con el objetivo final de mejorar la confiabilidad del software y del sistema. Nota de contenido: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Tipo de documento: documento electrónico Autores: Wehrheim, Heike, ; Cabot, Jordi, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 552 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-45234-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 Computadoras Propósitos especiales Microprogramación Sistemas informáticos Red de computadoras Inteligencia artificial Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Implementación de sistema informático Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Enfoques Fundamentales de la IngenierÃa de Software, FASE 2020, que tuvo lugar en DublÃn, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y Práctica del Software. , ETAPS 2020. Los 23 artÃculos completos, 1 artÃculo sobre herramientas y 6 artÃculos de competencia de prueba presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 81 presentaciones. Los artÃculos cubren temas como ingenierÃa de requisitos, arquitecturas de software, especificación, calidad del software, validación, verificación de propiedades funcionales y no funcionales, desarrollo impulsado por modelos y transformación de modelos, procesos de software, seguridad y evolución del software. Nota de contenido: Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Wehrheim, Heike, ; Cabot, Jordi, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIII, 552 p. 1 ilustraciones.
ISBN : 978-3-030-45234-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 Computadoras Propósitos especiales Microprogramación Sistemas informáticos Red de computadoras Inteligencia artificial Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación Implementación de sistema informático Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Enfoques Fundamentales de la IngenierÃa de Software, FASE 2020, que tuvo lugar en DublÃn, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y Práctica del Software. , ETAPS 2020. Los 23 artÃculos completos, 1 artÃculo sobre herramientas y 6 artÃculos de competencia de prueba presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 81 presentaciones. Los artÃculos cubren temas como ingenierÃa de requisitos, arquitecturas de software, especificación, calidad del software, validación, verificación de propiedades funcionales y no funcionales, desarrollo impulsado por modelos y transformación de modelos, procesos de software, seguridad y evolución del software. Nota de contenido: Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
