Homepage of Behnaz Changizi
I am a doctoral student in
SEN3 Group in
Centrum voor Wiskunde & Informatica
I work under the supervision of
|
|
Homepage of Behnaz ChangiziI am a doctoral student in
|
|
Email address |
|
|
|
b dot changizi at cwi dot nl |
||
|
behnaz at behnaz dot org |
I am involved in COMPAS project . The COMPAS project will design and implement novel models, languages, and an architectural framework to ensure dynamic and on-going compliance of software services to business regulations and stated user service-requirements. COMPAS will use model-driven techniques, domain-specific languages, and service-oriented infrastructure software to enable organizations developing business compliance solutions easier and faster"
Formal methods, coordination languages, model transformation, software engineering.
I received my Master from Sharif University Of Technology under supervision of Dr Seyyed-Hassan Mirian. My master thesis was on the extracting executable SetL2 programs from Z formal specification.
Changizi Behnaz, Mirian-Hosseinabadi Seyyed-Hassan, "From Z Specification toward Prototypes from Z specification", 15 ICEE2007,Tehran, Iran, May 2007.
Changizi Behnaz, Mirian-Hosseinabadi Seyyed-Hassan, "ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE;, 1st International Journal of Information & Communication Technology (IJICT), March 2009 (ACCEPTED).
Coming soon! ;)