Software Engineering

Showing results in 'Talks'. Show all posts
A Metalanguage for Guarded Iteration 7/31/2018

By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.

Formal design of embedded systems 4/16/2018

By Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.

Resource-Aware Models in ABS 12/14/2017

By Einar Broch Johnsen, University of Oslo, Norway.

VOCAL — The Verified OCaml Library 7/24/2017

By Mário Pereira, LRI — Université Paris-Saclay, France.

Pattern Based Software Development 6/29/2016:

By Rui Couto, HASLab, INESC TEC & UMinho.