default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Lano

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/AlwakeelLA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AlwakeelLA25
Lyan Alwakeel, Kevin Lano, Hessa Alfraihi:
AppCraft: Model-Driven Development Framework for Mobile Applications. IEEE Access 13: 23658-23699 (2025)
[j52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/HemmatSRLT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/HemmatSRLT25
Arshia Hemmat, Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani:
Research directions for using LLM in software requirement engineering: a systematic review. Frontiers Comput. Sci. 7 (2025)
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/UmarLA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/UmarLA25
Muhammad Aminu Umar, Kevin Lano, Abdullahi Kutiriko Abubakar:
Automated requirements engineering framework for agile model-driven development. Frontiers Comput. Sci. 7 (2025)
2024
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/SialaLA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SialaLA24
Hanan Abdulwahab Siala, Kevin Lano, Hessa Alfraihi:
Model-Driven Approaches for Reverse Engineering - A Systematic Literature Review. IEEE Access 12: 62558-62580 (2024)
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ase/LanoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LanoS24
Kevin Lano, Hanan Abdulwahab Siala:
Using model-driven engineering to automate software language translation. Autom. Softw. Eng. 31(1): 20 (2024)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/LanoHYA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/LanoHYA24
Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi:
Agile model-driven re-engineering. Innov. Syst. Softw. Eng. 20(4): 559-584 (2024)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/re/UmarL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/UmarL24
Muhammad Aminu Umar, Kevin Lano:
Advances in automated support for requirements engineering: a systematic literature review. Requir. Eng. 29(2): 177-207 (2024)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/JinL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/JinL24
Kunxiang Jin, Kevin Lano:
Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric. J. Softw. Evol. Process. 36(11) (2024)
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sncs/LanoXH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/LanoXH24
Kevin Lano, Qiaomu Xue, Howard P. Haughton:
A Concrete Syntax Transformation Approach for Software Language Processing. SN Comput. Sci. 5(5): 645 (2024)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LanoRTBU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LanoRTBU24
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Lola Burgueño, Muhammad Aminu Umar:
Introduction to theme section on requirements formalisation. Softw. Syst. Model. 23(6): 1451-1453 (2024)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoS24
Kevin Lano, Hanan Abdulwahab Siala:
Using OCL for verified re-engineering. MoDELS (Companion) 2024: 1121-1130
[c121]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/modelsward/RahimiLTLLU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RahimiLTLLU24
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoAH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoAH24
Kevin Lano, Hessa Alfraihi, Howard P. Haughton:
Research directions for agile model-driven engineering. STAF Workshops 2024: 1-11
[c119]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoAR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoAR24
Kevin Lano, Lyan Alwakeel, Zishan Rahman:
Software modelling for sustainable software engineering. STAF Workshops 2024: 23-33
[c118]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/XueL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/XueL24
Qiaomu Xue, Kevin Lano:
Software language translation by example. STAF Workshops 2024: 34-44
[c117]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/RahmanLH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/RahmanLH24
Asad Rahman, Kevin Lano, Howard P. Haughton:
Model driven engineering in finance: Bond valuation, from formulae to code. STAF Workshops 2024: 50-54
[e2]
- view
- export record
  dblp key:
  - conf/ttc/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/2023
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]
- view
  authority control:
- export record
  dblp key:
  - series/utcs/LanoT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/utcs/LanoT23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sncs/LanoX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/LanoX23
