프로그램별 pspec.sf.net

이 프로젝트는 복잡한 시스템의 성능 특성 테스트를 자동화하는 접근 방식입니다. 소프트웨어에 대한 기능 사양과 마찬가지로 우리는 프로그램의 성능 기대치를 주장하기 위한 실행 가능한 언어를 개발하는 것을 목표로 합니다. 이것은 샤론을 구현합니다.