|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 85-116, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 187-206, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
39 | Kevin Lano, Alireza Rouhi |
KMEHR to FHIR case solution with UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agile MDE/MeSS/TTC@STAF ![In: Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Implementing QVT-R via semantic interpretation in UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 20(3), pp. 725-766, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
Translating UML-RSDS OCL to ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, pp. 317-330, 2017, Springer, 978-3-319-74729-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani, Shekoufeh Kolahdouz Rahimi |
Solving the Class Responsibility Assignment Case with UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 8, 2016., pp. 9-14, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Sobhan Yassipour Tehrani |
Solving the TTC 2014 Movie Database Case with UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014., pp. 150-154, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian |
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC ![In: Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013., pp. 101-105, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC ![In: Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011., pp. 325-331, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Solving the TTC 2011 Model Migration Case with UML-RSDS ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC ![In: Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011., pp. 36-41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Specification and Verification of Model Transformations Using UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 199-214, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|