Keywords = Formal program development
Number of Articles: 3
From Object-Z Specification to Groovy Implementation

Volume 25, Issue 6, November and December 2018, Pages 3415-3441

10.24200/sci.2018.20798

Farzin Zaker; Hassan Haghighi; Eslam Nazemi

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

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

Volume 20, Issue 6, December 2013, Pages 1953-1977

Mehrnaz Najafi; Hassan Haghighi

Scientia Iranica

Journal Archive