| TÃtulo : |
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday |
| Tipo de documento: |
documento electrónico |
| Autores: |
Raschke, Alexander, ; Riccobene, Elvinia, ; Schewe, Klaus-Dieter, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XVI, 353 p. 122 ilustraciones, 75 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-76020-5 |
| 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: |
IngenierÃa de software Lenguajes de programación (computadoras electrónicas) Ciencias de la Computación Servicios de información empresarial Lógica matemática Lenguaje de programación TeorÃa de la Computación Sistemas de Información Empresarial Lógica Matemática y Fundamentos |
| Clasificación: |
005.1 |
| Resumen: |
Este Festschrift se publicó en honor de Egon Börger con motivo de su 75 cumpleaños. Reconoce la inspiración del Prof. Börger como cientÃfico, autor, mentor y organizador comunitario. Dedicado a un pionero en los campos de la lógica y la informática, los intereses de investigación de Egon Börger tienen un alcance inusual, desde lenguajes de programación hasta arquitecturas de hardware, arquitecturas de software, sistemas de control, patrones de flujo de trabajo e interacción, procesos comerciales, aplicaciones web y sistemas concurrentes. Las 18 contribuciones invitadas en este volumen provienen de investigadores lÃderes en las áreas de ingenierÃa de software, lenguajes de programación, sistemas de información empresarial y lógica informática. |
| Nota de contenido: |
From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. |
| Tipo de medio : |
Computadora |
| Summary : |
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday [documento electrónico] / Raschke, Alexander, ; Riccobene, Elvinia, ; Schewe, Klaus-Dieter, . - 1 ed. . - [s.l.] : Springer, 2021 . - XVI, 353 p. 122 ilustraciones, 75 ilustraciones en color. ISBN : 978-3-030-76020-5 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: |
IngenierÃa de software Lenguajes de programación (computadoras electrónicas) Ciencias de la Computación Servicios de información empresarial Lógica matemática Lenguaje de programación TeorÃa de la Computación Sistemas de Información Empresarial Lógica Matemática y Fundamentos |
| Clasificación: |
005.1 |
| Resumen: |
Este Festschrift se publicó en honor de Egon Börger con motivo de su 75 cumpleaños. Reconoce la inspiración del Prof. Börger como cientÃfico, autor, mentor y organizador comunitario. Dedicado a un pionero en los campos de la lógica y la informática, los intereses de investigación de Egon Börger tienen un alcance inusual, desde lenguajes de programación hasta arquitecturas de hardware, arquitecturas de software, sistemas de control, patrones de flujo de trabajo e interacción, procesos comerciales, aplicaciones web y sistemas concurrentes. Las 18 contribuciones invitadas en este volumen provienen de investigadores lÃderes en las áreas de ingenierÃa de software, lenguajes de programación, sistemas de información empresarial y lógica informática. |
| Nota de contenido: |
From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. |
| Tipo de medio : |
Computadora |
| Summary : |
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaLogic, Computation and Rigorous Methods / Raschke, Alexander ; Riccobene, Elvinia ; Schewe, Klaus-Dieter
