Autor Guerra, Esther
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / Guerra, Esther ; Orejas, Fernando
Título : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings Tipo de documento: documento electrónico Autores: Guerra, Esther, ; Orejas, Fernando, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 231 p. 303 ilustraciones, 32 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-23611-3 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: Compiladores e intérpretes Ciencia de los datos Ingeniería de software Matemáticas discretas en informática Procesamiento de datos Inteligencia artificial Compiladores (programas informáticos) Algoritmo Matemáticas discretas Matemáticas Informática Programación informática Técnicas de programación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Transformación de Grafos, ICGT 2019, celebrada como parte de STAF 2019, en Eindhoven, Países Bajos, en julio de 2019. Los 12 artículos de investigación y 1 artículo de herramientas presentados en este libro fueron cuidadosamente revisados y seleccionados entre 22 presentaciones. Los artículos abordan los siguientes temas: Teoría, Análisis y Verificación, Herramientas y Aplicaciones, y Construcción y Emparejamiento de Reglas de Transformación. Nota de contenido: Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching. 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 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings [documento electrónico] / Guerra, Esther, ; Orejas, Fernando, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 231 p. 303 ilustraciones, 32 ilustraciones en color.
ISBN : 978-3-030-23611-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores e intérpretes Ciencia de los datos Ingeniería de software Matemáticas discretas en informática Procesamiento de datos Inteligencia artificial Compiladores (programas informáticos) Algoritmo Matemáticas discretas Matemáticas Informática Programación informática Técnicas de programación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Transformación de Grafos, ICGT 2019, celebrada como parte de STAF 2019, en Eindhoven, Países Bajos, en julio de 2019. Los 12 artículos de investigación y 1 artículo de herramientas presentados en este libro fueron cuidadosamente revisados y seleccionados entre 22 presentaciones. Los artículos abordan los siguientes temas: Teoría, Análisis y Verificación, Herramientas y Aplicaciones, y Construcción y Emparejamiento de Reglas de Transformación. Nota de contenido: Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching. 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 : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings Tipo de documento: documento electrónico Autores: Guerra, Esther, ; Stoelinga, Mariëlle, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 373 p. 95 ilustraciones ISBN/ISSN/DL: 978-3-030-71500-7 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 Estructuras de datos (Informática) Teoría de la información Procesamiento del lenguaje natural (Informática) Programación de computadoras Ciencias de la Computación Estructuras de datos y teoría de la información Procesamiento del lenguaje natural (PNL) Técnicas de programación Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto constituye las actas de la 24.a Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2021, que tuvo lugar del 27 de marzo al 1 de abril de 2021 y se llevó a cabo como parte de las Conferencias Conjuntas sobre Teoría y Práctica del Software. ETAPS 2021. Estaba previsto que la conferencia se celebrara en Luxemburgo, pero cambió a un formato en línea debido a la pandemia de COVID-19. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. El libro también contiene 4 contribuciones de Test-Comp. . Nota de contenido: FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution). 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 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings [documento electrónico] / Guerra, Esther, ; Stoelinga, Mariëlle, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 373 p. 95 ilustraciones.
ISBN : 978-3-030-71500-7
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 Estructuras de datos (Informática) Teoría de la información Procesamiento del lenguaje natural (Informática) Programación de computadoras Ciencias de la Computación Estructuras de datos y teoría de la información Procesamiento del lenguaje natural (PNL) Técnicas de programación Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto constituye las actas de la 24.a Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2021, que tuvo lugar del 27 de marzo al 1 de abril de 2021 y se llevó a cabo como parte de las Conferencias Conjuntas sobre Teoría y Práctica del Software. ETAPS 2021. Estaba previsto que la conferencia se celebrara en Luxemburgo, pero cambió a un formato en línea debido a la pandemia de COVID-19. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. El libro también contiene 4 contribuciones de Test-Comp. . Nota de contenido: FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution). 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 : Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings Tipo de documento: documento electrónico Autores: Guerra, Esther, ; van den Brand, Mark, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 183 p. 73 ilustraciones ISBN/ISSN/DL: 978-3-319-61473-1 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 Sistemas operativos (computadoras) diseño lógico Sistemas informáticos Compiladores (programas informáticos) Sistemas operativos Operaciones de TI Implementación de sistema informático Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 10.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2017, celebrada como parte de STAF 2017, en Marburgo, Alemania, en julio de 2017. Los 9 artículos completos y los 2 artículos breves fueron cuidadosamente revisados y seleccionados de 31 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: paradigmas, lenguajes, algoritmos y estrategias de transformación; desarrollo de transformaciones; y aplicaciones y estudios de casos. 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 Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings [documento electrónico] / Guerra, Esther, ; van den Brand, Mark, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 183 p. 73 ilustraciones.
ISBN : 978-3-319-61473-1
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 Sistemas operativos (computadoras) diseño lógico Sistemas informáticos Compiladores (programas informáticos) Sistemas operativos Operaciones de TI Implementación de sistema informático Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 10.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2017, celebrada como parte de STAF 2017, en Marburgo, Alemania, en julio de 2017. Los 9 artículos completos y los 2 artículos breves fueron cuidadosamente revisados y seleccionados de 31 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: paradigmas, lenguajes, algoritmos y estrategias de transformación; desarrollo de transformaciones; y aplicaciones y estudios de casos. 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
