Searching for authors named "Kyriakos Anastasakis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

K.: MDA and Analysis of Web Applications
by Behzad Bordbar, Kyriakos Anastasakis — 2005 — In: Trends in Enterprise Application Architecture (TEAA) 2005. Volume 3888 of Lecture notes in Computer Science
…Abstract. Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects related to the interaction of business logic and Web browsers. The method adopted is based on the Model Drive…
Cited by 3 (1 self) – Add To MetaCart

UML2Alloy: A Challenging Model Transformation
by Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray — 2007 — In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS
…Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysi…
Cited by 10 (1 self) – Add To MetaCart

Analysis of Model Transformations via Alloy
by Kyriakos Anastasakis, Behzad Bordbar, Jochen M. Küster
…Abstract. The concept of model transformations is central to the domain of Model Driven Engineering (MDE). A model transformation automates the translation of models between a source and a target language. In order to reason about the correctness of the translation it is important to be able to anal…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB