Información del autor
Autor Dongol, Brijesh |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaFormal Methods. FM 2019 International Workshops / Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N. ; Ratiu, Daniel ; Guidotti, Riccardo ; Farrell, Marie ; Luckcuck, Matt ; Marmsoler, Diego ; Campos, José ; Astarte, Troy ; Gonnord, Laure ; Cerone, Antonio ; Couto, Luis ; Dongol, Brijesh ; Kutrib, Martin ; Monteiro, Pedro ; Delmas, David
TÃtulo : Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / Tipo de documento: documento electrónico Autores: Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 523 p. 398 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54994-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 Computadoras Propósitos especiales Ciencias de la Computación Sistemas informáticos Inteligencia artificial Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / [documento electrónico] / Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 523 p. 398 ilustraciones, 98 ilustraciones en color.
ISBN : 978-3-030-54994-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 Computadoras Propósitos especiales Ciencias de la Computación Sistemas informáticos Inteligencia artificial Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / Tipo de documento: documento electrónico Autores: Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 575 p. 605 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54997-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: Ciencias de la Computación Inteligencia artificial IngenierÃa de software Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / [documento electrónico] / Sekerinski, Emil, ; Moreira, Nelma, ; Oliveira, José N., ; Ratiu, Daniel, ; Guidotti, Riccardo, ; Farrell, Marie, ; Luckcuck, Matt, ; Marmsoler, Diego, ; Campos, José, ; Astarte, Troy, ; Gonnord, Laure, ; Cerone, Antonio, ; Couto, Luis, ; Dongol, Brijesh, ; Kutrib, Martin, ; Monteiro, Pedro, ; Delmas, David, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 575 p. 605 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-54997-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: Ciencias de la Computación Inteligencia artificial IngenierÃa de software Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de los talleres que complementaron el 23º Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en octubre de 2019. Este volumen presenta los trabajos que han sido aceptados para los siguientes talleres: Tercer Taller sobre Práctica Formal Verificación de la confiabilidad del software, AFFORD 2019; 8º Simposio Internacional De Datos a Modelos y viceversa, DataMod 2019; Primer Taller de Métodos Formales para Sistemas Autónomos, FMAS 2019; Primer Taller sobre Métodos Formales para Blockchains, FMBC 2019; 8vo Taller Internacional sobre Métodos Formales para Sistemas Interactivos, FMIS 2019; Primer Taller de Historia de los Métodos Formales, HFM 2019; 8º Taller Internacional sobre Dominios Abstractos Numéricos y Simbólicos, NSAD 2019; Noveno Taller Internacional sobre Enfoques Comunitarios Abiertos para la Educación, la Investigación y la TecnologÃa, OpenCERT 2019; 17° Taller de Obertura, Obertura 2019; XIX Taller de Refinamiento, Refine 2019; Primer Taller Internacional sobre Reversibilidad en Programación, Lenguajes y Autómatas, RPLA 2019; Décimo Taller Internacional sobre Análisis Estático y BiologÃa de Sistemas, SASB 2019; y el X Taller de Herramientas para el Análisis Automático de Programas, TAPAS 2019. Nota de contenido: HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-32441-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 Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings [documento electrónico] / Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color.
ISBN : 978-3-030-32441-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 Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Troubitsyna, Elena, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-63461-2 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: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / [documento electrónico] / Dongol, Brijesh, ; Troubitsyna, Elena, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 461 p. 1045 ilustraciones, 64 ilustraciones en color.
ISBN : 978-3-030-63461-2
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: Ordenador Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. Procesamiento del lenguaje natural (PNL) Lógica en IA Sistema informático Microprogramación Proc Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Lugano (Suiza) en noviembre de 2020. Los 24 artÃculos completos y los 2 artÃculos breves se revisaron cuidadosamente y se seleccionaron de 63 presentaciones. Los artÃculos cubren un amplio espectro de temas: integración del aprendizaje automático y el modelado formal; modelado y verificación en B y Event-B; análisis y pruebas de programas; verificación del comportamiento interactivo; verificación formal; análisis estático; enfoques especÃficos del dominio; y técnicas algebraicas. Nota de contenido: Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Engineering for Robotics Tipo de documento: documento electrónico Autores: Cavalcanti, Ana, ; Dongol, Brijesh, ; Hierons, Rob, ; Timmis, Jon, ; Woodcock, Jim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XX, 483 p. 184 ilustraciones, 154 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-66494-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 IngenierÃa de control Robótica Automatización Control Clasificación: 005.1 Resumen: Los temas cubiertos en este libro van desde lenguajes y entornos de modelado y programación, pasando por enfoques de diseño y verificación, hasta cuestiones de ética y regulación. En términos de técnicas, hay resultados sobre ingenierÃa basada en modelos, lÃneas de productos, especificación de misión, desarrollo basado en componentes, simulación, pruebas y pruebas. Las aplicaciones van desde robots de fabricación hasta servicios, vehÃculos autónomos e incluso robots que evolucionan en el mundo real. Un capÃtulo final resume cuestiones sobre ética y regulación basadas en discusiones de un panel de expertos. El origen de este libro es un evento de dos dÃas, titulado RoboSoft, que tuvo lugar en noviembre de 2019 en Londres. Organizado con el generoso apoyo de la Real Academia de IngenierÃa y la Universidad de York, Reino Unido, RoboSoft reunió a más de 100 cientÃficos, ingenieros y profesionales de todo el mundo, en representación de 70 instituciones internacionales. El público objetivo incluye investigadores y profesionales con todos los niveles de experiencia interesados ​​en trabajar en el área de la robótica y la ingenierÃa de software en general. Todos los capÃtulos son independientes, incluyen explicaciones de los conceptos centrales y terminan con una discusión de las instrucciones para el trabajo futuro. Los capÃtulos ''Hacia la evolución de los robots autónomos'', ''Composición, separación de roles y enfoques basados ​​en modelos como facilitadores de un ecosistema de software de robótica'' y ''AutonomÃa verificable y robótica responsable'' están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de un enlace. springer.com. Nota de contenido: Software Product Line Engineering for Robotics -- Towards Autonomous Robot Evolution -- Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem -- Testing Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems -- Robot Accident Investigation: A Case Study in Responsible Robotics -- Verifiable Autonomy and Responsible Robotics -- Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach? -- RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing -- CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems -- Mutation Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology: Modelling Uncertainty in RoboChart using Probability -- Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems. Tipo de medio : Computadora Summary : The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. Theintended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' 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 for Robotics [documento electrónico] / Cavalcanti, Ana, ; Dongol, Brijesh, ; Hierons, Rob, ; Timmis, Jon, ; Woodcock, Jim, . - 1 ed. . - [s.l.] : Springer, 2021 . - XX, 483 p. 184 ilustraciones, 154 ilustraciones en color.
ISBN : 978-3-030-66494-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 IngenierÃa de control Robótica Automatización Control Clasificación: 005.1 Resumen: Los temas cubiertos en este libro van desde lenguajes y entornos de modelado y programación, pasando por enfoques de diseño y verificación, hasta cuestiones de ética y regulación. En términos de técnicas, hay resultados sobre ingenierÃa basada en modelos, lÃneas de productos, especificación de misión, desarrollo basado en componentes, simulación, pruebas y pruebas. Las aplicaciones van desde robots de fabricación hasta servicios, vehÃculos autónomos e incluso robots que evolucionan en el mundo real. Un capÃtulo final resume cuestiones sobre ética y regulación basadas en discusiones de un panel de expertos. El origen de este libro es un evento de dos dÃas, titulado RoboSoft, que tuvo lugar en noviembre de 2019 en Londres. Organizado con el generoso apoyo de la Real Academia de IngenierÃa y la Universidad de York, Reino Unido, RoboSoft reunió a más de 100 cientÃficos, ingenieros y profesionales de todo el mundo, en representación de 70 instituciones internacionales. El público objetivo incluye investigadores y profesionales con todos los niveles de experiencia interesados ​​en trabajar en el área de la robótica y la ingenierÃa de software en general. Todos los capÃtulos son independientes, incluyen explicaciones de los conceptos centrales y terminan con una discusión de las instrucciones para el trabajo futuro. Los capÃtulos ''Hacia la evolución de los robots autónomos'', ''Composición, separación de roles y enfoques basados ​​en modelos como facilitadores de un ecosistema de software de robótica'' y ''AutonomÃa verificable y robótica responsable'' están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de un enlace. springer.com. Nota de contenido: Software Product Line Engineering for Robotics -- Towards Autonomous Robot Evolution -- Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem -- Testing Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems -- Robot Accident Investigation: A Case Study in Responsible Robotics -- Verifiable Autonomy and Responsible Robotics -- Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach? -- RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing -- CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems -- Mutation Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology: Modelling Uncertainty in RoboChart using Probability -- Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems. Tipo de medio : Computadora Summary : The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. Theintended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' 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 [...]