Kevin Lano, Qiaomu Xue:
Code Generation by Example Using Symbolic Machine Learning. SN Comput. Sci. 4(2): 170 (2023)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/RouhiL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/RouhiL23
Alireza Rouhi, Kevin Lano:
Towards a pattern-based model transformation framework. Softw. Pract. Exp. 53(9): 1815-1849 (2023)
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoHYA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoHYA23
Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi:
Program Abstraction and Re-Engineering: An Agile MDE Approach. MoDELS (Companion) 2023: 211-220
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AlfraihiL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AlfraihiL23
Hessa Alfraihi, Kevin Lano:
Trends and Insights into the Use of Model-Driven Engineering: A Survey. MoDELS (Companion) 2023: 286-295
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LanoX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LanoX23
Kevin Lano, Qiaomu Xue:
Lightweight Software Language Processing Using Antlr and CGTL. MODELSWARD 2023: 19-30
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RahimiLL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RahimiLL23
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin:
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. MODELSWARD 2023: 237-244
[c112]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ttc/AlwakeelLA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/AlwakeelLA23
Lyan Alwakeel, Kevin Lano, Hessa Alfraihi:
Towards Integrating Machine Learning Models into Mobile Apps using AppCraft. Agile MDE/MeSS/TTC@STAF 2023
[c111]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ttc/HaughtonTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/HaughtonTL23
Howard P. Haughton, Sobhan Yassipour Tehrani, Kevin Lano:
MathOCL: a domain-specific language for financial modelling. Agile MDE/MeSS/TTC@STAF 2023
[c110]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ttc/LanoR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/LanoR23
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Program abstraction by transformation: Abstraction of Visual Basic to UML. Agile MDE/MeSS/TTC@STAF 2023
[c109]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ttc/LanoR23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/LanoR23a
Kevin Lano, Alireza Rouhi:
KMEHR to FHIR case solution with UML-RSDS. Agile MDE/MeSS/TTC@STAF 2023
[c108]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ttc/TehraniL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/TehraniL23
Sobhan Yassipour Tehrani, Kevin Lano:
Using MDE with the Clean Architecture. Agile MDE/MeSS/TTC@STAF 2023
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13365
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/RouhiRL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/RouhiRL22
Alireza Rouhi, Shekoufeh Kolahdouz Rahimi, Kevin Lano:
Formalizing model transformation patterns. J. Softw. Evol. Process. 34(2) (2022)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LanoRTA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LanoRTA22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/LanoRF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/LanoRF22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Lano22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Lano22
Kevin Lano:
Program translation using model-driven engineering. ICSE-Companion 2022: 362-363
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JinL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JinL22
Kunxiang Jin, Kevin Lano:
OCL-based test case prioritisation using AgileUML. MoDELS (Companion) 2022: 607-611
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JinL22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JinL22a
Kunxiang Jin, Kevin Lano:
Design and classification of mutation operators for OCL specification. MoDELS (Companion) 2022: 852-861
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoRJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoRJ22
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin:
OCL libraries for software specification and representation. MoDELS (Companion) 2022: 894-898
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LanoX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LanoX22
Kevin Lano, Qiaomu Xue:
Code Generation by Example. MODELSWARD 2022: 84-92
2021
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/DerakhshandiRTL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/DerakhshandiRTL21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LanoR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LanoR21
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Implementing QVT-R via semantic interpretation in UML-RSDS. Softw. Syst. Model. 20(3): 725-766 (2021)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/LanoJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/LanoJT21
Kevin Lano, Kunxiang Jin, Shefali Tyagi:
Model-based Testing and Monitoring using AgileUML. ANT/EDI40 2021: 773-778
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/LanoR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/LanoR21
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Extending OCL with Map and Function Types. FSEN 2021: 108-123
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/JinL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/JinL21
Kunxiang Jin, Kevin Lano:
Generation of Test Cases from UML Diagrams - A Systematic Literature Review. ISEC 2021: 7:1-7:10
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/LanoARH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/LanoARH21
Kevin Lano, Lyan Alwakeel, Shekoufeh Kolahdouz Rahimi, Howard P. Haughton:
Synthesis of mobile applications using AgileUML. ISEC 2021: 11:1-11:10
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoTU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoTU21
Kevin Lano, Sobhan Yassipour Tehrani, Muhammad Aminu Umar:
Automated Requirements Formalisation for Agile MDE. MoDELS (Companion) 2021: 173-180
[c97]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/JinL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/JinL21
Kunxiang Jin, Kevin Lano:
Mutation Operators for Object Constraint Language Specification. STAF Workshops 2021: 128-134
[c96]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/Lano21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/Lano21
Kevin Lano:
Implementing OCL in Swift. STAF Workshops 2021: 135-141
[c95]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/Lano21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/Lano21a
Kevin Lano:
Adding Regular Expression Operators to OCL. STAF Workshops 2021: 162-168
2020
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/RahimiLSKA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/RahimiLSKA20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/RahimiLK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/RahimiLK20
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Meysam Karimi:
Technical debt in procedural model transformation languages. J. Comput. Lang. 59: 100971 (2020)
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoFUY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoFUY20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoFR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoFR20
Kevin Lano, Shichao Fang, Shekoufeh Kolahdouz Rahimi:
TL: an abstract specification language for bidirectional transformations. MoDELS (Companion) 2020: 77:1-77:10
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LanoF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LanoF20
Kevin Lano, Shichao Fang:
Automated Synthesis of ATL Transformations from Metamodel Correspondences. MODELSWARD 2020: 263-270

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b5]
- view
  authority control:
