Example-Driven Modeling Using Clafer

TitleExample-Driven Modeling Using Clafer
Publication TypeConference Paper
Year of Publication2013
AuthorsAntkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin
Conference NameFirst International Workshop on Model-driven Engineering By Example
URLhttp://ceur-ws.org/Vol-1104
Refereed DesignationRefereed
AttachmentSize
2013.09.29-antkiewicz-EDM-using-Clafer.ppsx291.16 KB
2013-mdebe-edm-clafer.pdf277.95 KB