Autor Wehrheim, Heike
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
