Program menurut pspec.sf.net

Proyek ini adalah pendekatan untuk mengotomatiskan pengujian sifat kinerja sistem yang kompleks. Sama seperti spesifikasi fungsional untuk perangkat lunak, kami bertujuan untuk mengembangkan bahasa yang dapat dieksekusi untuk