Formal Methods Teaching

1 The Significance of Symbolic Logic for Scientific Education.- Introducing GitHub Classroom into a Formal Methods Module.- Teaching through Practice: Advanced Static Analysis with LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities.- An Educational Module for Temporal Features in Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving and Constructing Correct Software.- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Pesquisa e estatística social
• Tecnologia da informação: aspectos gerais
• Lógica matemática
• Inteligência artificial
• Linguagem natural e tradução mecânica
• Engenharia do software
• Hardware do computador

Architecting;architecture verification and validation;artificial intelligence;computer programming;computer science;curricula;education;software architecture;mathematics;software design;software engineering;linguistics;fuzzy sets;computing education;software verification and validation;software notations and tools