فهرست مقالات 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
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  2 - تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور
  علی حبیبی رامتین خسروی