Autor de Boer, Frank
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / de Boer, Frank ; Cerone, Antonio
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
Título : It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab Tipo de documento: documento electrónico Autores: de Boer, Frank, ; Bonsangue, Marcello, ; Rutten, Jan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 245 p. 52 ilustraciones ISBN/ISSN/DL: 978-3-319-90089-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: Simulación por ordenador Lenguajes formales y teoría de los autómatas Inteligencia artificial Modelado por computadora Técnicas de programación Compiladores e intérpretes Teoría de las máquinas Programación informática Compiladores (programas informáticos) Ingeniería de software Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen Festschrift se ha publicado para celebrar los logros científicos de toda la vida de Farhad Arbab con motivo de su jubilación del Centro de Matemáticas e Informática (CWI). A lo largo de los años, Farhad Arbab ha participado con éxito en exploraciones científicas en diversas direcciones: composición de software, informática orientada a servicios, software basado en componentes, teoría de la concurrencia, modelos y lenguajes de coordinación, informática paralela y distribuida, entornos de programación visual, restricciones, lógica y objetos. -Programación Orientada. Farhad Arbab ha dado forma al campo de los lenguajes y modelos de coordinación. Su idea de que se trata de coordinación exógena dio lugar a la sorprendente elegancia y belleza de Reo: un modelo de coordinación exógena basado en un cálculo formal de composición de canales. Reo ha tenido un gran éxito y está teniendo un gran impacto en muchas de las áreas mencionadas anteriormente. El presente volumen recopila una serie de artículos de varios de los colaboradores más cercanos de Farhad a lo largo de los años. . Nota de contenido: Discovering the "Glue" Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. 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 It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab [documento electrónico] / de Boer, Frank, ; Bonsangue, Marcello, ; Rutten, Jan, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 245 p. 52 ilustraciones.
ISBN : 978-3-319-90089-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Simulación por ordenador Lenguajes formales y teoría de los autómatas Inteligencia artificial Modelado por computadora Técnicas de programación Compiladores e intérpretes Teoría de las máquinas Programación informática Compiladores (programas informáticos) Ingeniería de software Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen Festschrift se ha publicado para celebrar los logros científicos de toda la vida de Farhad Arbab con motivo de su jubilación del Centro de Matemáticas e Informática (CWI). A lo largo de los años, Farhad Arbab ha participado con éxito en exploraciones científicas en diversas direcciones: composición de software, informática orientada a servicios, software basado en componentes, teoría de la concurrencia, modelos y lenguajes de coordinación, informática paralela y distribuida, entornos de programación visual, restricciones, lógica y objetos. -Programación Orientada. Farhad Arbab ha dado forma al campo de los lenguajes y modelos de coordinación. Su idea de que se trata de coordinación exógena dio lugar a la sorprendente elegancia y belleza de Reo: un modelo de coordinación exógena basado en un cálculo formal de composición de canales. Reo ha tenido un gran éxito y está teniendo un gran impacto en muchas de las áreas mencionadas anteriormente. El presente volumen recopila una serie de artículos de varios de los colaboradores más cercanos de Farhad a lo largo de los años. . Nota de contenido: Discovering the "Glue" Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. 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
