Formal Methods Teaching / Ferreira, João F. ; Mendes, Alexandra ; Menghi, Claudio  

Público ISBD Ningún comentario para este registro. Título : Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings Tipo de documento: documento electrónico Autores: Ferreira, João F., ; Mendes, Alexandra, ; Menghi, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 147 p. 27 ilustraciones, 14 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-91550-6 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: Lógica matemática  Lógica Matemática y Fundamentos Índice Dewey: 511.3 Resumen: Este libro constituye las actas arbitradas del 4to Taller y Tutorial Internacional, FMTea 2021, celebrado como parte del 4to Congreso Mundial sobre Métodos Formales, FM 2021, como evento virtual en noviembre de 2021. Los 8 artículos completos presentados junto con 2 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 12 presentaciones. Los artículos están organizados en secciones temáticas denominadas: experiencias y propuestas relacionadas con el aprendizaje y la enseñanza de FM en línea, la integración/incrustación de la enseñanza/pensamiento de FM en otros cursos de informática, la enseñanza de FM para la industria y métodos innovadores de enseñanza y aprendizaje para FM. Nota de contenido: Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. 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 Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings [documento electrónico] / Ferreira, João F., ; Mendes, Alexandra, ; Menghi, Claudio,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 147 p. 27 ilustraciones, 14 ilustraciones en color. ISBN : 978-3-030-91550-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática  Lógica Matemática y Fundamentos Índice Dewey: 511.3 Resumen: Este libro constituye las actas arbitradas del 4to Taller y Tutorial Internacional, FMTea 2021, celebrado como parte del 4to Congreso Mundial sobre Métodos Formales, FM 2021, como evento virtual en noviembre de 2021. Los 8 artículos completos presentados junto con 2 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 12 presentaciones. Los artículos están organizados en secciones temáticas denominadas: experiencias y propuestas relacionadas con el aprendizaje y la enseñanza de FM en línea, la integración/incrustación de la enseñanza/pensamiento de FM en otros cursos de informática, la enseñanza de FM para la industria y métodos innovadores de enseñanza y aprendizaje para FM. Nota de contenido: Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200