海量图书期刊资源,随时随地畅享阅读乐趣
Formal frameworks for approximate reasoningKevin Lano · 1992
Book ReviewsKevin Lano · 2001
Model-Transformation Design PatternsLano, Kevin; Kolahdouz-Rahimi, Shekoufeh · IEEE Transactions on Software Engineering · 2014
UML 2 Semantics and Applications ||Lano, Kevin · 2009
A framework for model transformation verificationLano, Kevin; Clark, T.; Kolahdouz-Rahimi, S. · Formal Aspects of Computing · 2015
UML 2 Semantics and Applications || The Role of SemanticsLano, Kevin · 2009
UML 2 Semantics and Applications || Model Transformation Specification and VerificationLano, Kevin · 2009
Declarative Specification of Bidirectional Transformations using Design PatternsLano, Kevin; Kolahdouz-Rahimi, Shekoufeh; Yassipour-Tehrani, Sobhan · IEEE Access · 2018