From UML to Alloy and Back Again

Seyyed-Madasar Shah; K Anastasakis; Behzad Bordbar; L Lucio; S Weißlander

doi:10.1145/1656485.1656489

From UML to Alloy and Back Again

Seyyed-Madasar Shah, K Anastasakis, Behzad Bordbar, L Lucio, S Weißlander

Computer Science

Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)

Original language	English
Pages	1-10
Number of pages	10
DOIs	https://doi.org/10.1145/1656485.1656489
Publication status	Published - 5 Oct 2009
Event	Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa '09) - New York, New York, USA Duration: 5 Oct 2009 → …

Conference

Conference	Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa '09)
City	New York, New York, USA
Period	5/10/09 → …

Access to Document

10.1145/1656485.1656489

Cite this

@conference{9cef4c369d8146a49fdb36534de08b49,

title = "From UML to Alloy and Back Again",

author = "Seyyed-Madasar Shah and K Anastasakis and Behzad Bordbar and L Lucio and S Wei{\ss}lander",

year = "2009",

month = oct,

day = "5",

doi = "10.1145/1656485.1656489",

language = "English",

pages = "1--10",

note = "Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa '09) ; Conference date: 05-10-2009",

}

TY - CONF

T1 - From UML to Alloy and Back Again

AU - Shah, Seyyed-Madasar

AU - Anastasakis, K

AU - Bordbar, Behzad

AU - Lucio, L

AU - Weißlander, S

PY - 2009/10/5

Y1 - 2009/10/5

U2 - 10.1145/1656485.1656489

DO - 10.1145/1656485.1656489

M3 - Paper

SP - 1

EP - 10

T2 - Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa '09)

Y2 - 5 October 2009

ER -