نتائج البحث

Implementing QVT-R via semantic interpretation in UML-RSDS

• Authors : Lano, K.; Kolahdouz-Rahimi, S.

Subjects: Model transformation semantics; Model transformation tools; Model transformations

• Source: Lano , K & Kolahdouz-Rahimi , S 2020 , ' Implementing QVT-R via semantic interpretation in UML-RSDS ' , Software and Systems Modeling .

تفاصيل العنوان

Implementing QVT-R via semantic interpretation in UML-RSDS

• Authors : Lano, K.; Kolahdouz-Rahimi, S.

Subjects: Model transformation semantics; Model transformation tools; Model transformations

• Source: Lano , K & Kolahdouz-Rahimi , S 2020 , ' Implementing QVT-R via semantic interpretation in UML-RSDS ' , Software and Systems Modeling .

تفاصيل العنوان

Integrating Provenance Capture and UML with UML2PROV: Principles and Experience

• Authors : Sáenz Adán , Carlos; Pérez Valle , Beatriz; García Izquierdo , Francisco José

• Source: Sáenz Adán , C , Pérez Valle , B , García Izquierdo , F J & Moreau , L A V 2020 , ' Integrating Provenance Capture and UML with UML2PROV: Principles and Experience '

تفاصيل العنوان

Integrating Provenance Capture and UML with UML2PROV: Principles and Experience

• Authors : Sáenz Adán , Carlos; Pérez Valle , Beatriz; García Izquierdo , Francisco José

• Source: Sáenz Adán , C , Pérez Valle , B , García Izquierdo , F J & Moreau , L A V 2020 , ' Integrating Provenance Capture and UML with UML2PROV: Principles and Experience '

تفاصيل العنوان

Declarative Specification of Bidirectional Transformations Using Design Patterns

• Authors : Lano, Kevin; Kolahdouz Rahimi, Shekoufeh; Yassipour Tehrani, Sobhan

Subjects: Bidirectional transformations; design patterns; model transformations

• Source: Lano , K , Kolahdouz Rahimi , S & Yassipour Tehrani , S 2019 , ' Declarative Specification of Bidirectional Transformations Using Design Patterns ' , IEEE Access , vol. 7 , no. 1 , 8587240 , pp.

تفاصيل العنوان

Declarative Specification of Bidirectional Transformations Using Design Patterns

• Authors : Lano, Kevin; Kolahdouz Rahimi, Shekoufeh; Yassipour Tehrani, Sobhan

Subjects: Bidirectional transformations; design patterns; model transformations

• Source: Lano , K , Kolahdouz Rahimi , S & Yassipour Tehrani , S 2019 , ' Declarative Specification of Bidirectional Transformations Using Design Patterns ' , IEEE Access , vol. 7 , no. 1 , 8587240 , pp.

تفاصيل العنوان

Agile model-driven re-engineering

• Authors : Lano, Kevin

• Source: Lano , K 2024 , ' Agile model-driven re-engineering ' , Innovations in Systems and Software Engineering . https://doi.org/10.1007/s11334-024-00568-z

تفاصيل العنوان

Verified bidirectional transformations by construction

• Authors : Lano, K.; Yassipour-Tehrani, S.

• Source: Lano , K & Yassipour-Tehrani , S 2016 , ' Verified bidirectional transformations by construction ' , CEUR Workshop Proceedings , vol. 1693 , pp. 28-37 . < http://ceur-ws.org/Vol-1693/VoltPaper2.pdf >

تفاصيل العنوان

Null considered harmful (for transformation verication)

• Authors : Lano, K.

• Source: Lano , K 2014 , Null considered harmful (for transformation verication) . in CEUR Workshop Proceedings . vol. 1325 , pp. 26-35 , 3rd International Workshop on Verification of Model Transformations,

تفاصيل العنوان

Null considered harmful (for transformation verication)

• Authors : Lano, K.

• Source: Lano , K 2014 , Null considered harmful (for transformation verication) . in CEUR Workshop Proceedings . vol. 1325 , pp. 26-35 , 3rd International Workshop on Verification of Model Transformations,

تفاصيل العنوان