द्वारा कार्यक्रम pspec.sf.net

यह परियोजना जटिल प्रणालियों के प्रदर्शन गुणों के परीक्षण को स्वचालित करने के लिए एक दृष्टिकोण है। सॉफ्टवेयर के लिए कार्यात्मक चश्मे की तरह हम एक कार्यक्रम के प्रदर्शन की अपेक्षाओं को जताने के लिए एक निष्पादित भाषा विकसित करने