Programmes par pspec.sf.net

Ce projet est une approche visant à automatiser les tests des propriétés de performance des systèmes complexes. Tout comme les spécifications fonctionnelles pour les logiciels, nous visons à développer un langage exécutable p