• Home
  • Browse
    • Current Issue
    • By Issue
    • By Author
    • By Subject
    • Author Index
    • Keyword Index
  • Journal Info
    • About Journal
    • Aims and Scope
    • Editorial Board
    • Publication Ethics
    • Indexing and Abstracting
    • Related Links
    • FAQ
    • Peer Review Process
    • News
  • Guide for Authors
  • Submit Manuscript
  • Reviewers
  • Contact Us
  • Login
  • Register
Keywords = Formal program development
Number of Articles: 3
1. From Object-Z Specification to Groovy Implementation

Volume 25, Issue 6, November and December 2018, Pages 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, Pages 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, Pages 1953-1977

Mehrnaz Najafi; Hassan Haghighi

  • View Article
  • PDF 2.23 MB

Scientia Iranica
  • Articles in Press
  • Current Issue

Journal Archive

Volume 28 (2021)
Volume 27 (2020)
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)

Explore Journal

  • Home
  • About Journal
  • Editorial Board
  • Submit Manuscript
  • XML for Scientific Databases
  • Contact Us
  • Glossary
  • Hard Copy Subscription
  • Sitemap

Latest News

© 2020 Sharif University of Technology, Scientia Iranica

Newsletter Subscription

Subscribe to the journal newsletter and receive the latest news and updates

  • © Journal Management System. Powered by Sinaweb