Scientia Iranica (SCI) - Articles List

Home Articles List
Scientia Iranica
Journal Archive
Volume Volume 26 (2019)
Volume Volume 25 (2018)
Volume Volume 24 (2017)
Volume Volume 23 (2016)
Volume Volume 22 (2015)
Volume Volume 21 (2014)
Volume Volume 20 (2013)
Volume Volume 17 (2010)
Volume Volume 16 (2009)
Volume Volume 15 (2008)
Volume Volume 14 (2007)
Volume Volume 13 (2006)
Volume Volume 12 (2005)
Volume Volume 11 (2004)
Volume Volume 10 (2003)
Volume Volume 9 (2002)
Volume Volume 8 (2001)
Volume Volume 7 (2000)
Volume Volume 6 (1999)
Volume Volume 5 (1998)
Volume Volume 4 (1997)
Volume Volume 3 (1996)
Volume Volume 2 (1995)
Volume Volume 1 (1994)

Scientia Iranica

SCImago Journal & Country Rank
Keywords = Formal program development
Number of Articles: 3
1

From Object-Z Specification to Groovy Implementation

Volume 25, Issue 6, November and December 2018, Page 3415-3441
Farzin Zaker; Hassan Haghighi; Eslam Nazemi
2

A survey on formal, object-oriented program development approaches

Volume 22, Issue 3, June 2015, Page 1001-1017
M. Najafi; H. Haghighi; T. Zohdi Nasab
3

A Formal Mapping fromObject-Z Specification to C++ Code

Volume 20, Issue 6, December 2013, Page 1953-1977
Mehrnaz Najafi; Hassan Haghighi