Información del autor
Autor Raschke, Alexander |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaAbstract State Machines, Alloy, B, TLA, VDM, and Z / Butler, Michael ; Raschke, Alexander ; Hoang, Thai Son ; Reichl, Klaus
TÃtulo : Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 432 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-319-91271-4 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: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / [documento electrónico] / Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 432 p. 83 ilustraciones.
ISBN : 978-3-319-91271-4
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: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 [...]
TÃtulo : Modeling Companion for Software Practitioners Tipo de documento: documento electrónico Autores: Börger, Egon, ; Raschke, Alexander, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XXI, 349 p. ISBN/ISSN/DL: 978-3-662-56641-1 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 TeorÃa de las máquinas TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Gestión de Procesos de Negocio Clasificación: 005.1 Resumen: Este libro utiliza una variedad de aplicaciones para ilustrar un método de modelado que ayuda a los profesionales a gestionar sistemas complejos con uso intensivo de software. El método propuesto se basa en la combinación de su concepto de abstracción y su carácter operativo, con modelos de comportamiento en la forma precisa y simple de las Máquinas de Estados Abstractos (ASM). El libro presenta tanto el método de modelado (Parte I) como el soporte de herramientas disponible (Parte II): En la Parte I, los autores detallan (utilizando numerosos ejemplos) cómo construir, explicar, depurar, explorar, extender y reutilizar modelos de diseño de sistemas precisos, comenzando desde cero. Solo se supone un conocimiento elemental de la notación matemática común (incluida la de teorÃa de conjuntos) y cierta experiencia básica con procesos computacionales (sistemas, programas, algoritmos). La Parte II luego muestra cómo el método de modelado puede respaldarse mediante la implementación de herramientas que hacen que los modelos de diseño sean ejecutables y depurables. Para ilustrar cómo construir, depurar y mantener sistemas y explicar su construcción de una manera verificable, se adopta un método de refinamiento general orientado a problemas para construir modelos de sistemas a partir de componentes. El método comienza con modelos abstractos y los va perfeccionando paso a paso, añadiendo gradualmente más detalles que finalmente conducen al código. Destinado a profesionales que construyen sistemas intensivos en software y a estudiantes especializados en ingenierÃa de software, se puede utilizar tanto para el autoaprendizaje como para la docencia, y puede servir como libro de referencia. Se incluyen ejercicios para ayudar a los lectores a comprobar su comprensión de los conceptos explicados. Para muchos de los modelos definidos en el libro, se pueden descargar mejoras a versiones ejecutables para su validación experimental desde el sitio web del libro en http://modelingbook.informatik.uni-ulm.de. Nota de contenido: 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. Tipo de medio : Computadora Summary : This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book's website at http://modelingbook.informatik.uni-ulm.de. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Modeling Companion for Software Practitioners [documento electrónico] / Börger, Egon, ; Raschke, Alexander, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XXI, 349 p.
ISBN : 978-3-662-56641-1
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 TeorÃa de las máquinas TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Gestión de Procesos de Negocio Clasificación: 005.1 Resumen: Este libro utiliza una variedad de aplicaciones para ilustrar un método de modelado que ayuda a los profesionales a gestionar sistemas complejos con uso intensivo de software. El método propuesto se basa en la combinación de su concepto de abstracción y su carácter operativo, con modelos de comportamiento en la forma precisa y simple de las Máquinas de Estados Abstractos (ASM). El libro presenta tanto el método de modelado (Parte I) como el soporte de herramientas disponible (Parte II): En la Parte I, los autores detallan (utilizando numerosos ejemplos) cómo construir, explicar, depurar, explorar, extender y reutilizar modelos de diseño de sistemas precisos, comenzando desde cero. Solo se supone un conocimiento elemental de la notación matemática común (incluida la de teorÃa de conjuntos) y cierta experiencia básica con procesos computacionales (sistemas, programas, algoritmos). La Parte II luego muestra cómo el método de modelado puede respaldarse mediante la implementación de herramientas que hacen que los modelos de diseño sean ejecutables y depurables. Para ilustrar cómo construir, depurar y mantener sistemas y explicar su construcción de una manera verificable, se adopta un método de refinamiento general orientado a problemas para construir modelos de sistemas a partir de componentes. El método comienza con modelos abstractos y los va perfeccionando paso a paso, añadiendo gradualmente más detalles que finalmente conducen al código. Destinado a profesionales que construyen sistemas intensivos en software y a estudiantes especializados en ingenierÃa de software, se puede utilizar tanto para el autoaprendizaje como para la docencia, y puede servir como libro de referencia. Se incluyen ejercicios para ayudar a los lectores a comprobar su comprensión de los conceptos explicados. Para muchos de los modelos definidos en el libro, se pueden descargar mejoras a versiones ejecutables para su validación experimental desde el sitio web del libro en http://modelingbook.informatik.uni-ulm.de. Nota de contenido: 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. Tipo de medio : Computadora Summary : This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book's website at http://modelingbook.informatik.uni-ulm.de. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-48077-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: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 428 p. 675 ilustraciones, 66 ilustraciones en color.
ISBN : 978-3-030-48077-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: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 167 p. 41 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-77543-8 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: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, . - 1 ed. . - [s.l.] : Springer, 2021 . - X, 167 p. 41 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-77543-8
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: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
