首页>外文会议>International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods

International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods

召开年：2019
召开地：Porto(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Is Formal Methods Really Essential?

机译：形式方法真的必不可少吗？
- 作者：Carroll Morgan
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
2.Efficient Online Homologation to Prepare Students for Formal Methods Courses

机译：高效的在线同源化，为学生准备正式方法课程
- 作者：Bas Luttik
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
3.Preface

机译：前言
- 作者：Brijesh Dongol;Luigia Petre;Graeme Smith
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
4.pseuCo.com

机译：配色UCO.com
- 作者：Felix Freiberger;Holger Hermanns
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
5.Logic, Algebra, and Geometry at the Foundation of Computer Science

机译：计算机科学基础上的逻辑，代数和几何
- 作者：Tony Hoare;Alexandra Mendes;Joao F. Ferreira
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
- Algebra;
- Logic;
- Geometry;
- Teaching formal methods;
- Unifying theories of programming;
6.Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

机译：通过Frama-C和SPARK为非计算机科学家教授演绎验证
- 作者：Leo Creuse;Claire Dross;Christophe Garion;Jerome Hugues;Joffrey Huguet
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
7.Using Krakatoa for Teaching Formal Verification of Java Programs

机译：使用Krakatoa教授Java程序的形式验证
- 作者：Jose Divason;Ana Romero
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
- Formal methods;
- Hoare logic;
- Automated theorem provers;
- JML;
- Krakatoa;
8.Teaching Deductive Verification in Why3 to Undergraduate Students

机译：在大学生中为Why3进行演绎验证教学
- 作者：Sandrine Blazy
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
9.Teaching Formal Methods to Future Engineers

机译：向未来的工程师教授正式方法
- 作者：Catherine Dubois;Virgile Prevosto;Guillaume Burel
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
10.The Computational Relevance of Formal Logic Through Formal Proofs

机译：通过形式证明的形式逻辑的计算相关性
- 作者：Ariane A. Almeida;Ana Cristina Rocha-Oliveira;Thiago M. Ferreira Ramos;Flavio L. C. de Moura;Mauricio Ayala-Rincon
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
11.Teaching Formal Methods: From Software in the Small to Software in the Large

机译：正式方法的教学：从小型软件到大型软件
- 作者：Maria-del-Mar Gallardo;Laura Panizo
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
12.On Teaching Applied Formal Methods in Aerospace Engineering

机译：航空航天工程中应用形式方法的教学
- 作者：Kristin Yvonne Rozier
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
13.Teaching Concurrency with the Disappearing Formal Method

机译：消失的形式化方法的教学并发
- 作者：Emil Sekerinski
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
- Non-interference;
- Guarded commands;
- State diagrams;
14.Teaching Discrete Mathematics to Computer Science Students

机译：向计算机科学专业的学生教授离散数学
- 作者：Faron Moller;Liam OReilly
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
15.Principled and Pragmatic Specification of Programming Languages

机译：编程语言的原则性和实用性规范
- 作者：Adrian Johnstone;Elizabeth Scott
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
16.Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

机译：管理异质性并弥合常规方法教学中的差距
- 作者：Pamela Fleischmann;Mitja Kulczynski;Dirk Nowotka;Thomas Wilke
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
17.Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach

机译：向软件工程师讲授形式化方法和离散数学：对建模重点方法的思考
- 作者：Andrew Simpson
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
18.Teaching Formal Methods: Lessons Learnt from Using Event-B

机译：正式方法教学：使用事件B的经验教训
- 作者：Nestor Catano
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年
- Computer Science;
- Discrete Mathematics;
- Event B;
- Formal Methods;
- Software Engineering;
19.You Already Used Formal Methods but Did Not Know It

机译：您已经使用了正式方法，但还不知道
- 作者：Giampaolo Bella
- 会议名称：《International Workshop and Tutorial Formal Methods Teaching Workshop and Tutorial;World Congress on Formal Methods》 | 2019年