Información del autor
Autor de Boer, Frank |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming. Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above. The present volume collects a number of papers by several of Farhad's close collaborators over the years. . 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.
Idioma : Inglés (eng)
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: 005.1 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. Tipo de medio : Computadora Summary : This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming. Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above. The present volume collects a number of papers by several of Farhad's close collaborators over the years. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Engineering and Formal Methods : 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. Idioma : Inglés (eng) 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: 005.14 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering and Formal Methods : 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.
Idioma : Inglés (eng)
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: 005.14 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
