Programas por pspec.sf.net

Este projeto é uma abordagem para automatizar o teste de propriedades de desempenho de sistemas complexos. Assim como as especificações funcionais para o software, pretendemos desenvolver uma linguagem executável para afirmar