![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Kevin Lano
Person information
- affiliation: King's College London
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j47]Hanan Siala, Kevin Lano
, Hessa Alfraihi
:
Model-Driven Approaches for Reverse Engineering - A Systematic Literature Review. IEEE Access 12: 62558-62580 (2024) - [j46]Kevin Lano, Hanan Siala:
Using model-driven engineering to automate software language translation. Autom. Softw. Eng. 31(1): 20 (2024) - [j45]Muhammad Aminu Umar
, Kevin Lano
:
Advances in automated support for requirements engineering: a systematic literature review. Requir. Eng. 29(2): 177-207 (2024) - [j44]Kevin Lano
, Qiaomu Xue, Howard P. Haughton:
A Concrete Syntax Transformation Approach for Software Language Processing. SN Comput. Sci. 5(5): 645 (2024) - [c121]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar:
Comparative Evaluation of NLP Approaches for Requirements Formalisation. MODELSWARD 2024: 125-132 - [c120]Kevin Lano, Hessa Alfraihi, Howard P. Haughton:
Research directions for agile model-driven engineering. STAF Workshops 2024: 1-11 - [c119]Kevin Lano, Lyan Alwakeel, Zishan Rahman:
Software modelling for sustainable software engineering. STAF Workshops 2024: 23-33 - [c118]Qiaomu Xue, Kevin Lano:
Software language translation by example. STAF Workshops 2024: 34-44 - [c117]Asad Rahman, Kevin Lano, Howard P. Haughton:
Model driven engineering in finance: Bond valuation, from formulae to code. STAF Workshops 2024: 50-54 - [e2]Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya:
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023. CEUR Workshop Proceedings 3620, CEUR-WS.org 2024 [contents] - 2023
- [b6]Kevin Lano, Sobhan Yassipour Tehrani:
Introduction to Software Architecture - Innovative Design using Clean Architecture and Model-Driven Engineering. Undergraduate Topics in Computer Science, Springer 2023, ISBN 978-3-031-44142-4, pp. 11-251 - [j43]Kevin Lano
, Qiaomu Xue:
Code Generation by Example Using Symbolic Machine Learning. SN Comput. Sci. 4(2): 170 (2023) - [j42]Alireza Rouhi
, Kevin Lano
:
Towards a pattern-based model transformation framework. Softw. Pract. Exp. 53(9): 1815-1849 (2023) - [c116]Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi:
Program Abstraction and Re-Engineering: An Agile MDE Approach. MoDELS (Companion) 2023: 211-220 - [c115]Hessa Alfraihi, Kevin Lano:
Trends and Insights into the Use of Model-Driven Engineering: A Survey. MoDELS (Companion) 2023: 286-295 - [c114]Kevin Lano, Qiaomu Xue:
Lightweight Software Language Processing Using Antlr and CGTL. MODELSWARD 2023: 19-30 - [c113]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin:
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. MODELSWARD 2023: 237-244 - [c112]Lyan Alwakeel, Kevin Lano, Hessa Alfraihi:
Towards Integrating Machine Learning Models into Mobile Apps using AppCraft. Agile MDE/MeSS/TTC@STAF 2023 - [c111]Howard P. Haughton, Sobhan Yassipour Tehrani, Kevin Lano:
MathOCL: a domain-specific language for financial modelling. Agile MDE/MeSS/TTC@STAF 2023 - [c110]Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Program abstraction by transformation: Abstraction of Visual Basic to UML. Agile MDE/MeSS/TTC@STAF 2023 - [c109]Kevin Lano, Alireza Rouhi:
KMEHR to FHIR case solution with UML-RSDS. Agile MDE/MeSS/TTC@STAF 2023 - [c108]Sobhan Yassipour Tehrani, Kevin Lano:
Using MDE with the Clean Architecture. Agile MDE/MeSS/TTC@STAF 2023 - [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, Juan Bicarregui
:
Semantics and Transformations for UML Models. UML 1998: 107-119 - [c32]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. UML 1998: 336-348 - [c31]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. IEE Proc. Softw. Eng. 144(2): 119-133 (1997) - [c30]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211 - [c29]Kevin Lano, Arturo Sanchez:
Transformational Formal Development of Real-Time Systems. ARTS 1997: 184-198 - [c28]Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324 - [c27]Juan Bicarregui
, Kevin Lano, T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343 - [c26]Juan Bicarregui
, Kevin Lano, T. S. E. Maibaum:
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160 - [c25]Kevin Lano, Stephen J. Goldsack:
Formalizing Real-Time System Design. ECOOP Workshops 1997: 436-445 - [c24]Kevin Lano, Arturo Sanchez:
Design of Reactive Control Systems for Event-Drivem Operations. FME 1997: 142-161 - [c23]Kevin Lano, Juan Bicarregui
, José Luiz Fiadeiro, Antónia Lopes
:
Specification of Required Non-determinism. FME 1997: 298-317 - [c22]N. Malik, Kevin Lano:
A Formal Approach to Design Patterns in Re-Engineering. IWFM 1997 - [c21]Kevin Lano:
Refinement and Safety Analysis. SAFECOMP 1997: 223-240 - [c20]Kevin Lano, Stephen J. Goldsack, Juan Bicarregui
, Stuart Kent:
Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219 - [c19]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]Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Annealing and Data Decomposition in VDM++. ACM SIGPLAN Notices 31(4): 32-38 (1996) - [j10]Kevin Lano:
Enhancing Object-Oriented Methods with Formal Notations. Theory Pract. Object Syst. 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. Inf. Softw. Technol. 37(5-6): 303-316 (1995) - [c18]Kevin Lano:
Distributed System Specification in VDM++. FORTE 1995: 23-38 - [c17]Kevin Lano, Stephen J. Goldsack:
Discrete event process controller synthesis using VDM++. ICECCS 1995: 129-136 - [c16]Kevin Lano:
Specifying static analysis tools using formal methods. ICECCS 1995: 254- - [c15]Kevin Lano:
Reactive System Specification and Refinement. TAPSOFT 1995: 696-710 - 1994
- [j8]Kevin Lano:
Transformational Program Analysis. Softw. Test. Verification Reliab. 4(3): 155-189 (1994) - [c14]Kevin Lano, Stephen J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363 - [c13]Kevin Lano, Howard P. Haughton:
Improving the Process of System Specification and Refinement in B. Refine 1994: 45-68 - [c12]Howard P. Haughton, Kevin Lano:
Testing and Safety Analysis of AM (Abstract Machine) Specifications. Refine 1994: 69-79 - [c11]Kevin Lano:
Refinement in Object-Oriented Specification Languages. Refine 1994: 236-259 - 1993
- [j7]Kevin Lano:
The Intuitionistic Alternative Set Theory. Ann. Pure Appl. Log. 59(2): 141-156 (1993) - [j6]Jonathan P. Bowen
, Peter T. Breuer
, Kevin Lano:
A compendium of formal techniques for software maintenance. Softw. Eng. J. 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. Inf. Softw. Technol. 35(11-12): 679-690 (1993) - [j4]Kevin Lano, Peter T. Breuer
, Howard P. Haughton:
Reverse-engineering Cobol via formal methods. J. Softw. Maintenance Res. Pract. 5(1): 13-35 (1993) - [c10]Kevin Lano, Howard P. Haughton:
Integrating Formal and Structured Methods in Reverse Engineering. WCRE 1993: 17-26 - 1992
- [c9]Kevin Lano, Howard P. Haughton:
Reasoning and Refinement in Object-Oriented Specification Languages. ECOOP 1992: 78-97 - [c8]Kevin Lano:
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. LFCS 1992: 258-268 - [c7]Kevin Lano:
Object-Oriented Specification Techniques. TOOLS (7) 1992: 403 - [c6]Kevin Lano, Howard P. Haughton:
Reuse and Adaptation of Z Specifications. Z User Workshop 1992: 62-90 - [p1]Kevin Lano:
Z++. Object Orientation in Z 1992: 105-112 - 1991
- [j3]Kevin Lano:
Intuitionistic Modal Logic and Set Theory. J. Symb. Log. 56(2): 497-516 (1991) - [j2]Peter T. Breuer
, Kevin Lano:
Creating specifications from code: Reverse-engineering techniques. J. Softw. Maintenance Res. Pract. 3(3): 145-162 (1991) - [j1]Kevin Lano, Howard P. Haughton:
A specification-based approach to maintenance. J. Softw. Maintenance Res. Pract. 3(4): 193-213 (1991) - [c5]Kevin Lano, Howard P. Haughton:
An Algebraic Semantics for the Specification Language Z++. AMAST 1991: 478-493 - [c4]Kevin Lano:
A Constraint-Based Fuzzy Inference System. EPIA 1991: 45-59 - [c3]Howard P. Haughton, Kevin Lano:
Objects revisited. ICSM 1991: 152-161 - 1990
- [c2]Kevin Lano:
Z++, An Object-orientated Extension to Z. Z User Workshop 1990: 151-172
1980 – 1989
- 1989
- [c1]Kevin Lano, Peter T. Breuer
:
From Programs to Z Specifications. Z User Workshop 1989: 46-70
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-27 16:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint