Información del autor
Autor de Boer, Frank |
Documentos disponibles escritos por este autor (2)



18th 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]