Software Engineering

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.

Typed Connector Families 1/13/2016:

By José Proença, HASLab/INESC TEC and University of Minho.

From Abstract Requirements to Processes in the Same Logic 12/2/2015

By Alexandre Madeira, HASLab/INESC TEC and University of Minho.