| Título : |
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
de Boer, Frank, ; Cerone, Antonio, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XIV, 325 p. 639 ilustraciones, 63 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-58768-0 |
| 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: |
Inteligencia artificial Ordenadores Computadoras Propósitos especiales Pruebas de software Hardware de la computadora Sistemas de propósito especial y basados en aplicaciones |
| Índice Dewey: |
005.14 Pruebas de software |
| Resumen: |
Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2020, celebrada en Ámsterdam, Países Bajos, en septiembre de 2020. Los 16 artículos completos presentados junto con 1 charla magistral y un resumen de una charla magistral fueron cuidadosamente revisado y seleccionado entre 58 presentaciones. Los artículos cubren una gran variedad de temas, que incluyen pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, metaprogramación y desarrollo y evolución de software. Los artículos abordan una amplia gama de sistemas, como los sistemas de IoT, la interacción entre humanos y robots en escenarios de atención médica, la navegación de sistemas marítimos autónomos y los sistemas operativos. Los capítulos "Definición de sintaxis multipropósito con SDF3", "FRed: verificación de modelo condicional mediante reductores y carpetas" y "Verificación de diferencias con condiciones" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. |
| Nota de contenido: |
Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- 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 |
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings [documento electrónico] / de Boer, Frank, ; Cerone, Antonio, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 325 p. 639 ilustraciones, 63 ilustraciones en color. ISBN : 978-3-030-58768-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Inteligencia artificial Ordenadores Computadoras Propósitos especiales Pruebas de software Hardware de la computadora Sistemas de propósito especial y basados en aplicaciones |
| Índice Dewey: |
005.14 Pruebas de software |
| Resumen: |
Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2020, celebrada en Ámsterdam, Países Bajos, en septiembre de 2020. Los 16 artículos completos presentados junto con 1 charla magistral y un resumen de una charla magistral fueron cuidadosamente revisado y seleccionado entre 58 presentaciones. Los artículos cubren una gran variedad de temas, que incluyen pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, metaprogramación y desarrollo y evolución de software. Los artículos abordan una amplia gama de sistemas, como los sistemas de IoT, la interacción entre humanos y robots en escenarios de atención médica, la navegación de sistemas marítimos autónomos y los sistemas operativos. Los capítulos "Definición de sintaxis multipropósito con SDF3", "FRed: verificación de modelo condicional mediante reductores y carpetas" y "Verificación de diferencias con condiciones" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. |
| Nota de contenido: |
Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- 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 |
|  |
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
