资 源 简 介
ATUM
Alocação de Turnos - Universidade do Minho
Projecto Integrador 1 de Métodos Formais em Engenharia de Software
Mestrado em Engenharia de Informática do Departamento de Informática, Universidade do Minho.
Fase 1: Modelo Alloy
Alloy:
* http://alloy.mit.edu/community/
Fase 2: Whitebox Testing em .NET
Pex:
* http://msdn.microsoft.com/en-us/devlabs/cc950525.aspx
* http://research.microsoft.com/en-us/projects/pex/
Contracts:
* http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
* http://research.microsoft.com/en-us/projects/contracts/