- export record
  dblp key:
  - series/utcs/LanoH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/utcs/LanoH19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/LanoRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LanoRT19
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Declarative Specification of Bidirectional Transformations Using Design Patterns. IEEE Access 7: 5222-5249 (2019)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoFAR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoFAR19
Kevin Lano, Shichao Fang, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Simplified Specification Languages for Flexible and Agile Modelling. MoDELS (Companion) 2019: 460-467
[c90]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/FangL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/FangL19
Shichao Fang, Kevin Lano:
Extracting Correspondences from Metamodels Using Metamodel Matching. STAF (Co-Located Events) 2019: 3-8
2018
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LanoRTS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LanoRTS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/LanoRSA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/LanoRSA18
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi:
Technical Debt in Model Transformation Specifications. ICMT 2018: 127-141
[c88]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/LanoARSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoARSH18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sam/AlfraihiLRSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sam/AlfraihiLRSH18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/LanoRTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/LanoRTS17
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf:
A Survey of Model Transformation Design Pattern Usage. ICMT 2017: 108-118
[c85]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/LanoHTA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoHTA17
Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Agile Model-driven Engineering of Financial Applications. MoDELS (Satellite Events) 2017: 388-392
[c84]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AlfraihiL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AlfraihiL17
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AlfraihiL17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AlfraihiL17a
Hessa Alfraihi, Kevin Lano:
A Process for Integrating Agile Software Development and Model-driven Development. MoDELS (Satellite Events) 2017: 412-417
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/AlfraihiL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/AlfraihiL17
Hessa Alfraihi, Kevin Lano:
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. MODELSWARD 2017: 451-458
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/LanoTAR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoTAR17
Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Translating UML-RSDS OCL to ANSI C. STAF Workshops 2017: 317-330
2016
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/TehraniZL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/TehraniZL16
Sobhan Yassipour Tehrani, Steffen Zschaler, Kevin Lano:
Requirements Engineering in Model-Transformation Development: An Interview-Based Study. ICMT 2016: 123-137
[c79]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/LanoT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoT16
Kevin Lano, Sobhan Yassipour Tehrani:
Verified bidirectional transformations by construction. PAME/VOLT@MoDELS 2016: 28-37
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoTR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoTR16
Kevin Lano, Sobhan Yassipour Tehrani, Shekoufeh Kolahdouz Rahimi:
Solving the Class Responsibility Assignment Case with UML-RSDS. TTC@STAF 2016: 9-14
2015
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LanoCR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LanoCR15
Kevin Lano, Tony Clark, Shekoufeh Kolahdouz Rahimi:
A framework for model transformation verification. Formal Aspects Comput. 27(1): 193-235 (2015)
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iciso/MaroukianLY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciso/MaroukianLY15
Krikor Maroukian, Kevin Lano, Mohammad Yamin:
Towards Automatic Generation of Project-Based Solutions. ICISO 2015: 123-134
[c76]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/LanoTA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoTA15
Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi:
Experiences of Teaching Model-based Development. EduSymp@MoDELS 2015: 43-54
[c75]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoT15
Kevin Lano, Sobhan Yassipour Tehrani:
Design Patterns for Model Transformations: Current Research and Future Directions. PAME@STAF 2015: 1-5
[c74]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/TehraniL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/TehraniL15
Sobhan Yassipour Tehrani, Kevin Lano:
Temporal Logic Specification and Analysis for Model Transformations. VOLT@STAF 2015: 2-11
[c73]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoRT15
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani:
Model Transformation Semantic Analysis by Transformation. VOLT@STAF 2015: 46-53
2014
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RahimiLPTG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RahimiLPTG14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JakumeitBWDHHHKKLLRRWM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JakumeitBWDHHHKKLLRRWM14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RoseHMGBHKKLSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RoseHMGBHKKLSW14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LanoRPTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LanoRPTZ14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LanoR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LanoR14
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Transformation Design Patterns. IEEE Trans. Software Eng. 40(12): 1224-1259 (2014)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cloudcom/ChatziprimouLZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloudcom/ChatziprimouLZ14
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations. CloudCom 2014: 138-145
[c71]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/AmraniSWBG0L14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/AmraniSWBG0L14
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoMT14
Kevin Lano, Krikor Maroukian, Sobhan Yassipour Tehrani:
Case study: FIXML to Java, C# and C++. TTC@STAF 2014: 2-6
[c69]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/Lano14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/Lano14
Kevin Lano:
Null Considered Harmful (for Transformation Verification). VOLT@STAF 2014: 26-35
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoRC14
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark:
Language-Independent Model Transformation Verification. VOLT@STAF 2014: 36-45
[c67]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/LanoT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/LanoT14
Kevin Lano, Sobhan Yassipour Tehrani:
Solving the TTC 2014 Movie Database Case with UML-RSDS. TTC@STAF 2014: 150-154
[p11]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Lano14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Lano14
Kevin Lano:
Design Patterns: Applications and Open Issues. Cyberpatterns 2014: 37-45
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/EvansLFR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EvansLFR14
Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe:
Meta-Modeling Semantics of UML. CoRR abs/1409.6917 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/EvansFLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EvansFLR14
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. CoRR abs/1409.6919 (2014)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/EvansFLR14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EvansFLR14a
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Developing the UML as a Formal Modelling Notation. CoRR abs/1409.6928 (2014)
2013
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LanoR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LanoR13
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Constraint-based specification of model transformations. J. Syst. Softw. 86(2): 412-436 (2013)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cloudcom/ChatziprimouLZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloudcom/ChatziprimouLZ13
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Runtime Infrastructure Optimisation in Cloud IaaS Structures. CloudCom (1) 2013: 687-692
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LanoR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LanoR13
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Optimising Model-transformations using Design Patterns. MODELSWARD 2013: 77-82
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ChatziprimouLZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ChatziprimouLZ13
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Towards a Meta-model of the Cloud Computing Resource Landscape. MODELSWARD 2013: 111-116
[c63]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LanoR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LanoR13
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Case study: Class diagram restructuring. TTC 2013: 8-15
[c62]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LanoKM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LanoKM13
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. TTC 2013: 101-105
2012
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/LanoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/LanoR12
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model Transformation Specification and Design. Adv. Comput. 85: 123-163 (2012)
[j24]
- view
  - electronic edition @ ijsi.org
  - details & citations
