King's College London

Research portal

Dr Kevin Lano

  1. A comparison of quality flaws and technical debt in model transformation specifications

    Kolahdouz-Rahimi, S., Lano, K., Sharbaf, M., Karimi, M. & Alfraihi, H., Nov 2020, In : Journal of Systems and Software. 169, 110684.

    Research output: Contribution to journalArticle

  2. Technical debt in procedural model transformation languages

    Kolahdouz-Rahimi, S., Lano, K. & Karimi, M., Aug 2020, In : Journal of Computer Languages. 59, 100971.

    Research output: Contribution to journalArticle

  3. Formalizing the main characteristics of QVT-based model transformation languages

    Lano, K., 19 Jun 2020, In : Journal of Computing and Security. 7, 1, p. 35-62 28 p.

    Research output: Contribution to journalArticle

  4. Technical debt in procedural model transformation languages

    Lano, K., 20 May 2020, In : Journal of Computer Languages. 59, 21 p., 100971.

    Research output: Contribution to journalArticle

  5. Accepted/In press

    Declarative Specification of Bidirectional Transformations Using Design Patterns

    Lano, K., Kolahdouz Rahimi, S. & Yassipour Tehrani, S., 23 Jan 2019, (Accepted/In press) In : IEEE Access. 7, 1, p. 5222-5249 28 p., 8587240.

    Research output: Contribution to journalArticle

  6. A survey of model transformation design patterns in practice

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M., Jun 2018, In : Journal of Systems and Software. 140, p. 48-73 26 p.

    Research output: Contribution to journalArticle

  7. A Framework for Model Transformation Verification

    Lano, K. C., Clark, T. & Kolahdouz Rahimi, S., Jan 2015, In : FORMAL ASPECTS OF COMPUTING. 27, 1, p. 193 235 p., 1.

    Research output: Contribution to journalArticle

  8. Model-transformation design patterns

    Lano, K. & Kolahdouz-Rahimi, S., 1 Dec 2014, In : IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 40, 12, p. 1224-1259 36 p., 6891324.

    Research output: Contribution to journalArticle

  9. A survey and comparison of transformation tools based on the transformation tool contest

    Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Herrmannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzoldt, S. & Mazanek, S., Jun 2014, In : SCIENCE OF COMPUTER PROGRAMMING. 85, PART A, p. 41-99 59 p.

    Research output: Contribution to journalArticle

  10. Graph and model transformation tools for model migration: Empirical results from the transformation tool contest

    Rose, L. M., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B. & Wimmer, M., Feb 2014, In : Software and Systems Modeling. 13, 1, p. 323-359 37 p.

    Research output: Contribution to journalArticle

  11. Constraint-based specification of model transformations

    Lano, K. & Kolahdouz Rahimi, S., Feb 2013, In : Journal of Systems and Software. 86, 2, p. 412-436

    Research output: Contribution to journalArticle

  12. Evaluation of model transformation approaches for model refactoring

    Kolahdouz-rahimi, S., Lano, K., Pillay, S., Troya, J. & Van Gorp, P., 2013, In : SCIENCE OF COMPUTER PROGRAMMING. N/A, N/A, p. 1-36 36 p.

    Research output: Contribution to journalArticle

  13. Slicing Techniques for UML Models

    Lano, K. & Kolahdouz Rahimi, S., 2011, In : Journal of Object Technology. 10, p. 1-49 49 p.

    Research output: Contribution to journalArticle

  14. A compositional semantics of UML-RSDS

    Lano, K., 2009, In : Software and Systems Modelling. 8, 1, p. 85 - 116 32 p.

    Research output: Contribution to journalArticle

  15. Constraint-driven development

    Lano, K., Apr 2008, In : INFORMATION AND SOFTWARE TECHNOLOGY. 50, 5, p. 406 - 423 18 p.

    Research output: Contribution to journalArticle

  16. Direct Semantics of Extended State Machines

    Lano, K. & Clark, D., Oct 2007, In : Journal of Object Technology. 6, 9, p. 35 - 51 17 p.

    Research output: Contribution to journalArticle

  17. Extending UML with Coordination Contracts

    Lano, K. & Fiadeiro, J., Jun 2006, In : Software and Systems Modeling. 5, 2, p. 110 - 120 11 p.

    Research output: Contribution to journalArticle

  18. RSDS: A Subset of UML with Precise Semantics

    Lano, K., Clark, D. & Androutsopoulos, K., 2003, In : L'Objet. 9, 4, p. 53 - 73 21 p.

    Research output: Contribution to journalArticle

  19. Experiences of using formal methods for chemical process control specification

    Lano, K., Bicarregui, J. & Kan, P., Jan 2000, In : CONTROL ENGINEERING PRACTICE. ol.8, .1, p. 71 - 79 9 p.

    Research output: Contribution to journalArticle

  20. A semantic comparison of Fusion and Syntropy

    Lano, K., France, R. & Bruel, J. M., 2000, In : COMPUTER JOURNAL. ol.43, .6, p. 451 - 468 18 p.

    Research output: Contribution to journalArticle

  21. Formal Implementation of Procedural Controllers for Event-driven Sequential Systems in Chemical Processes

    Lano, K., Chavoya, A. & Sanchez, A., 2000, In : COMPUTERS AND CHEMICAL ENGINEERING. 1, 2-7, p. 297 - 302 6 p.

    Research output: Contribution to journalArticle

  22. The UML as a Formal Modeling Notation

    France, R., Evans, A., Lano, K. & Rumpe, B., 2 Nov 1998, In : Computer Standards & Interfaces. 19, 7, p. 325-334 10 p.

    Research output: Contribution to journalArticle

Export:RIS BibTex Word PDF - will at most contain 500 items

Search within the list

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

Authors

Authors

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454