A

ACM

in: Anastasakis K., Bordbar B., Georg G. and Ray I.
"UML2Alloy: A Challenging Model Transformation" (2007) 

Analysis

in: Bordbar B. and Anastasakis K.
"MDA and Analysis of Web Applications" (2005) 

Anastasakis K.

• in: Anastasakis K.
  "UML2Alloy Reference Manual" (2007)
• in: Anastasakis K., Bordbar B., Georg G. and Ray I.
  "UML2Alloy: A Challenging Model Transformation" (2007)
• in: Bordbar B. and Anastasakis K.
  "MDA and Analysis of Web Applications" (2005)
• in: Bordbar B. and Anastasakis K.
  "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005)

Application

in: Bordbar B. and Anastasakis K.
"MDA and Analysis of Web Applications" (2005) 

Applications

in: Bordbar B. and Anastasakis K.
"MDA and Analysis of Web Applications" (2005) 

Applied

in: Bordbar B. and Anastasakis K.
"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005) 

Architecture

in: Bordbar B. and Anastasakis K.
"MDA and Analysis of Web Applications" (2005) 

Submit a bug

This document was generated by bib2html 6.1.
Copyright © 1998-2007 Stephane GALLAND (under the GNU General Public License)