


Остановите войну!
for scientists:


default search action
Kevin 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,