Scientia Iranica (SCI) - Articles List
Home
Browse
Current Issue
By Issue
By Author
By Subject
Author Index
Keyword Index
Journal Info
About Journal
Aims and Scope
Editorial Board
Advisory Board
Editorial Staff
Publication Ethics
Indexing and Abstracting
Related Links
FAQ
Peer Review Process
News
Guide for Authors
Submit Manuscript
Reviewers
Contact Us
Login
Register
Home
Articles List
|
|
|
|
Articles in Press
Current Issue
Journal Archive
Volume 26 (2019)
Volume 25 (2018)
Volume 24 (2017)
Volume 23 (2016)
Volume 22 (2015)
Volume 21 (2014)
Volume 20 (2013)
Volume 17 (2010)
Volume 16 (2009)
Volume 15 (2008)
Volume 14 (2007)
Volume 13 (2006)
Volume 12 (2005)
Volume 11 (2004)
Volume 10 (2003)
Volume 9 (2002)
Volume 8 (2001)
Volume 7 (2000)
Volume 6 (1999)
Volume 5 (1998)
Volume 4 (1997)
Volume 3 (1996)
Volume 2 (1995)
Volume 1 (1994)
Scientia Iranica
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
View Article
|
PDF
4.88 MB
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
View Article
|
PDF
1.14 MB
3
A Formal Mapping fromObject-Z Specification to C++ Code
Volume 20, Issue 6, December 2013, Page
1953-1977
Mehrnaz Najafi; Hassan Haghighi
View Article
|
PDF
2.23 MB
Top