| Educations |
| 2004-2007 |
| M.Sc. in Software Engineering, Sharif University
of Technology, Tehran, Iran
| |
My thesis: Developing executable
Program from formal specification in Z | |
Abstract: Formal
specification is a precise way for stating system requirement. There are some specification
languages with a strong mathematical base, but their disadvantage is their difficulty
to understanding for user. At the other side we have prototyping to validating user
requirement, a comfortable way to deal with user. The purpose of this research is
establishing an automatic method to translate formal specification to its prototype.
| |
Advisor: Dr. Seyyed-Hassan.Mirian-Hosseinabadi
| | 1997-2003
|
| B.Sc. in Computer Engineering, major in Software Engineering,
Amir Kabir university of Technology (Tehran Polytechnic) , Tehran, Iran
|
| 1993-1997
|
| High School Diploma in Math and Physics, Hamedan, Iran
|
|
| Research Interests |
|
Honors
2006
Ranked 336th in Competitive "National Entrance Exam for M.Sc. Studies"
in Software Engineering major, among more than 8,000 B.Sc. students.
2000
Ranked 123th in Competitive "National Entrance Exam for B.Sc. Studies"
among more than 400,000 high school students.
1996
Semifinalist of National Physics Olympiad.
1993
Qualified in "National Organization for Development of Exceptional Talents (NODET)" High school entrance examination.
1989
Qualified in "National Organization for Development of Exceptional Talents (NODET)" Middle school entrance examination.
Publications
- Changizi Behnaz, Mirian-Hosseinabadi Seyyed-Hassan, "From Z Specification
toward Prototypes from Z specification", 15 ICEE2007,Tehran, Iran, May
2007.
Teaching Assistantship
Spring 2006
|
