Información del autor
Autor Méry, Dominique |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems / Ait-Ameur, Yamine ; Nakajima, Shin ; Méry, Dominique
TÃtulo : Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings Tipo de documento: documento electrónico Autores: Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2021 Número de páginas: XII, 346 p. 138 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-981-1550546-- 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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: 005.1 Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Tipo de medio : Computadora Summary : This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings [documento electrónico] / Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, . - 1 ed. . - Singapore [Malasia] : Springer, 2021 . - XII, 346 p. 138 ilustraciones, 29 ilustraciones en color.
ISBN : 978-981-1550546--
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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: 005.1 Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Tipo de medio : Computadora Summary : This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Golfarelli, Matteo, ; Méry, Dominique, ; Ordonez, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIX, 436 p. 143 ilustraciones ISBN/ISSN/DL: 978-3-030-00856-7 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 Compiladores (programas informáticos) Programación de computadoras Inteligencia artificial TeorÃa de las máquinas Software de la aplicacion Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 8h Conferencia Internacional sobre IngenierÃa de Datos y Modelos, MEDI 2018, celebrada en Marrakech, Marruecos, en octubre de 2018. Los 23 artÃculos completos y 4 artÃculos breves presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados de 86 presentaciones. Los trabajos cubrieron los temas recientes y relevantes en las áreas de bases de datos; ontologÃa e ingenierÃa basada en modelos; fusión, clasificación y aprendizaje de datos; tecnologÃas de la información y la comunicación; seguridad y proteccion; algoritmos y procesamiento de textos; y especificación, verificación y validación. Nota de contenido: Databases -- Ontology and model-driven engineering -- Data fusion, classsification and learning -- Communication and information technologies -- Safety and security -- Algorithms and text processing -- Specification, verification and validation. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / [documento electrónico] / Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Golfarelli, Matteo, ; Méry, Dominique, ; Ordonez, Carlos, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIX, 436 p. 143 ilustraciones.
ISBN : 978-3-030-00856-7
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 Compiladores (programas informáticos) Programación de computadoras Inteligencia artificial TeorÃa de las máquinas Software de la aplicacion Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 8h Conferencia Internacional sobre IngenierÃa de Datos y Modelos, MEDI 2018, celebrada en Marrakech, Marruecos, en octubre de 2018. Los 23 artÃculos completos y 4 artÃculos breves presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados de 86 presentaciones. Los trabajos cubrieron los temas recientes y relevantes en las áreas de bases de datos; ontologÃa e ingenierÃa basada en modelos; fusión, clasificación y aprendizaje de datos; tecnologÃas de la información y la comunicación; seguridad y proteccion; algoritmos y procesamiento de textos; y especificación, verificación y validación. Nota de contenido: Databases -- Ontology and model-driven engineering -- Data fusion, classsification and learning -- Communication and information technologies -- Safety and security -- Algorithms and text processing -- Specification, verification and validation. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24À“26, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Benslimane, Djamal, ; Golfarelli, Matteo, ; Jean, St©phane, ; Méry, Dominique, ; Nakamatsu, Kazumi, ; Ordonez, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: IX, 255 p. 90 ilustraciones ISBN/ISSN/DL: 978-3-030-02852-7 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 Inteligencia artificial Simulación por ordenador Ciencias de la Computación IngenierÃa Informática Red de computadoras Modelado por computadora TeorÃa de la Computación IngenierÃa Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye los artÃculos minuciosamente arbitrados de los talleres celebrados en la 8.ª Conferencia Internacional sobre Nuevas Tendencias en IngenierÃa de Modelos y Datos, MEDI 2018, en Marrakech, Marruecos, en octubre de 2018. Los 19 artÃculos completos y uno breve del taller fueron cuidadosamente revisados ​​y seleccionado entre 50 presentaciones. Los artÃculos están organizados de acuerdo con los 4 talleres: Taller Internacional sobre Modelado, Verificación y Pruebas de Sistemas CrÃticos Confiables, DETECT 2018, Taller de IngenierÃa de Datos y Modelos para el Bien Social, MEDI4SG 2018, Segundo Taller Internacional sobre Ciberseguridad y Seguridad Funcional en CiberfÃsica. Systems, IWCFS 2018, Taller internacional sobre modelo formal para dominar sistemas multifacéticos, REMEDY 2018. Nota de contenido: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018 -- Model and Data Engineering for Social Good Workshop, MEDI4SG 2018 -- Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems -- IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018. The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24À“26, 2018, Proceedings / [documento electrónico] / Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Benslimane, Djamal, ; Golfarelli, Matteo, ; Jean, St©phane, ; Méry, Dominique, ; Nakamatsu, Kazumi, ; Ordonez, Carlos, . - 1 ed. . - [s.l.] : Springer, 2018 . - IX, 255 p. 90 ilustraciones.
ISBN : 978-3-030-02852-7
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 Inteligencia artificial Simulación por ordenador Ciencias de la Computación IngenierÃa Informática Red de computadoras Modelado por computadora TeorÃa de la Computación IngenierÃa Informática y Redes Clasificación: 005.1 Resumen: Este libro constituye los artÃculos minuciosamente arbitrados de los talleres celebrados en la 8.ª Conferencia Internacional sobre Nuevas Tendencias en IngenierÃa de Modelos y Datos, MEDI 2018, en Marrakech, Marruecos, en octubre de 2018. Los 19 artÃculos completos y uno breve del taller fueron cuidadosamente revisados ​​y seleccionado entre 50 presentaciones. Los artÃculos están organizados de acuerdo con los 4 talleres: Taller Internacional sobre Modelado, Verificación y Pruebas de Sistemas CrÃticos Confiables, DETECT 2018, Taller de IngenierÃa de Datos y Modelos para el Bien Social, MEDI4SG 2018, Segundo Taller Internacional sobre Ciberseguridad y Seguridad Funcional en CiberfÃsica. Systems, IWCFS 2018, Taller internacional sobre modelo formal para dominar sistemas multifacéticos, REMEDY 2018. Nota de contenido: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018 -- Model and Data Engineering for Social Good Workshop, MEDI4SG 2018 -- Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems -- IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018. The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. 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 [...]
