Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarKevin 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
2010 – today
- 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- [j35]Kevin Lano
, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Declarative Specification of Bidirectional Transformations Using Design Patterns. IEEE Access 7: 5222-5249 (2019) - [c89]Kevin Lano, Shichao Fang, Hessa Alfraihi, Sobhan Kolahdouz Rahimi:
Simplified Specification Languages for Flexible and Agile Modelling. MODELS Companion 2019: 460-467 - [c88]Shichao Fang, Kevin Lano:
Extracting Correspondences from Metamodels Using Metamodel Matching. STAF (Co-Located Events) 2019: 3-8 - 2018
- [j34]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf:
A survey of model transformation design patterns in practice. Journal of Systems and Software 140: 48-73 (2018) - [c87]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi:
Technical Debt in Model Transformation Specifications. ICMT 2018: 127-141 - [c86]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 - [c85]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
- [c84]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf:
A Survey of Model Transformation Design Pattern Usage. ICMT 2017: 108-118 - [c83]Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Agile Model-driven Engineering of Financial Applications. MODELS (Satellite Events) 2017: 388-392 - [c82]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 - [c81]Hessa Alfraihi, Kevin Lano:
A Process for Integrating Agile Software Development and Model-driven Development. MODELS (Satellite Events) 2017: 412-417 - [c80]Hessa Alfraihi, Kevin Lano:
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. MODELSWARD 2017: 451-458 - [c79]Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Translating UML-RSDS OCL to ANSI C. STAF Workshops 2017: 317-330 - 2016
- [c78]Sobhan Yassipour Tehrani, Steffen Zschaler, Kevin Lano:
Requirements Engineering in Model-Transformation Development: An Interview-Based Study. ICMT 2016: 123-137 - [c77]Kevin Lano, Sobhan Yassipour Tehrani:
Verified bidirectional transformations by construction. PAME/VOLT@MODELS 2016: 28-37 - [c76]Kevin Lano, Shekoufeh Yassipour Tehrani, Sobhan Kolahdouz Rahimi:
Solving the Class Responsibility Assignment Case with UML-RSDS. TTC@STAF 2016: 9-14 - 2015
- [j33]Kevin Lano, Tony Clark, Shekoufeh Kolahdouz Rahimi:
A framework for model transformation verification. Formal Asp. Comput. 27(1): 193-235 (2015) - [c75]Krikor Maroukian, Kevin Lano, Mohammad Yamin:
Towards Automatic Generation of Project-Based Solutions. ICISO 2015: 123-134 - [c74]Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Experiences of Teaching Model-based Development. EduSymp@MoDELS 2015: 43-54 - [c73]Kevin Lano, Sobhan Yassipour Tehrani:
Design Patterns for Model Transformations: Current Research and Future Directions. PAME@STAF 2015: 1-5 - [c72]Sobhan Yassipour Tehrani, Kevin Lano:
Temporal Logic Specification and Analysis for Model Transformations. VOLT@STAF 2015: 2-11 - [c71]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Model Transformation Semantic Analysis by Transformation. VOLT@STAF 2015: 46-53 - 2014
- [j32]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) - [j31]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) - [j30]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. Software and Systems Modeling 13(1): 323-359 (2014) - [j29]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler:
Correct-by-construction synthesis of model transformations using transformation patterns. Software and Systems Modeling 13(2): 873-907 (2014) - [j28]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Transformation Design Patterns. IEEE Trans. Software Eng. 40(12): 1224-1259 (2014) - [c70]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations. CloudCom 2014: 138-145 - [c69]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 - [c68]Kevin Lano, Krikor Maroukian, Sobhan Yassipour Tehrani:
Case study: FIXML to Java, C# and C++. TTC@STAF 2014: 2-6 - [c67]Kevin Lano:
Null Considered Harmful (for Transformation Verification). VOLT@STAF 2014: 26-35 - [c66]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark:
Language-Independent Model Transformation Verification. VOLT@STAF 2014: 36-45 - [c65]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
- [j27]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Constraint-based specification of model transformations. Journal of Systems and Software 86(2): 412-436 (2013) - [c64]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Runtime Infrastructure Optimisation in Cloud IaaS Structures. CloudCom (1) 2013: 687-692 - [c63]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Optimising Model-transformations using Design Patterns. MODELSWARD 2013: 77-82 - [c62]Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Towards a Meta-model of the Cloud Computing Resource Landscape. MODELSWARD 2013: 111-116 - [c61]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Case study: Class diagram restructuring. TTC 2013: 8-15 - [c60]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. TTC 2013: 101-105 - 2012
- [j26]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model Transformation Specification and Design. Advances in Computers 85: 123-163 (2012) - [j25]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo:
Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Software and Informatics 6(2): 233-269 (2012) - [c59]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Synthesis of Software from Logical Constraints. ICSOFT 2012: 355-358 - 2011
- [j24]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing Techniques for UML Models. Journal of Object Technology 10: 11: 1-49 (2011) - [c58]Shekoufeh Kolahdouz Rahimi, Kevin Lano:
A Model-Based Development Approach for Model Transformations. FSEN 2011: 48-63 - [c57]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Driven Development of Model Transformations. ICMT 2011: 47-61 - [c56]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 - [c55]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS. TTC 2011: 36-41 - [c54]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. TTC 2011: 325-331 - 2010
- [c53]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models. ICSOFT (2) 2010: 259-262 - [c52]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Specification and Verification of Model Transformations Using UML-RSDS. IFM 2010: 199-214 - [c51]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models Using Model Transformations. MoDELS (2) 2010: 228-242
2000 – 2009
- 2009
- [j23]Kevin Lano:
A compositional semantics of UML-RSDS. Software and Systems Modeling 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
- [j22]Kevin Lano:
Constraint-driven development. Information & Software Technology 50(5): 406-423 (2008) - [c50]Kevin Lano, David Clark:
Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49 - [c49]Kevin Lano, David Clark:
Model Transformation Specification and Verification. QSIC 2008: 45-54 - 2007
- [j21]Kevin Lano, David Clark:
Direct Semantics of Extended State Machines. Journal of Object Technology 6(9): 35-51 (2007) - [c48]Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63 - [c47]Kevin Lano:
Formal Specification using Interaction Diagrams. SEFM 2007: 293-304 - 2006
- [j20]Kevin Lano, José Luiz Fiadeiro:
Extending UML with coordination contracts. Software and Systems Modeling 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 - [j19]Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005) - 2004
- [c46]Kevin Lano, Runa Jesmin:
Generating Accessible and Usable Internet Systems. ICWI 2004: 75-82 - [c45]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. L'OBJET 9(4): 53-73 (2003) - [c44]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, Luis Filipe Andrade:
Software design using Java 2. Palgrave Macmillan 2002, ISBN 978-1-4039-0230-6, pp. I-VIII, 1-311 - [c43]Kevin Lano, David Clark, Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68 - [c42]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., Verif. 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) - [c41]Kevin Lano, Kelly Androutsopoulos, David Clark:
Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111 - [c40]Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57 - [c39]Kevin Lano, Kelly Androutsopoulos, Pauline Kan:
Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34 - [c38]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) - [c37]Kevin Lano, Andy Evans:
Rigorous Development in UML. FASE 1999: 129-144 - [c36]Kevin Lano, Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434 - [c35]S. 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. Computer Standards & 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) - [c34]T. S. E. Maibaum, Pauline Kan, Kevin Lano:
Systematising Reactive System Design. AMAST 1998: 17-22 - [c33]Kevin Lano, Pauline Kan, Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP 1998: 60-74 - [c32]Kevin Lano, Juan Bicarregui:
Semantics and Transformations for UML Models. UML 1998: 107-119 - [c31]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. UML 1998: 336-348 - [c30]Kevin Lano, Pauline Kan, Arturo Sanchez:
Compositional Specification of Controllers for Batch Process Operations. ZUM 1998: 250-264 - 1997
- [j12]Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach:
Formal methods into practice: case studies in the application of the B method. Software Engineering - IEE Proceedings 144(2): 119-133 (1997) - [c29]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211 - [c28]Kevin Lano, Arturo Sanchez:
Transformational Formal Development of Real-Time Systems. ARTS 1997: 184-198 - [c27]S. J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324 - [c26]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343 - [c25]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160 - [c24]Kevin Lano, S. J. Goldsack:
Formalizing Real-Time System Design. ECOOP Workshops 1997: 436-445 - [c23]Kevin Lano, Arturo Sanchez:
Design of Reactive Control Systems for Event-Drivem Operations. FME 1997: 142-161 - [c22]Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes:
Specification of Required Non-determinism. FME 1997: 298-317 - [c21]N. Malik, Kevin Lano:
A Formal Approach to Design Patterns in Re-Engineering. IWFM 1997 - [c20]Kevin Lano:
Refinement and Safety Analysis. SAFECOMP 1997: 223-240 - [c19]Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent:
Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219 - [c18]Kevin Lano:
Specifying Reactive Systems in B AMN. ZUM 1997: 242-274 - 1996
- [b2]Kevin Lano:
The B language and method - a guide to practical formal development. FACIT: Formal approaches to computing and information technology, Springer 1996, ISBN 978-3-540-76033-7, pp. 1-232 - [j11]S. J. Goldsack, Kevin Lano, Eugène Dürr:
Annealing and Data Decomposition in VDM++. SIGPLAN Notices 31(4): 32-38 (1996) - [j10]Kevin Lano:
Enhancing Object-Oriented Methods with Formal Notations. TAPOS 2(4): 247-268 (1996) - 1995
- [b1]Kevin Lano:
Formal object-oriented development. FACIT: Formal approaches to computing and information technology, Springer 1995, ISBN 978-3-540-19978-6, pp. 1-422 - [j9]Kevin Lano, Howard P. Haughton:
Formal development in B abstract machine notation. Information & Software Technology 37(5-6): 303-316 (1995) - [c17]Kevin Lano:
Distributed System Specification in VDM++. FORTE 1995: 23-38 - [c16]Kevin Lano, S. J. Goldsack:
Discrete event process controller synthesis using VDM/sup ++/. ICECCS 1995: 129-136 - [c15]Kevin Lano:
Specifying static analysis tools using formal methods. ICECCS 1995: 254- - [c14]Kevin Lano:
Reactive System Specification and Refinement. TAPSOFT 1995: 696-710 - 1994
- [j8]Kevin Lano:
Transformational Program Analysis. Softw. Test., Verif. Reliab. 4(3): 155-189 (1994) - [c13]Kevin Lano, S. J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363 - [c12]Kevin Lano, Howard P. Haughton:
Improving the Process of System Specification and Refinement in B. Refine 1994: 45-68 - [c11]Howard P. Haughton, Kevin Lano:
Testing and Safety Analysis of AM (Abstract Machine) Specifications. Refine 1994: 69-79 - [c10]Kevin Lano:
Refinement in Object-Oriented Specification Languages. Refine 1994: 236-259 - 1993
- [j7]Kevin Lano:
The Intuitionistic Alternative Set Theory. Ann. Pure Appl. Logic 59(2): 141-156 (1993) - [j6]Jonathan P. Bowen, Peter T. Breuer, Kevin Lano:
A compendium of formal techniques for software maintenance. Software Engineering Journal 8(5): 253-262 (1993) - [j5]Jonathan P. Bowen, Peter T. Breuer, Kevin Lano:
Formal specifications in software maintenance: from code to Z++ and back again. Information & Software Technology 35(11-12): 679-690 (1993) - [j4]