Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKevin Lano
Person information
- affiliation: King's College London
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j42]Kevin Lano
, Qiaomu Xue:
Code Generation by Example Using Symbolic Machine Learning. SN Comput. Sci. 4(2): 170 (2023)- [c109]Kevin Lano, Qiaomu Xue:
Lightweight Software Language Processing Using Antlr and CGTL. MODELSWARD 2023: 19-30 - [c108]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin:
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. MODELSWARD 2023: 237-244 - [i4]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin:
Requirement Formalisation using Natural Language Processing and Machine Learning: A Systematic Review. CoRR abs/2303.13365 (2023) - 2022
- [j41]Alireza Rouhi, Shekoufeh Kolahdouz Rahimi, Kevin Lano:
Formalizing model transformation patterns. J. Softw. Evol. Process. 34(2) (2022) - [j40]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi:
Introduction to the theme section on Agile model-driven engineering. Softw. Syst. Model. 21(4): 1465-1467 (2022) - [j39]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Shichao Fang:
Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example. ACM Trans. Softw. Eng. Methodol. 31(2): 18:1-18:71 (2022) - [c107]Kevin Lano:
Program translation using model-driven engineering. ICSE-Companion 2022: 362-363 - [c106]Kunxiang Jin, Kevin Lano:
OCL-based test case prioritisation using AgileUML. MoDELS (Companion) 2022: 607-611 - [c105]Kunxiang Jin, Kevin Lano:
Design and classification of mutation operators for OCL specification. MoDELS (Companion) 2022: 852-861 - [c104]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin:
OCL libraries for software specification and representation. MoDELS (Companion) 2022: 894-898 - [c103]Kevin Lano, Qiaomu Xue:
Code Generation by Example. MODELSWARD 2022: 84-92 - 2021
- [j38]Mohammad Derakhshandi, Shekoufeh Kolahdouz Rahimi, Javier Troya, Kevin Lano:
A model-driven framework for developing android-based classic multiplayer 2D board games. Autom. Softw. Eng. 28(2): 7 (2021) - [j37]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Implementing QVT-R via semantic interpretation in UML-RSDS. Softw. Syst. Model. 20(3): 725-766 (2021) - [c102]Kevin Lano, Kunxiang Jin, Shefali Tyagi:
Model-based Testing and Monitoring using AgileUML. ANT/EDI40 2021: 773-778 - [c101]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Extending OCL with Map and Function Types. FSEN 2021: 108-123 - [c100]Kunxiang Jin, Kevin Lano:
Generation of Test Cases from UML Diagrams - A Systematic Literature Review. ISEC 2021: 7:1-7:10 - [c99]Kevin Lano, Lyan Alwakeel, Shekoufeh Kolahdouz Rahimi, Howard P. Haughton:
Synthesis of mobile applications using AgileUML. ISEC 2021: 11:1-11:10 - [c98]Kevin Lano, Sobhan Yassipour Tehrani, Muhammad Aminu Umar:
Automated Requirements Formalisation for Agile MDE. MoDELS (Companion) 2021: 173-180 - [c97]Kunxiang Jin, Kevin Lano:
Mutation Operators for Object Constraint Language Specification. STAF Workshops 2021: 128-134 - [c96]Kevin Lano:
Implementing OCL in Swift. STAF Workshops 2021: 135-141 - [c95]Kevin Lano:
Adding Regular Expression Operators to OCL. STAF Workshops 2021: 162-168 - 2020
- [j36]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Mohammadreza Sharbaf, Meysam Karimi, Hessa Alfraihi:
A comparison of quality flaws and technical debt in model transformation specifications. J. Syst. Softw. 169: 110684 (2020) - [j35]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Meysam Karimi:
Technical debt in procedural model transformation languages. J. Comput. Lang. 59: 100971 (2020) - [c94]Kevin Lano, Shichao Fang, Muhammad Aminu Umar, Sobhan Yassipour Tehrani:
Enhancing model transformation synthesis using natural language processing. MoDELS (Companion) 2020: 46:1-46:10 - [c93]Kevin Lano, Shichao Fang, Shekoufeh Kolahdouz Rahimi:
TL: an abstract specification language for bidirectional transformations. MoDELS (Companion) 2020: 77:1-77:10 - [c92]Kevin Lano, Shichao Fang:
Automated Synthesis of ATL Transformations from Metamodel Correspondences. MODELSWARD 2020: 263-270
2010 – 2019
- 2019
- [b5]Kevin Lano, Howard P. Haughton:
Financial Software Engineering. Undergraduate Topics in Computer Science, Springer 2019, ISBN 978-3-030-14049-6, pp. 1-175 - [j34]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Declarative Specification of Bidirectional Transformations Using Design Patterns. IEEE Access 7: 5222-5249 (2019) - [c91]Kevin Lano, Shichao Fang, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Simplified Specification Languages for Flexible and Agile Modelling. MoDELS (Companion) 2019: 460-467 - [c90]Shichao Fang, Kevin Lano:
Extracting Correspondences from Metamodels Using Metamodel Matching. STAF (Co-Located Events) 2019: 3-8 - 2018
- [j33]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf:
A survey of model transformation design patterns in practice. J. Syst. Softw. 140: 48-73 (2018) - [c89]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi:
Technical Debt in Model Transformation Specifications. ICMT 2018: 127-141 - [c88]Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton:
Comparative case studies in agile model-driven development. MoDELS (Workshops) 2018: 203-212 - [c87]Hessa Alfraihi, Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton:
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. SAM 2018: 229-245 - 2017
- [c86]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf:
A Survey of Model Transformation Design Pattern Usage. ICMT 2017: 108-118 - [c85]Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Agile Model-driven Engineering of Financial Applications. MoDELS (Satellite Events) 2017: 388-392 - [c84]Hessa Alfraihi, Kevin Lano:
Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study. MoDELS (Satellite Events) 2017: 399-404 - [c83]Hessa Alfraihi, Kevin Lano:
A Process for Integrating Agile Software Development and Model-driven Development. MoDELS (Satellite Events) 2017: 412-417 - [c82]Hessa Alfraihi, Kevin Lano:
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. MODELSWARD 2017: 451-458 - [c81]Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Translating UML-RSDS OCL to ANSI C. STAF Workshops 2017: 317-330 - 2016
- [c80]Sobhan Yassipour Tehrani, Steffen Zschaler, Kevin Lano:
Requirements Engineering in Model-Transformation Development: An Interview-Based Study. ICMT 2016: 123-137 - [c79]Kevin Lano, Sobhan Yassipour Tehrani:
Verified bidirectional transformations by construction. PAME/VOLT@MoDELS 2016: 28-37 - [c78]Kevin Lano, Sobhan Yassipour Tehrani, Shekoufeh Kolahdouz Rahimi:
Solving the Class Responsibility Assignment Case with UML-RSDS. TTC@STAF 2016: 9-14 - 2015
- [j32]Kevin Lano, Tony Clark, Shekoufeh Kolahdouz Rahimi:
A framework for model transformation verification. Formal Aspects Comput. 27(1): 193-235 (2015) - [c77]Krikor Maroukian, Kevin Lano, Mohammad Yamin:
Towards Automatic Generation of Project-Based Solutions. ICISO 2015: 123-134 - [c76]Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Experiences of Teaching Model-based Development. EduSymp@MoDELS 2015: 43-54 - [c75]Kevin Lano, Sobhan Yassipour Tehrani:
Design Patterns for Model Transformations: Current Research and Future Directions. PAME@STAF 2015: 1-5 - [c74]Sobhan Yassipour Tehrani, Kevin Lano:
Temporal Logic Specification and Analysis for Model Transformations. VOLT@STAF 2015: 2-11 - [c73]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Model Transformation Semantic Analysis by Transformation. VOLT@STAF 2015: 46-53 - 2014
- [j31]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Suresh Pillay, Javier Troya, Pieter Van Gorp:
Evaluation of model transformation approaches for model refactoring. Sci. Comput. Program. 85: 5-40 (2014) - [j30]Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek:
A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85: 41-99 (2014) - [j29]Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek, Pieter Van Gorp, Sebastian Buchwald, Tassilo Horn, Elina Kalnina, Andreas Koch, Kevin Lano, Bernhard Schätz, Manuel Wimmer:
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. Softw. Syst. Model. 13(1): 323-359 (2014) - [j28]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler:
Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13(2): 873-907 (2014) - [j27]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Transformation Design Patterns. IEEE Trans. Software Eng. 40(12): 1224-1259 (2014) - [c72]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations. CloudCom 2014: 138-145 - [c71]Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano:
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF 2014: 1-9 - [c70]Kevin Lano, Krikor Maroukian, Sobhan Yassipour Tehrani:
Case study: FIXML to Java, C# and C++. TTC@STAF 2014: 2-6 - [c69]Kevin Lano:
Null Considered Harmful (for Transformation Verification). VOLT@STAF 2014: 26-35 - [c68]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark:
Language-Independent Model Transformation Verification. VOLT@STAF 2014: 36-45 - [c67]Kevin Lano, Sobhan Yassipour Tehrani:
Solving the TTC 2014 Movie Database Case with UML-RSDS. TTC@STAF 2014: 150-154 - [p11]Kevin Lano:
Design Patterns: Applications and Open Issues. Cyberpatterns 2014: 37-45 - [i3]Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe:
Meta-Modeling Semantics of UML. CoRR abs/1409.6917 (2014) - [i2]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. CoRR abs/1409.6919 (2014) - [i1]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Developing the UML as a Formal Modelling Notation. CoRR abs/1409.6928 (2014) - 2013
- [j26]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Constraint-based specification of model transformations. J. Syst. Softw. 86(2): 412-436 (2013) - [c66]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Runtime Infrastructure Optimisation in Cloud IaaS Structures. CloudCom (1) 2013: 687-692 - [c65]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Optimising Model-transformations using Design Patterns. MODELSWARD 2013: 77-82 - [c64]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Towards a Meta-model of the Cloud Computing Resource Landscape. MODELSWARD 2013: 111-116 - [c63]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Case study: Class diagram restructuring. TTC 2013: 8-15 - [c62]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. TTC 2013: 101-105 - 2012
- [j25]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model Transformation Specification and Design. Adv. Comput. 85: 123-163 (2012) - [j24]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo:
Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Softw. Informatics 6(2): 233-269 (2012) - [c61]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Synthesis of Software from Logical Constraints. ICSOFT 2012: 355-358 - 2011
- [j23]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing Techniques for UML Models. J. Object Technol. 10: 11: 1-49 (2011) - [c60]Shekoufeh Kolahdouz Rahimi, Kevin Lano:
A Model-Based Development Approach for Model Transformations. FSEN 2011: 48-63 - [c59]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Driven Development of Model Transformations. ICMT@TOOLS 2011: 47-61 - [c58]Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li:
Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300 - [c57]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS. TTC 2011: 36-41 - [c56]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. TTC 2011: 325-331 - 2010
- [c55]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models. ICSOFT (2) 2010: 259-262 - [c54]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Specification and Verification of Model Transformations Using UML-RSDS. IFM 2010: 199-214 - [c53]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models Using Model Transformations. MoDELS (2) 2010: 228-242
2000 – 2009
- 2009
- [j22]Kevin Lano:
A compositional semantics of UML-RSDS. Softw. Syst. Model. 8(1): 85-116 (2009) - [p10]Kevin Lano:
Introduction to the Unified Modeling Language. UML 2 Semantics and Applications 2009: 1-25 - [p9]Kevin Lano:
The Role of Semantics. UML 2 Semantics and Applications 2009: 27-41 - [p8]Kevin Lano:
Axiomatic Semantics of UML Class Diagrams. UML 2 Semantics and Applications 2009: 125-161 - [p7]Kevin Lano, David Clark:
Axiomatic Semantics of State Machines. UML 2 Semantics and Applications 2009: 179-203 - [p6]Kevin Lano:
Semantics of Activity Diagrams. UML 2 Semantics and Applications 2009: 281-293 - [p5]Kevin Lano:
Verification of UML Models. UML 2 Semantics and Applications 2009: 295-315 - [p4]Kevin Lano:
Model Transformation Specification and Verification. UML 2 Semantics and Applications 2009: 349-395 - [e1]Kevin Lano:
UML 2 Semantics and Applications. Wiley 2009, ISBN 978-0-470-40908-4 [contents] - 2008
- [j21]Kevin Lano:
Constraint-driven development. Inf. Softw. Technol. 50(5): 406-423 (2008) - [c52]Kevin Lano, David Clark:
Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49 - [c51]Kevin Lano, David Clark:
Model Transformation Specification and Verification. QSIC 2008: 45-54 - 2007
- [j20]Kevin Lano, David Clark:
Direct Semantics of Extended State Machines. J. Object Technol. 6(9): 35-51 (2007) - [c50]Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63 - [c49]Kevin Lano:
Formal Specification using Interaction Diagrams. SEFM 2007: 293-304 - 2006
- [j19]Kevin Lano, José Luiz Fiadeiro:
Extending UML with coordination contracts. Softw. Syst. Model. 5(2): 110-120 (2006) - 2005
- [b4]Kevin Lano:
Advanced systems design with Java, UML and MDA. Elsevier 2005, ISBN 978-0-7506-6496-7, pp. I-VIII, 1-378 - [c48]Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. REFINE 2005: 131-149 - 2004
- [c47]Kevin Lano, Runa Jesmin:
Generating Accessible and Usable Internet Systems. ICWI 2004: 75-82 - [c46]Kevin Lano, David Clark, Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206 - 2003
- [j18]Kevin Lano, David Clark, Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux 9(4): 53-73 (2003) - [c45]Runa Jesmin, Kevin Lano:
Internet System Design for the Disabled Net. Software Engineering Research and Practice 2003: 956-962 - 2002
- [b3]Kevin Lano, José Luiz Fiadeiro, Luís Filipe Andrade:
Software design using Java 2. Palgrave Macmillan 2002, ISBN 978-1-4039-0230-6, pp. I-VIII, 1-311 - [c44]Kevin Lano, David Clark, Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68 - [c43]Kevin Lano, David Clark, Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93 - 2001
- [j17]Kevin Lano:
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. Softw. Test. Verification Reliab. 11(1): 55 (2001) - 2000
- [j16]Kevin Lano, Robert B. France, Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy. Comput. J. 43(6): 451-468 (2000) - [c42]Kevin Lano, Kelly Androutsopoulos, David Clark:
Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111 - [c41]Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57 - [c40]Kevin Lano, Kelly Androutsopoulos, Pauline Kan:
Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34 - [c39]Kevin Lano, Juan Bicarregui, Andy Evans:
Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000
1990 – 1999
- 1999
- [j15]Kevin Lano, N. Malik:
Mapping Procedural Patterns to Object-Oriented Design Patterns. Autom. Softw. Eng. 6(3): 265-289 (1999) - [c38]Kevin Lano, Andy Evans:
Rigorous Development in UML. FASE 1999: 129-144 - [c37]Kevin Lano, Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434 - [c36]Stephen J. Goldsack, Kevin Lano:
Models Involving Multiple Instances of a Component. LMO 1999: 245-260 - [p3]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Meta-Modelling Semantics of UML. Behavioral Specifications of Businesses and Systems 1999: 45-60 - [p2]Kevin Lano, Juan Bicarregui:
Formalising the UML in Structured Temporal Theories. Behavioral Specifications of Businesses and Systems 1999: 161-174 - 1998
- [j14]Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe:
The UML as a formal modeling notation. Comput. Stand. Interfaces 19(7): 325-334 (1998) - [j13]Kevin Lano:
Logical Specification of Reactive and Real-Time Systems. J. Log. Comput. 8(5): 679-711 (1998) - [c35]T. S. E. Maibaum, Pauline Kan, Kevin Lano:
Systematising Reactive System Design. AMAST 1998: 17-22 - [c34]Kevin Lano, Pauline Kan, Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP 1998: 60-74 - [c33]Kevin Lano,