فهرست مقالات Formal Specification دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems Mahboubeh Samadi حسن حقیقی 10.7508/jist.2014.01.002