List of Articles Formal Specification

• Open Access Article
  • Abstract Page
  • Full-Text
  
  1 - An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems
  Mahboubeh Samadi haghighi haghighi
  10.7508/jist.2014.01.002
• Open Access Article
  • Abstract Page
  • Full-Text
  
  2 - Automatic Test-Case Generation Based on Rule-Based Behavioral Specification
  Ali Habibi Ramtin Khosravi