|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Kevin Lano |
A compositional semantics of UML-RSDS. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
88 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
39 | Kevin Lano, Alireza Rouhi |
KMEHR to FHIR case solution with UML-RSDS. |
Agile MDE/MeSS/TTC@STAF |
2023 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Implementing QVT-R via semantic interpretation in UML-RSDS. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
Translating UML-RSDS OCL to ANSI C. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani, Shekoufeh Kolahdouz Rahimi |
Solving the Class Responsibility Assignment Case with UML-RSDS. |
TTC@STAF |
2016 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani |
Solving the TTC 2014 Movie Database Case with UML-RSDS. |
TTC@STAF |
2014 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian |
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. |
TTC |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case |
TTC |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Solving the TTC 2011 Model Migration Case with UML-RSDS |
TTC |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Specification and Verification of Model Transformations Using UML-RSDS. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|