Programas por pspec.sf.net

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