Título :	First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Cerone, Antonio, ; Roggenbach, Markus,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	IX, 227 p. 34 ilustraciones, 21 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-71374-4
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:	Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Computadoras y Educación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación
Índice Dewey:	371.334
Resumen:	Este volumen constituye las actas posteriores al taller del Primer Taller Internacional sobre Métodos Formales – Diversión para Todos, FMFun 2019, celebrado en Bergen, Noruega, en diciembre de 2019. Los 7 artículos completos revisados ​​y los 2 artículos breves revisados ​​presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 15 presentaciones. También se incluyen un documento técnico y dos artículos principales. Los artículos exploran formas de utilizar el camino para transformar y difundir los métodos formales. La visión de esta serie de talleres es que los métodos formales deben enseñarse de tal manera que todos los estudiantes puedan divertirse con ellos.
Nota de contenido:	Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper -- Axiom Based Testing for Fun and Pedagogy -- Teaching Formal Methods for Fun Using Maude -- Fun with Formal Methods for Better Education -- Adapting to Different Types of Target Audience in Teaching Formal Methods -- Prototyping Games using Formal Methods -- Teaching Model Checking via Games and Puzzles -- Formal Methods and Cybersecurity Education -- Teaching Them Early: Formal Methods in School -- From Stories to Concurrency: How Children Can Play with Formal Methods -- When the Student becomes the Teacher -- Teaching formal methods in academia: a systematic literature review.
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

First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers [documento electrónico] / Cerone, Antonio, ; Roggenbach, Markus,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - IX, 227 p. 34 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-71374-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Computadoras y Educación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación
Índice Dewey:	371.334
Resumen:	Este volumen constituye las actas posteriores al taller del Primer Taller Internacional sobre Métodos Formales – Diversión para Todos, FMFun 2019, celebrado en Bergen, Noruega, en diciembre de 2019. Los 7 artículos completos revisados ​​y los 2 artículos breves revisados ​​presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 15 presentaciones. También se incluyen un documento técnico y dos artículos principales. Los artículos exploran formas de utilizar el camino para transformar y difundir los métodos formales. La visión de esta serie de talleres es que los métodos formales deben enseñarse de tal manera que todos los estudiantes puedan divertirse con ellos.
Nota de contenido:	Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper -- Axiom Based Testing for Fun and Pedagogy -- Teaching Formal Methods for Fun Using Maude -- Fun with Formal Methods for Better Education -- Adapting to Different Types of Target Audience in Teaching Formal Methods -- Prototyping Games using Formal Methods -- Teaching Model Checking via Games and Puzzles -- Formal Methods and Cybersecurity Education -- Teaching Them Early: Formal Methods in School -- From Stories to Concurrency: How Children Can Play with Formal Methods -- When the Student becomes the Teacher -- Teaching formal methods in academia: a systematic literature review.
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