Formal Methods and Software Engineering / Lin, Shang-Wei ; Hou, Zhe ; Mahony, Brendan  

Público ISBD Ningún comentario para este registro. Título : Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Lin, Shang-Wei, ; Hou, Zhe, ; Mahony, Brendan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 335 p. 98 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-63406-3 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  Ingeniería de software  Software de la aplicacion  Compiladores (programas informáticos)  Programación lógica  Procesamiento del lenguaje natural (Informática)  Teoría de la Computación  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes  Lógica en IA  Procesamiento del lenguaje natural (PNL) Clasificación: 40.151 Resumen: Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2020, celebrada en Singapur, Singapur, en marzo de 2021. Los 16 artículos completos y 4 breves presentados junto con 1 artículo de simposio doctoral en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 41 presentaciones. Los artículos cubren la teoría y las aplicaciones de los métodos formales de ingeniería junto con estudios de casos. También representan el desarrollo reciente en el uso y desarrollo de métodos formales de ingeniería para el desarrollo de software y sistemas. Nota de contenido: Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / [documento electrónico] / Lin, Shang-Wei, ; Hou, Zhe, ; Mahony, Brendan,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XI, 335 p. 98 ilustraciones, 48 ilustraciones en color. ISBN : 978-3-030-63406-3 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  Ingeniería de software  Software de la aplicacion  Compiladores (programas informáticos)  Programación lógica  Procesamiento del lenguaje natural (Informática)  Teoría de la Computación  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes  Lógica en IA  Procesamiento del lenguaje natural (PNL) Clasificación: 40.151 Resumen: Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2020, celebrada en Singapur, Singapur, en marzo de 2021. Los 16 artículos completos y 4 breves presentados junto con 1 artículo de simposio doctoral en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 41 presentaciones. Los artículos cubren la teoría y las aplicaciones de los métodos formales de ingeniería junto con estudios de casos. También representan el desarrollo reciente en el uso y desarrollo de métodos formales de ingeniería para el desarrollo de software y sistemas. Nota de contenido: Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200