Título :	SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Camara, Javier, ; Steffen, Martin,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	X, 277 p. 230 ilustraciones, 28 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-57506-9
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Programación lógica  Procesamiento del lenguaje natural (Informática)  Microprogramación  Sistemas informáticos  Software de la aplicacion  Teoría de la Computación  Lógica en IA  Procesamiento del lenguaje natural (PNL)  Estructuras de control y microprogramación  Implementación de sistema informático  Aplicaciones informáticas y de sistemas de información
Índice Dewey:	40.151
Resumen:	El volumen LNCS 12226 constituye los artículos revisados ​​seleccionados de los cuatro talleres realizados conjuntamente con la 17.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2019. Los 13 artículos completos presentados junto con 7 artículos breves en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 45 presentaciones. Surgen de los siguientes talleres: CoSim-CPS 2019 – 3er Taller Internacional sobre Co-Simulación Formal de Sistemas Ciberfísicos; ASYDE 2019 - 1er Taller Internacional sobre Cognición: Fundamentos, Modelos y Aplicaciones Interdisciplinarios; y FOCLASA 2019 - 17° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos.
Nota de contenido:	Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers [documento electrónico] / Camara, Javier, ; Steffen, Martin,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 277 p. 230 ilustraciones, 28 ilustraciones en color.
ISBN : 978-3-030-57506-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Programación lógica  Procesamiento del lenguaje natural (Informática)  Microprogramación  Sistemas informáticos  Software de la aplicacion  Teoría de la Computación  Lógica en IA  Procesamiento del lenguaje natural (PNL)  Estructuras de control y microprogramación  Implementación de sistema informático  Aplicaciones informáticas y de sistemas de información
Índice Dewey:	40.151
Resumen:	El volumen LNCS 12226 constituye los artículos revisados ​​seleccionados de los cuatro talleres realizados conjuntamente con la 17.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2019. Los 13 artículos completos presentados junto con 7 artículos breves en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 45 presentaciones. Surgen de los siguientes talleres: CoSim-CPS 2019 – 3er Taller Internacional sobre Co-Simulación Formal de Sistemas Ciberfísicos; ASYDE 2019 - 1er Taller Internacional sobre Cognición: Fundamentos, Modelos y Aplicaciones Interdisciplinarios; y FOCLASA 2019 - 17° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos.
Nota de contenido:	Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i