- export record
  dblp key:
  - journals/ijsi/LanoRP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/LanoRP12
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo:
Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Softw. Informatics 6(2): 233-269 (2012)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/LanoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LanoR12
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Synthesis of Software from Logical Constraints. ICSOFT 2012: 355-358
2011
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/LanoR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/LanoR11
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing Techniques for UML Models. J. Object Technol. 10: 11: 1-49 (2011)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/RahimiL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/RahimiL11
Shekoufeh Kolahdouz Rahimi, Kevin Lano:
A Model-Based Development Approach for Model Transformations. FSEN 2011: 48-63
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/LanoR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/LanoR11
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Model-Driven Development of Model Transformations. ICMT@TOOLS 2011: 47-61
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AndroutsopoulosBCGHLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AndroutsopoulosBCGHLL11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4741
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS. TTC 2011: 36-41
[c56]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4763
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. TTC 2011: 325-331
2010
[c55]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/LanoR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LanoR10
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models. ICSOFT (2) 2010: 259-262
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoR10
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Specification and Verification of Model Transformations Using UML-RSDS. IFM 2010: 199-214
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LanoR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LanoR10
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models Using Model Transformations. MoDELS (2) 2010: 228-242

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Lano09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Lano09
Kevin Lano:
A compositional semantics of UML-RSDS. Softw. Syst. Model. 8(1): 85-116 (2009)
[p10]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09
Kevin Lano:
Introduction to the Unified Modeling Language. UML 2 Semantics and Applications 2009: 1-25
[p9]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09a
Kevin Lano:
The Role of Semantics. UML 2 Semantics and Applications 2009: 27-41
[p8]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09b
Kevin Lano:
Axiomatic Semantics of UML Class Diagrams. UML 2 Semantics and Applications 2009: 125-161
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Clark09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Clark09
Kevin Lano, David Clark:
Axiomatic Semantics of State Machines. UML 2 Semantics and Applications 2009: 179-203
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09c
Kevin Lano:
Semantics of Activity Diagrams. UML 2 Semantics and Applications 2009: 281-293
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09d
Kevin Lano:
Verification of UML Models. UML 2 Semantics and Applications 2009: 295-315
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/Lano09e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/Lano09e
Kevin Lano:
Model Transformation Specification and Verification. UML 2 Semantics and Applications 2009: 349-395
[e1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/L2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/L2009
Kevin Lano:
UML 2 Semantics and Applications. Wiley 2009, ISBN 978-0-470-40908-4 [contents]
2008
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/Lano08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/Lano08
Kevin Lano:
Constraint-driven development. Inf. Softw. Technol. 50(5): 406-423 (2008)
[c52]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/LanoC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/LanoC08
Kevin Lano, David Clark:
Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/LanoC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/LanoC08
Kevin Lano, David Clark:
Model Transformation Specification and Verification. QSIC 2008: 45-54
2007
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/LanoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/LanoC07
Kevin Lano, David Clark:
Direct Semantics of Extended State Machines. J. Object Technol. 6(9): 35-51 (2007)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/YuFRL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YuFRL07
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Lano07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Lano07
Kevin Lano:
Formal Specification using Interaction Diagrams. SEFM 2007: 293-304
2006
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LanoF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LanoF06
Kevin Lano, José Luiz Fiadeiro:
Extending UML with coordination contracts. Softw. Syst. Model. 5(2): 110-120 (2006)
2005
[b4]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0015719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0015719
Kevin Lano:
Advanced systems design with Java, UML and MDA. Elsevier 2005, ISBN 978-0-7506-6496-7, pp. I-VIII, 1-378
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LanoAC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanoAC05
Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. REFINE 2005: 131-149
2004
[c47]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iadis/LanoJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iadis/LanoJ04
Kevin Lano, Runa Jesmin:
Generating Accessible and Usable Internet Systems. ICWI 2004: 75-82
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoCA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoCA04
Kevin Lano, David Clark, Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
2003
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/LanoCA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/LanoCA03
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/serp/JesminL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/JesminL03
Runa Jesmin, Kevin Lano:
Internet System Design for the Disabled Net. Software Engineering Research and Practice 2003: 956-962
2002
[b3]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0015718
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0015718
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoCA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoCA02
Kevin Lano, David Clark, Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LanoCA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LanoCA02
Kevin Lano, David Clark, Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
2001
[j17]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/stvr/Lano01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Lano01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/LanoFB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/LanoFB00
Kevin Lano, Robert B. France, Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy. Comput. J. 43(6): 451-468 (2000)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LanoAC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LanoAC00
Kevin Lano, Kelly Androutsopoulos, David Clark:
Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LanoCAK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LanoCAK00
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LanoAK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LanoAK00
Kevin Lano, Kelly Androutsopoulos, Pauline Kan:
Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34
[c39]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/room/LanoBE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/room/LanoBE00
Kevin Lano, Juan Bicarregui, Andy Evans:
Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/LanoM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LanoM99
Kevin Lano, N. Malik:
Mapping Procedural Patterns to Object-Oriented Design Patterns. Autom. Softw. Eng. 6(3): 265-289 (1999)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LanoE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LanoE99
Kevin Lano, Andy Evans:
Rigorous Development in UML. FASE 1999: 129-144
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanoA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanoA99
Kevin Lano, Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434
[c36]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/lmo/GoldsackL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lmo/GoldsackL99
Stephen J. Goldsack, Kevin Lano:
Models Involving Multiple Instances of a Component. LMO 1999: 245-260
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/EvansFLR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/EvansFLR99
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Meta-Modelling Semantics of UML. Behavioral Specifications of Businesses and Systems 1999: 45-60
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/LanoB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/LanoB99
Kevin Lano, Juan Bicarregui:
Formalising the UML in Structured Temporal Theories. Behavioral Specifications of Businesses and Systems 1999: 161-174
1998
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/FranceELR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/FranceELR98
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Lano98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Lano98
Kevin Lano:
Logical Specification of Reactive and Real-Time Systems. J. Log. Comput. 8(5): 679-711 (1998)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/MaibaumKL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/MaibaumKL98
T. S. E. Maibaum, Pauline Kan, Kevin Lano:
Systematising Reactive System Design. AMAST 1998: 17-22
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LanoKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LanoKS98
Kevin Lano, Pauline Kan, Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP 1998: 60-74
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/LanoB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/LanoB98
Kevin Lano, Juan Bicarregui:
Semantics and Transformations for UML Models. UML 1998: 107-119
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/EvansFLR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/EvansFLR98
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. UML 1998: 336-348
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LanoKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LanoKS98
Kevin Lano, Pauline Kan, Arturo Sanchez:
Compositional Specification of Controllers for Batch Process Operations. ZUM 1998: 250-264
1997
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/BicarreguiCFHLLMMMNRRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/BicarreguiCFHLLMMMNRRS97
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/alc/BicarreguiLM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alc/BicarreguiLM97
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/LanoS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/LanoS97
Kevin Lano, Arturo Sanchez:
Transformational Formal Development of Real-Time Systems. ARTS 1997: 184-198
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/GoldsackLD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/GoldsackLD97
Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BicarreguiLM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BicarreguiLM97
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/BicarreguiLM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/BicarreguiLM97
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/LanoG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/LanoG97
Kevin Lano, Stephen J. Goldsack:
Formalizing Real-Time System Design. ECOOP Workshops 1997: 436-445
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LanoS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LanoS97
Kevin Lano, Arturo Sanchez:
Design of Reactive Control Systems for Event-Drivem Operations. FME 1997: 142-161
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LanoBFL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LanoBFL97
Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes:
Specification of Required Non-determinism. FME 1997: 298-317
[c22]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/MalikL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/MalikL97
N. Malik, Kevin Lano:
A Formal Approach to Design Patterns in Re-Engineering. IWFM 1997
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Lano97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Lano97
Kevin Lano:
Refinement and Safety Analysis. SAFECOMP 1997: 223-240
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LanoGBK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LanoGBK97
Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent:
Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Lano97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Lano97
Kevin Lano:
Specifying Reactive Systems in B AMN. ZUM 1997: 242-274
1996
[b2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0083695
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0083695
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/GoldsackLD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/GoldsackLD96
Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Annealing and Data Decomposition in VDM++. ACM SIGPLAN Notices 31(4): 32-38 (1996)
[j10]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/tapos/Lano96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tapos/Lano96
Kevin Lano:
Enhancing Object-Oriented Methods with Formal Notations. Theory Pract. Object Syst. 2(4): 247-268 (1996)
1995
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0080853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0080853
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LanoH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LanoH95
Kevin Lano, Howard P. Haughton:
Formal development in B abstract machine notation. Inf. Softw. Technol. 37(5-6): 303-316 (1995)
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Lano95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Lano95
Kevin Lano:
Distributed System Specification in VDM⁺⁺. FORTE 1995: 23-38
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LanoG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LanoG95
Kevin Lano, Stephen J. Goldsack:
Discrete event process controller synthesis using VDM⁺⁺. ICECCS 1995: 129-136
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Lano95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Lano95
Kevin Lano:
Specifying static analysis tools using formal methods. ICECCS 1995: 254-
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Lano95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Lano95
Kevin Lano:
Reactive System Specification and Refinement. TAPSOFT 1995: 696-710
1994
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Lano94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Lano94
Kevin Lano:
Transformational Program Analysis. Softw. Test. Verification Reliab. 4(3): 155-189 (1994)
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/imperial/LanoG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/LanoG94
Kevin Lano, Stephen J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/refine/LanoH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/LanoH94
Kevin Lano, Howard P. Haughton:
Improving the Process of System Specification and Refinement in B. Refine 1994: 45-68
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/refine/HaughtonL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/HaughtonL94
Howard P. Haughton, Kevin Lano:
Testing and Safety Analysis of AM (Abstract Machine) Specifications. Refine 1994: 69-79
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Lano94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Lano94
Kevin Lano:
Refinement in Object-Oriented Specification Languages. Refine 1994: 236-259
1993
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Lano93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Lano93
Kevin Lano:
The Intuitionistic Alternative Set Theory. Ann. Pure Appl. Log. 59(2): 141-156 (1993)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/BowenBL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/BowenBL93
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/BowenBL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/BowenBL93
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/LanoBH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/LanoBH93
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/LanoH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/LanoH93
Kevin Lano, Howard P. Haughton:
Integrating Formal and Structured Methods in Reverse Engineering. WCRE 1993: 17-26
1992
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/LanoH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LanoH92
Kevin Lano, Howard P. Haughton:
Reasoning and Refinement in Object-Oriented Specification Languages. ECOOP 1992: 78-97
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Lano92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Lano92
Kevin Lano:
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. LFCS 1992: 258-268
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Lano92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Lano92
Kevin Lano:
Object-Oriented Specification Techniques. TOOLS (7) 1992: 403
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LanoH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LanoH92
Kevin Lano, Howard P. Haughton:
Reuse and Adaptation of Z Specifications. Z User Workshop 1992: 62-90
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/zum/Lano92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Lano92
Kevin Lano:
Z⁺⁺. Object Orientation in Z 1992: 105-112
1991
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Lano91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Lano91
Kevin Lano:
Intuitionistic Modal Logic and Set Theory. J. Symb. Log. 56(2): 497-516 (1991)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BreuerL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BreuerL91
Peter T. Breuer, Kevin Lano:
Creating specifications from code: Reverse-engineering techniques. J. Softw. Maintenance Res. Pract. 3(3): 145-162 (1991)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/LanoH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/LanoH91
Kevin Lano, Howard P. Haughton:
A specification-based approach to maintenance. J. Softw. Maintenance Res. Pract. 3(4): 193-213 (1991)
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/LanoH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/LanoH91
Kevin Lano, Howard P. Haughton:
An Algebraic Semantics for the Specification Language Z⁺⁺. AMAST 1991: 478-493
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/Lano91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/Lano91
Kevin Lano:
A Constraint-Based Fuzzy Inference System. EPIA 1991: 45-59
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HaughtonL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HaughtonL91
Howard P. Haughton, Kevin Lano:
Objects revisited. ICSM 1991: 152-161
1990
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/zum/Lano90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Lano90
Kevin Lano:
Z⁺⁺, An Object-orientated Extension to Z. Z User Workshop 1990: 151-172

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LanoB89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LanoB89
Kevin Lano, Peter T. Breuer:
From Programs to Z Specifications. Z User Workshop 1989: 46-70

Coauthor Index

see FAQ

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.