项目开发的金枪鱼

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/

atumv1
codigo
atum-apr1.pdf
readme.txt
readme.txt~
atum-rel1.pdf