Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kevin Lano
@article{DBLP:journals/ase/LanoS24,
author = {Kevin Lano and
Hanan Siala},
title = {Using model-driven engineering to automate software language translation},
journal = {Autom. Softw. Eng.},
volume = {31},
number = {1},
pages = {20},
year = {2024},
url = {https://doi.org/10.1007/s10515-024-00419-y},
doi = {10.1007/S10515-024-00419-Y},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/LanoS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RahimiLTLLU24,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Sobhan Yassipour Tehrani and
Chenghua Lin and
Yiqi Liu and
Muhammad Aminu Umar},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Comparative Evaluation of {NLP} Approaches for Requirements Formalisation},
booktitle = {Proceedings of the 12th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2024, Rome, Italy, February
21-23, 2024},
pages = {125--132},
publisher = {{SCITEPRESS}},
year = {2024},
timestamp = {Tue, 02 Apr 2024 14:41:36 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RahimiLTLLU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttc/2023,
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3620},
urn = {urn:nbn:de:0074-3620-3},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/LanoT23,
author = {Kevin Lano and
Sobhan Yassipour Tehrani},
title = {Introduction to Software Architecture - Innovative Design using Clean
Architecture and Model-Driven Engineering},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44143-1},
doi = {10.1007/978-3-031-44143-1},
isbn = {978-3-031-44142-4},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/LanoT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/LanoX23,
author = {Kevin Lano and
Qiaomu Xue},
title = {Code Generation by Example Using Symbolic Machine Learning},
journal = {{SN} Comput. Sci.},
volume = {4},
number = {2},
pages = {170},
year = {2023},
url = {https://doi.org/10.1007/s42979-022-01573-4},
doi = {10.1007/S42979-022-01573-4},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/LanoX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/RouhiL23,
author = {Alireza Rouhi and
Kevin Lano},
title = {Towards a pattern-based model transformation framework},
journal = {Softw. Pract. Exp.},
volume = {53},
number = {9},
pages = {1815--1849},
year = {2023},
url = {https://doi.org/10.1002/spe.3215},
doi = {10.1002/SPE.3215},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/RouhiL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoHYA23,
author = {Kevin Lano and
Howard P. Haughton and
Ziwen Yuan and
Hessa Alfraihi},
title = {Program Abstraction and Re-Engineering: An Agile {MDE} Approach},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {211--220},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00050},
doi = {10.1109/MODELS-C59198.2023.00050},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoHYA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AlfraihiL23,
author = {Hessa Alfraihi and
Kevin Lano},
title = {Trends and Insights into the Use of Model-Driven Engineering: {A}
Survey},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {286--295},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00058},
doi = {10.1109/MODELS-C59198.2023.00058},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AlfraihiL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LanoX23,
author = {Kevin Lano and
Qiaomu Xue},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Lightweight Software Language Processing Using Antlr and {CGTL}},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
19-21, 2023},
pages = {19--30},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011623000003402},
doi = {10.5220/0011623000003402},
timestamp = {Thu, 23 Mar 2023 14:15:52 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/LanoX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RahimiLL23,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Chenghua Lin},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Requirement Formalisation Using Natural Language Processing and Machine
Learning: {A} Systematic Review},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
19-21, 2023},
pages = {237--244},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011789700003402},
doi = {10.5220/0011789700003402},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/RahimiLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/AlwakeelLA23,
author = {Lyan Alwakeel and
Kevin Lano and
Hessa Alfraihi},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Towards Integrating Machine Learning Models into Mobile Apps using
AppCraft},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/agilemde23\_paper02.pdf},
timestamp = {Tue, 30 Jan 2024 08:26:17 +0100},
biburl = {https://dblp.org/rec/conf/ttc/AlwakeelLA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/HaughtonTL23,
author = {Howard P. Haughton and
Sobhan Yassipour Tehrani and
Kevin Lano},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {MathOCL: a domain-specific language for financial modelling},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/agilemde23\_paper03.pdf},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/HaughtonTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/LanoR23,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Program abstraction by transformation: Abstraction of Visual Basic
to {UML}},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/ttc23\_paper01.pdf},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/LanoR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/LanoR23a,
author = {Kevin Lano and
Alireza Rouhi},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {{KMEHR} to {FHIR} case solution with {UML-RSDS}},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/ttc23\_paper03.pdf},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/LanoR23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/TehraniL23,
author = {Sobhan Yassipour Tehrani and
Kevin Lano},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Using {MDE} with the Clean Architecture},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/agilemde23\_paper01.pdf},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/TehraniL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13365,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Chenghua Lin},
title = {Requirement Formalisation using Natural Language Processing and Machine
Learning: {A} Systematic Review},
journal = {CoRR},
volume = {abs/2303.13365},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13365},
doi = {10.48550/ARXIV.2303.13365},
eprinttype = {arXiv},
eprint = {2303.13365},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/RouhiRL22,
author = {Alireza Rouhi and
Shekoufeh Kolahdouz Rahimi and
Kevin Lano},
title = {Formalizing model transformation patterns},
journal = {J. Softw. Evol. Process.},
volume = {34},
number = {2},
year = {2022},
url = {https://doi.org/10.1002/smr.2406},
doi = {10.1002/SMR.2406},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/RouhiRL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LanoRTA22,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Javier Troya and
Hessa Alfraihi},
title = {Introduction to the theme section on Agile model-driven engineering},
journal = {Softw. Syst. Model.},
volume = {21},
number = {4},
pages = {1465--1467},
year = {2022},
url = {https://doi.org/10.1007/s10270-022-01016-x},
doi = {10.1007/S10270-022-01016-X},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LanoRTA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/LanoRF22,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Shichao Fang},
title = {Model Transformation Development Using Automated Requirements Analysis,
Metamodel Matching, and Transformation by Example},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {2},
pages = {18:1--18:71},
year = {2022},
url = {https://doi.org/10.1145/3471907},
doi = {10.1145/3471907},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/LanoRF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Lano22,
author = {Kevin Lano},
title = {Program translation using model-driven engineering},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2022, Pittsburgh, PA, USA,
May 22-24, 2022},
pages = {362--363},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3510454.3528639},
doi = {10.1145/3510454.3528639},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/icse/Lano22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JinL22,
author = {Kunxiang Jin and
Kevin Lano},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {OCL-based test case prioritisation using AgileUML},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {607--611},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561593},
doi = {10.1145/3550356.3561593},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/JinL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JinL22a,
author = {Kunxiang Jin and
Kevin Lano},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Design and classification of mutation operators for {OCL} specification},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {852--861},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561545},
doi = {10.1145/3550356.3561545},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/JinL22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoRJ22,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Kunxiang Jin},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {{OCL} libraries for software specification and representation},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {894--898},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561565},
doi = {10.1145/3550356.3561565},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoRJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LanoX22,
author = {Kevin Lano and
Qiaomu Xue},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Code Generation by Example},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {84--92},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010973600003119},
doi = {10.5220/0010973600003119},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/LanoX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DerakhshandiRTL21,
author = {Mohammad Derakhshandi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya and
Kevin Lano},
title = {A model-driven framework for developing android-based classic multiplayer
2D board games},
journal = {Autom. Softw. Eng.},
volume = {28},
number = {2},
pages = {7},
year = {2021},
url = {https://doi.org/10.1007/s10515-021-00282-1},
doi = {10.1007/S10515-021-00282-1},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/DerakhshandiRTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LanoR21,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Implementing {QVT-R} via semantic interpretation in {UML-RSDS}},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {725--766},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00824-3},
doi = {10.1007/S10270-020-00824-3},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LanoR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/LanoJT21,
author = {Kevin Lano and
Kunxiang Jin and
Shefali Tyagi},
editor = {Elhadi M. Shakshuki and
Ansar{-}Ul{-}Haque Yasar},
title = {Model-based Testing and Monitoring using AgileUML},
booktitle = {The 12th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2021) / The 4th International Conference on Emerging
Data and Industry 4.0 {(EDI40} 2021) / Affiliated Workshops, March
23-26, 2021, Warsaw, Poland},
series = {Procedia Computer Science},
volume = {184},
pages = {773--778},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.procs.2021.04.012},
doi = {10.1016/J.PROCS.2021.04.012},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/ant/LanoJT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/LanoR21,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Extending {OCL} with Map and Function Types},
booktitle = {Fundamentals of Software Engineering - 9th International Conference,
{FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {108--123},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89247-0\_8},
doi = {10.1007/978-3-030-89247-0\_8},
timestamp = {Tue, 19 Oct 2021 18:32:11 +0200},
biburl = {https://dblp.org/rec/conf/fsen/LanoR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/JinL21,
author = {Kunxiang Jin and
Kevin Lano},
editor = {Durga Prasad Mohapatra and
Samaresh Mishra and
Tony Clark and
Alpana Dubey and
Richa Sharma and
Lov Kumar},
title = {Generation of Test Cases from {UML} Diagrams - {A} Systematic Literature
Review},
booktitle = {{ISEC} 2021: 14th Innovations in Software Engineering Conference,
Bhubaneswar, Odisha, India, February 25-27, 2021},
pages = {7:1--7:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452383.3452408},
doi = {10.1145/3452383.3452408},
timestamp = {Tue, 04 May 2021 15:52:21 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/JinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/LanoARH21,
author = {Kevin Lano and
Lyan Alwakeel and
Shekoufeh Kolahdouz Rahimi and
Howard P. Haughton},
editor = {Durga Prasad Mohapatra and
Samaresh Mishra and
Tony Clark and
Alpana Dubey and
Richa Sharma and
Lov Kumar},
title = {Synthesis of mobile applications using AgileUML},
booktitle = {{ISEC} 2021: 14th Innovations in Software Engineering Conference,
Bhubaneswar, Odisha, India, February 25-27, 2021},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452383.3452409},
doi = {10.1145/3452383.3452409},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/LanoARH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoTU21,
author = {Kevin Lano and
Sobhan Yassipour Tehrani and
Muhammad Aminu Umar},
title = {Automated Requirements Formalisation for Agile {MDE}},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {173--180},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00030},
doi = {10.1109/MODELS-C53483.2021.00030},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/LanoTU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/JinL21,
author = {Kunxiang Jin and
Kevin Lano},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {Mutation Operators for Object Constraint Language Specification},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {128--134},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/oclpaper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/JinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Lano21,
author = {Kevin Lano},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {Implementing {OCL} in Swift},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {135--141},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/oclpaper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/Lano21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Lano21a,
author = {Kevin Lano},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {Adding Regular Expression Operators to {OCL}},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {162--168},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/oclpaper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/Lano21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RahimiLSKA20,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Mohammadreza Sharbaf and
Meysam Karimi and
Hessa Alfraihi},
title = {A comparison of quality flaws and technical debt in model transformation
specifications},
journal = {J. Syst. Softw.},
volume = {169},
pages = {110684},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110684},
doi = {10.1016/J.JSS.2020.110684},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/RahimiLSKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/RahimiLK20,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Meysam Karimi},
title = {Technical debt in procedural model transformation languages},
journal = {J. Comput. Lang.},
volume = {59},
pages = {100971},
year = {2020},
url = {https://doi.org/10.1016/j.cola.2020.100971},
doi = {10.1016/J.COLA.2020.100971},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/RahimiLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoFUY20,
author = {Kevin Lano and
Shichao Fang and
Muhammad Aminu Umar and
Sobhan Yassipour Tehrani},
editor = {Esther Guerra and
Ludovico Iovino},
title = {Enhancing model transformation synthesis using natural language processing},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {46:1--46:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3421386},
doi = {10.1145/3417990.3421386},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/LanoFUY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoFR20,
author = {Kevin Lano and
Shichao Fang and
Shekoufeh Kolahdouz Rahimi},
editor = {Esther Guerra and
Ludovico Iovino},
title = {\emph{TL}: an abstract specification language for bidirectional transformations},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {77:1--77:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3419223},
doi = {10.1145/3417990.3419223},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LanoF20,
author = {Kevin Lano and
Shichao Fang},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Automated Synthesis of {ATL} Transformations from Metamodel Correspondences},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {263--270},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008873702630270},
doi = {10.5220/0008873702630270},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/LanoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/LanoH19,
author = {Kevin Lano and
Howard P. Haughton},
title = {Financial Software Engineering},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14050-2},
doi = {10.1007/978-3-030-14050-2},
isbn = {978-3-030-14049-6},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/LanoH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LanoRT19,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Sobhan Yassipour Tehrani},
title = {Declarative Specification of Bidirectional Transformations Using Design
Patterns},
journal = {{IEEE} Access},
volume = {7},
pages = {5222--5249},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2018.2889399},
doi = {10.1109/ACCESS.2018.2889399},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LanoRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoFAR19,
author = {Kevin Lano and
Shichao Fang and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Simplified Specification Languages for Flexible and Agile Modelling},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {460--467},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00074},
doi = {10.1109/MODELS-C.2019.00074},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoFAR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/FangL19,
author = {Shichao Fang and
Kevin Lano},
editor = {Alessandra Bagnato and
Hugo Bruneliere and
Loli Burgue{\~{n}}o and
Romina Eramo and
Abel G{\'{o}}mez},
title = {Extracting Correspondences from Metamodels Using Metamodel Matching},
booktitle = {{STAF} 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher
Community Event, 2nd International Workshop on Model-Driven Engineering
for Design-Runtime Interaction in Complex Systems, and 1st Research
Project Showcase Workshop co-located with Software Technologies: Applications
and Foundations {(STAF} 2019), Eindhoven, The Netherlands, July 15
- 19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2405},
pages = {3--8},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2405/02\_paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/FangL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LanoRTS18,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Sobhan Yassipour Tehrani and
Mohammadreza Sharbaf},
title = {A survey of model transformation design patterns in practice},
journal = {J. Syst. Softw.},
volume = {140},
pages = {48--73},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.03.001},
doi = {10.1016/J.JSS.2018.03.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LanoRTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/LanoRSA18,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Mohammadreza Sharbaf and
Hessa Alfraihi},
editor = {Arend Rensink and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
title = {Technical Debt in Model Transformation Specifications},
booktitle = {Theory and Practice of Model Transformation - 11th International Conference,
ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10888},
pages = {127--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93317-7\_6},
doi = {10.1007/978-3-319-93317-7\_6},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/LanoRSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoARSH18,
author = {Kevin Lano and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Mohammadreza Sharbaf and
Howard P. Haughton},
editor = {Regina Hebig and
Thorsten Berger},
title = {Comparative case studies in agile model-driven development},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {203--212},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/flexmde\_paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoARSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/AlfraihiLRSH18,
author = {Hessa Alfraihi and
Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Mohammadreza Sharbaf and
Howard P. Haughton},
editor = {Ferhat Khendek and
Reinhard Gotzhein},
title = {The Impact of Integrating Agile Software Development and Model-Driven
Development: {A} Comparative Case Study},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
Denmark, October 15-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11150},
pages = {229--245},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01042-3\_14},
doi = {10.1007/978-3-030-01042-3\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/AlfraihiLRSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/LanoRTS17,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Sobhan Yassipour Tehrani and
Mohammadreza Sharbaf},
editor = {Esther Guerra and
Mark van den Brand},
title = {A Survey of Model Transformation Design Pattern Usage},
booktitle = {Theory and Practice of Model Transformation - 10th International Conference,
ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10374},
pages = {108--118},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61473-1\_8},
doi = {10.1007/978-3-319-61473-1\_8},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/LanoRTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoHTA17,
author = {Kevin Lano and
Howard P. Haughton and
Sobhan Yassipour Tehrani and
Hessa Alfraihi},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {Agile Model-driven Engineering of Financial Applications},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {388--392},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/flexmde\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoHTA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AlfraihiL17,
author = {Hessa Alfraihi and
Kevin Lano},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {Practical Aspects of the Integration of Agile Development and Model-driven
Development: An Exploratory Study},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {399--404},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/flexmde\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AlfraihiL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AlfraihiL17a,
author = {Hessa Alfraihi and
Kevin Lano},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {A Process for Integrating Agile Software Development and Model-driven
Development},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {412--417},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/flexmde\_5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AlfraihiL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AlfraihiL17,
author = {Hessa Alfraihi and
Kevin Lano},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {The Integration of Agile Development and Model Driven Development
- {A} Systematic Literature Review},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {451--458},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006207004510458},
doi = {10.5220/0006207004510458},
timestamp = {Thu, 18 May 2017 13:08:52 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AlfraihiL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoTAR17,
author = {Kevin Lano and
Sobhan Yassipour Tehrani and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Translating {UML-RSDS} {OCL} to {ANSI} {C}},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {317--330},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_28},
doi = {10.1007/978-3-319-74730-9\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/LanoTAR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/TehraniZL16,
author = {Sobhan Yassipour Tehrani and
Steffen Zschaler and
Kevin Lano},
editor = {Pieter Van Gorp and
Gregor Engels},
title = {Requirements Engineering in Model-Transformation Development: An Interview-Based
Study},
booktitle = {Theory and Practice of Model Transformations - 9th International Conference,
ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9765},
pages = {123--137},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42064-6\_9},
doi = {10.1007/978-3-319-42064-6\_9},
timestamp = {Wed, 07 Dec 2022 23:13:49 +0100},
biburl = {https://dblp.org/rec/conf/icmt/TehraniZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoT16,
author = {Kevin Lano and
Sobhan Yassipour Tehrani},
editor = {H{\"{u}}seyin Ergin and
Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
Moussa Amrani},
title = {Verified bidirectional transformations by construction},
booktitle = {Joint Proceedings of the Second International Workshop on Patterns
in Model Engineering and the Fifth International Workshop on the Verification
of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}
19th International Conference on Model Driven Engineering Languages
and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1693},
pages = {28--37},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1693/VoltPaper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoTR16,
author = {Kevin Lano and
Sobhan Yassipour Tehrani and
Shekoufeh Kolahdouz Rahimi},
editor = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Filip Krikava and
Louis M. Rose},
title = {Solving the Class Responsibility Assignment Case with {UML-RSDS}},
booktitle = {Proceedings of the 9th Transformation Tool Contest, co-located with
the 2016 Software Technologies: Applications and Foundations {(STAF}
2016), Vienna, Austria, July 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1758},
pages = {9--14},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1758/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoTR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LanoCR15,
author = {Kevin Lano and
Tony Clark and
Shekoufeh Kolahdouz Rahimi},
title = {A framework for model transformation verification},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {193--235},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0313-z},
doi = {10.1007/S00165-014-0313-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LanoCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciso/MaroukianLY15,
author = {Krikor Maroukian and
Kevin Lano and
Mohammad Yamin},
editor = {Kecheng Liu and
Keiichi Nakata and
Weizi Li and
Daniel Galarreta},
title = {Towards Automatic Generation of Project-Based Solutions},
booktitle = {Information and Knowledge Management in Complex Systems - 16th {IFIP}
{WG} 8.1 International Conference on Informatics and Semiotics in
Organisations, {ICISO} 2015, Toulouse, France, March 19-20, 2015.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {449},
pages = {123--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16274-4\_13},
doi = {10.1007/978-3-319-16274-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciso/MaroukianLY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoTA15,
author = {Kevin Lano and
Sobhan Yassipour Tehrani and
Hessa Alfraihi},
editor = {Arnon Sturm and
Tony Clark},
title = {Experiences of Teaching Model-based Development},
booktitle = {Proceedings of the {MODELS} Educators Symposium co-located with the
{ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2015), Ottawa, Canada, September 29,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1555},
pages = {43--54},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1555/5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/LanoTA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoT15,
author = {Kevin Lano and
Sobhan Yassipour Tehrani},
editor = {Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
H{\"{u}}seyin Ergin},
title = {Design Patterns for Model Transformations: Current Research and Future
Directions},
booktitle = {Proceedings of the First Workshop on Patterns in Model Engineering,
{PAME} 2015, co-located with the 3rd International Conference on Software
Technologies: Applications and Foundations {(STAF} 2015), L'Aquila,
Italy, July 21, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1657},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1657/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/TehraniL15,
author = {Sobhan Yassipour Tehrani and
Kevin Lano},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Temporal Logic Specification and Analysis for Model Transformations},
booktitle = {Proceedings of the Fourth International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1530},
pages = {2--11},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1530/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/TehraniL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoRT15,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Sobhan Yassipour Tehrani},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Model Transformation Semantic Analysis by Transformation},
booktitle = {Proceedings of the Fourth International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1530},
pages = {46--53},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1530/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RahimiLPTG14,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano and
Suresh Pillay and
Javier Troya and
Pieter Van Gorp},
title = {Evaluation of model transformation approaches for model refactoring},
journal = {Sci. Comput. Program.},
volume = {85},
pages = {5--40},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.07.013},
doi = {10.1016/J.SCICO.2013.07.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RahimiLPTG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JakumeitBWDHHHKKLLRRWM14,
author = {Edgar Jakumeit and
Sebastian Buchwald and
Dennis Wagelaar and
Li Dan and
{\'{A}}bel Heged{\"{u}}s and
Markus Herrmannsd{\"{o}}rfer and
Tassilo Horn and
Elina Kalnina and
Christian Krause and
Kevin Lano and
Markus Lepper and
Arend Rensink and
Louis M. Rose and
Sebastian W{\"{a}}tzoldt and
Steffen Mazanek},
title = {A survey and comparison of transformation tools based on the transformation
tool contest},
journal = {Sci. Comput. Program.},
volume = {85},
pages = {41--99},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.10.009},
doi = {10.1016/J.SCICO.2013.10.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JakumeitBWDHHHKKLLRRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RoseHMGBHKKLSW14,
author = {Louis M. Rose and
Markus Herrmannsdoerfer and
Steffen Mazanek and
Pieter Van Gorp and
Sebastian Buchwald and
Tassilo Horn and
Elina Kalnina and
Andreas Koch and
Kevin Lano and
Bernhard Sch{\"{a}}tz and
Manuel Wimmer},
title = {Graph and model transformation tools for model migration - Empirical
results from the transformation tool contest},
journal = {Softw. Syst. Model.},
volume = {13},
number = {1},
pages = {323--359},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0245-0},
doi = {10.1007/S10270-012-0245-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RoseHMGBHKKLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LanoRPTZ14,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Iman Poernomo and
Jeffrey Terrell and
Steffen Zschaler},
title = {Correct-by-construction synthesis of model transformations using transformation
patterns},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {873--907},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0291-7},
doi = {10.1007/S10270-012-0291-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LanoRPTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LanoR14,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Model-Transformation Design Patterns},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {12},
pages = {1224--1259},
year = {2014},
url = {https://doi.org/10.1109/TSE.2014.2354344},
doi = {10.1109/TSE.2014.2354344},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LanoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/ChatziprimouLZ14,
author = {Kleopatra Chatziprimou and
Kevin Lano and
Steffen Zschaler},
title = {Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {138--145},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.101},
doi = {10.1109/CLOUDCOM.2014.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/ChatziprimouLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/AmraniSWBG0L14,
author = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer and
Robert Bill and
Martin Gogolla and
Frank Hermann and
Kevin Lano},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Report on the Third Workshop on Verification of Model Transformations
{(VOLT} 2014)},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {1--9},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/preface.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/AmraniSWBG0L14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoMT14,
author = {Kevin Lano and
Krikor Maroukian and
Sobhan Yassipour Tehrani},
editor = {Louis M. Rose and
Christian Krause and
Tassilo Horn},
title = {Case study: {FIXML} to Java, C{\#} and {C++}},
booktitle = {Proceedings of the 7th Transformation Tool Contest part of the Software
Technologies: Applications and Foundations {(STAF} 2014) federation
of conferences, York, United Kingdom, July 25, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1305},
pages = {2--6},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1305/preface.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Lano14,
author = {Kevin Lano},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Null Considered Harmful (for Transformation Verification)},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {26--35},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/Lano14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoRC14,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Tony Clark},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Language-Independent Model Transformation Verification},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {36--45},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoRC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/LanoT14,
author = {Kevin Lano and
Sobhan Yassipour Tehrani},
editor = {Louis M. Rose and
Christian Krause and
Tassilo Horn},
title = {Solving the {TTC} 2014 Movie Database Case with {UML-RSDS}},
booktitle = {Proceedings of the 7th Transformation Tool Contest part of the Software
Technologies: Applications and Foundations {(STAF} 2014) federation
of conferences, York, United Kingdom, July 25, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1305},
pages = {150--154},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1305/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/LanoT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Lano14,
author = {Kevin Lano},
editor = {Clive Blackwell and
Hong Zhu},
title = {Design Patterns: Applications and Open Issues},
booktitle = {Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns},
pages = {37--45},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04447-7\_3},
doi = {10.1007/978-3-319-04447-7\_3},
timestamp = {Thu, 30 Apr 2020 12:10:32 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Lano14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansLFR14,
author = {Andy Evans and
Kevin Lano and
Robert B. France and
Bernhard Rumpe},
title = {Meta-Modeling Semantics of {UML}},
journal = {CoRR},
volume = {abs/1409.6917},
year = {2014},
url = {http://arxiv.org/abs/1409.6917},
eprinttype = {arXiv},
eprint = {1409.6917},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansLFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansFLR14,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
title = {The {UML} as a Formal Modeling Notation},
journal = {CoRR},
volume = {abs/1409.6919},
year = {2014},
url = {http://arxiv.org/abs/1409.6919},
eprinttype = {arXiv},
eprint = {1409.6919},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansFLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansFLR14a,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
title = {Developing the {UML} as a Formal Modelling Notation},
journal = {CoRR},
volume = {abs/1409.6928},
year = {2014},
url = {http://arxiv.org/abs/1409.6928},
eprinttype = {arXiv},
eprint = {1409.6928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansFLR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LanoR13,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Constraint-based specification of model transformations},
journal = {J. Syst. Softw.},
volume = {86},
number = {2},
pages = {412--436},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2012.09.006},
doi = {10.1016/J.JSS.2012.09.006},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LanoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/ChatziprimouLZ13,
author = {Kleopatra Chatziprimou and
Kevin Lano and
Steffen Zschaler},
title = {Runtime Infrastructure Optimisation in Cloud IaaS Structures},
booktitle = {{IEEE} 5th International Conference on Cloud Computing Technology
and Science, CloudCom 2013, Bristol, United Kingdom, December 2-5,
2013, Volume 1},
pages = {687--692},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CloudCom.2013.112},
doi = {10.1109/CLOUDCOM.2013.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/ChatziprimouLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LanoR13,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Optimising Model-transformations using Design Patterns},
booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
on Model-Driven Engineering and Software Development, Barcelona, Spain,
19 - 21 February, 2013},
pages = {77--82},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004305100770082},
doi = {10.5220/0004305100770082},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/LanoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/ChatziprimouLZ13,
author = {Kleopatra Chatziprimou and
Kevin Lano and
Steffen Zschaler},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Towards a Meta-model of the Cloud Computing Resource Landscape},
booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
on Model-Driven Engineering and Software Development, Barcelona, Spain,
19 - 21 February, 2013},
pages = {111--116},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004311001110116},
doi = {10.5220/0004311001110116},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/ChatziprimouLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LanoR13,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Pieter Van Gorp and
Louis M. Rose and
Christian Krause},
title = {Case study: Class diagram restructuring},
booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest,
Hungary, 19-20 June, 2013},
series = {{EPTCS}},
volume = {135},
pages = {8--15},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.135.2},
doi = {10.4204/EPTCS.135.2},
timestamp = {Wed, 07 Dec 2022 23:01:01 +0100},
biburl = {https://dblp.org/rec/journals/corr/LanoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LanoKM13,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Krikor Maroukian},
editor = {Pieter Van Gorp and
Louis M. Rose and
Christian Krause},
title = {Solving the Petri-Nets to Statecharts Transformation Case with {UML-RSDS}},
booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest,
Hungary, 19-20 June, 2013},
series = {{EPTCS}},
volume = {135},
pages = {101--105},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.135.13},
doi = {10.4204/EPTCS.135.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LanoKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/LanoR12,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Model Transformation Specification and Design},
journal = {Adv. Comput.},
volume = {85},
pages = {123--163},
year = {2012},
url = {https://doi.org/10.1016/B978-0-12-396526-4.00003-5},
doi = {10.1016/B978-0-12-396526-4.00003-5},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/LanoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/LanoRP12,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi and
Iman Poernomo},
title = {Comparative Evaluation of Model Transformation Specification Approaches},
journal = {Int. J. Softw. Informatics},
volume = {6},
number = {2},
pages = {233--269},
year = {2012},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i120},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/LanoRP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LanoR12,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Slimane Hammoudi and
Marten van Sinderen and
Jos{\'{e}} Cordeiro},
title = {Synthesis of Software from Logical Constraints},
booktitle = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
pages = {355--358},
publisher = {SciTePress},
year = {2012},
url = {https://doi.org/10.5220/0004101903550358},
doi = {10.5220/0004101903550358},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/LanoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LanoR11,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Slicing Techniques for {UML} Models},
journal = {J. Object Technol.},
volume = {10},
pages = {11: 1--49},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a11},
doi = {10.5381/JOT.2011.10.1.A11},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LanoR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RahimiL11,
author = {Shekoufeh Kolahdouz Rahimi and
Kevin Lano},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Model-Based Development Approach for Model Transformations},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {48--63},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_4},
doi = {10.1007/978-3-642-29320-7\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/RahimiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/LanoR11,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Jordi Cabot and
Eelco Visser},
title = {Model-Driven Development of Model Transformations},
booktitle = {Theory and Practice of Model Transformations - 4th International Conference,
ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6707},
pages = {47--61},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21732-6\_4},
doi = {10.1007/978-3-642-21732-6\_4},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/LanoR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AndroutsopoulosBCGHLL11,
author = {Kelly Androutsopoulos and
David W. Binkley and
David Clark and
Nicolas Gold and
Mark Harman and
Kevin Lano and
Zheng Li},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Model projection: simplifying models in response to restricting the
environment},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {291--300},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985834},
doi = {10.1145/1985793.1985834},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AndroutsopoulosBCGHLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4741,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Solving the {TTC} 2011 Model Migration Case with {UML-RSDS}},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {36--41},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.6},
doi = {10.4204/EPTCS.74.6},
timestamp = {Wed, 07 Dec 2022 23:01:02 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4763,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Saying Hello World with {UML-RSDS} - {A} Solution to the 2011 Instructive
Case},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {325--331},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.26},
doi = {10.4204/EPTCS.74.26},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LanoR10,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Maria Virvou and
Boris Shishkov},
title = {Slicing of {UML} Models},
booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference
on Software and Data Technologies, Volume 2, Athens, Greece, July
22-24, 2010},
pages = {259--262},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 28 Apr 2011 13:13:12 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/LanoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoR10,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Specification and Verification of Model Transformations Using {UML-RSDS}},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {199--214},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_15},
doi = {10.1007/978-3-642-16265-7\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LanoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LanoR10,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Slicing of {UML} Models Using Model Transformations},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {228--242},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_17},
doi = {10.1007/978-3-642-16129-2\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/LanoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Lano09,
author = {Kevin Lano},
title = {A compositional semantics of {UML-RSDS}},
journal = {Softw. Syst. Model.},
volume = {8},
number = {1},
pages = {85--116},
year = {2009},
url = {https://doi.org/10.1007/s10270-007-0064-x},
doi = {10.1007/S10270-007-0064-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Lano09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {Introduction to the Unified Modeling Language},
booktitle = {{UML} 2 Semantics and Applications},
pages = {1--25},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch1},
doi = {10.1002/9780470522622.CH1},
timestamp = {Sat, 20 Jul 2019 10:55:56 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09a,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {The Role of Semantics},
booktitle = {{UML} 2 Semantics and Applications},
pages = {27--41},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch2},
doi = {10.1002/9780470522622.CH2},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09b,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {Axiomatic Semantics of {UML} Class Diagrams},
booktitle = {{UML} 2 Semantics and Applications},
pages = {125--161},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch6},
doi = {10.1002/9780470522622.CH6},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Clark09,
author = {Kevin Lano and
David Clark},
editor = {Kevin Lano},
title = {Axiomatic Semantics of State Machines},
booktitle = {{UML} 2 Semantics and Applications},
pages = {179--203},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch8},
doi = {10.1002/9780470522622.CH8},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/wi/09/Clark09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09c,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {Semantics of Activity Diagrams},
booktitle = {{UML} 2 Semantics and Applications},
pages = {281--293},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch11},
doi = {10.1002/9780470522622.CH11},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09d,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {Verification of {UML} Models},
booktitle = {{UML} 2 Semantics and Applications},
pages = {295--315},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch12},
doi = {10.1002/9780470522622.CH12},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/Lano09e,
author = {Kevin Lano},
editor = {Kevin Lano},
title = {Model Transformation Specification and Verification},
booktitle = {{UML} 2 Semantics and Applications},
pages = {349--395},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch14},
doi = {10.1002/9780470522622.CH14},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/Lano09e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/wi/09/L2009,
editor = {Kevin Lano},
title = {{UML} 2 Semantics and Applications},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622},
doi = {10.1002/9780470522622},
isbn = {978-0-470-40908-4},
timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/L2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Lano08,
author = {Kevin Lano},
title = {Constraint-driven development},
journal = {Inf. Softw. Technol.},
volume = {50},
number = {5},
pages = {406--423},
year = {2008},
url = {https://doi.org/10.1016/j.infsof.2007.04.003},
doi = {10.1016/J.INFSOF.2007.04.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Lano08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LanoC08,
author = {Kevin Lano and
David Clark},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {Semantics and Refinement of Behavior State Machines},
booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June
12-16, 2008},
pages = {42--49},
year = {2008},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/LanoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/LanoC08,
author = {Kevin Lano and
David Clark},
editor = {Hong Zhu},
title = {Model Transformation Specification and Verification},
booktitle = {Proceedings of the Eighth International Conference on Quality Software,
{QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QSIC.2008.38},
doi = {10.1109/QSIC.2008.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/LanoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LanoC07,
author = {Kevin Lano and
David Clark},
title = {Direct Semantics of Extended State Machines},
journal = {J. Object Technol.},
volume = {6},
number = {9},
pages = {35--51},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.9.a2},
doi = {10.5381/JOT.2007.6.9.A2},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LanoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YuFRL07,
author = {Lijun Yu and
Robert B. France and
Indrakshi Ray and
Kevin Lano},
title = {A light-weight static approach to analyzing {UML} behavioral properties},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.10},
doi = {10.1109/ICECCS.2007.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YuFRL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Lano07,
author = {Kevin Lano},
title = {Formal Specification using Interaction Diagrams},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {293--304},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.20},
doi = {10.1109/SEFM.2007.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Lano07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LanoF06,
author = {Kevin Lano and
Jos{\'{e}} Luiz Fiadeiro},
title = {Extending {UML} with coordination contracts},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {110--120},
year = {2006},
url = {https://doi.org/10.1007/s10270-005-0095-0},
doi = {10.1007/S10270-005-0095-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LanoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015719,
author = {Kevin Lano},
title = {Advanced systems design with Java, {UML} and {MDA}},
publisher = {Elsevier},
year = {2005},
isbn = {978-0-7506-6496-7},
timestamp = {Wed, 06 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0015719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanoAC05,
author = {Kevin Lano and
Kelly Androutsopoulos and
David Clark},
editor = {John Derrick and
Eerke A. Boiten},
title = {Refinement Patterns for {UML}},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {131--149},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.028},
doi = {10.1016/J.ENTCS.2005.04.028},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanoAC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/LanoJ04,
author = {Kevin Lano and
Runa Jesmin},
editor = {Pedro T. Isa{\'{\i}}as and
Nitya Karmakar and
Lu{\'{\i}}s E. T. Rodrigues and
Patr{\'{\i}}cia Barbosa},
title = {Generating Accessible and Usable Internet Systems},
booktitle = {Proceedings of the {IADIS} International Conference WWW/Internet 2004,
Madrid, Spain, 2 Volumes},
pages = {75--82},
publisher = {{IADIS}},
year = {2004},
timestamp = {Wed, 01 Apr 2015 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/iadis/LanoJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoCA04,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {{UML} to {B:} Formal Verification of Object-Oriented Models},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {187--206},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_11},
doi = {10.1007/978-3-540-24756-2\_11},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/LanoCA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/LanoCA03,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos},
title = {RSDS, a Subset of {UML} with Precise Semantics},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {9},
number = {4},
pages = {53--73},
year = {2003},
url = {https://doi.org/10.3166/objet.9.4.53-73},
doi = {10.3166/OBJET.9.4.53-73},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/Lobjet/LanoCA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/JesminL03,
author = {Runa Jesmin and
Kevin Lano},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Internet System Design for the Disabled Net},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 2},
pages = {956--962},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Tue, 14 Oct 2003 13:56:57 +0200},
biburl = {https://dblp.org/rec/conf/serp/JesminL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015718,
author = {Kevin Lano and
Jos{\'{e}} Luiz Fiadeiro and
Lu{\'{\i}}s Filipe Andrade},
title = {Software design using Java 2},
publisher = {Palgrave Macmillan},
year = {2002},
isbn = {978-1-4039-0230-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0015718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoCA02,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {From Implicit Specifications to Explicit Designs in Reactive System
Development},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {49--68},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_4},
doi = {10.1007/3-540-47884-1\_4},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/LanoCA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LanoCA02,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Safety and Security Analysis of Object-Oriented Models},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {82--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_10},
doi = {10.1007/3-540-45732-1\_10},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/LanoCA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Lano01,
author = {Kevin Lano},
title = {Book Review: Formal Object-Oriented Specification Using Object-Z,
by Roger Duke and Gordon Rose, Macmillan Press},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {55},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Lano01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LanoFB00,
author = {Kevin Lano and
Robert B. France and
Jean{-}Michel Bruel},
title = {A Semantic Comparison of Fusion and Syntropy},
journal = {Comput. J.},
volume = {43},
number = {6},
pages = {451--468},
year = {2000},
url = {https://doi.org/10.1093/comjnl/43.6.451},
doi = {10.1093/COMJNL/43.6.451},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LanoFB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LanoAC00,
author = {Kevin Lano and
Kelly Androutsopoulos and
David Clark},
editor = {T. S. E. Maibaum},
title = {Structuring and Design of Reactive Systems Using {RSDS} and {B}},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {97--111},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_8},
doi = {10.1007/3-540-46428-X\_8},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LanoAC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LanoCAK00,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos and
Pauline Kan},
editor = {Mathai Joseph},
title = {Invariant-Based Synthesis of Fault-Tolerant Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {46--57},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_6},
doi = {10.1007/3-540-45352-0\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/LanoCAK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LanoAK00,
author = {Kevin Lano and
Kelly Androutsopoulos and
Pauline Kan},
title = {Structuring Reactive Systems in {B} {AMN}},
booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICFEM.2000.873802},
doi = {10.1109/ICFEM.2000.873802},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LanoAK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/LanoBE00,
author = {Kevin Lano and
Juan Bicarregui and
Andy Evans},
title = {Structured Axiomatic Semantics for {UML} Models},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4211},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/LanoBE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LanoM99,
author = {Kevin Lano and
N. Malik},
title = {Mapping Procedural Patterns to Object-Oriented Design Patterns},
journal = {Autom. Softw. Eng.},
volume = {6},
number = {3},
pages = {265--289},
year = {1999},
url = {https://doi.org/10.1023/A:1008708927260},
doi = {10.1023/A:1008708927260},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LanoM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LanoE99,
author = {Kevin Lano and
Andy Evans},
editor = {Jean{-}Pierre Finance},
title = {Rigorous Development in {UML}},
booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl
Conference, FASE'99, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {129--144},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_9},
doi = {10.1007/978-3-540-49020-3\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LanoE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoA99,
author = {Kevin Lano and
Kelly Androutsopoulos},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Reactive System Refinement of Distributed Systems in {B}},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {415--434},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_22},
doi = {10.1007/978-1-4471-0851-1\_22},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LanoA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/GoldsackL99,
author = {Stephen J. Goldsack and
Kevin Lano},
editor = {Jacques Malenfant and
Roger Rousseau},
title = {Models Involving Multiple Instances of a Component},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'99. Villefranche-sur-mer, France, 27-29 janvier},
pages = {245--260},
publisher = {Herm{\`{e}}s},
year = {1999},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lmo/GoldsackL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/EvansFLR99,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {Meta-Modelling Semantics of {UML}},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {45--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_4},
doi = {10.1007/978-1-4615-5229-1\_4},
timestamp = {Tue, 26 Jun 2018 16:12:55 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/EvansFLR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/LanoB99,
author = {Kevin Lano and
Juan Bicarregui},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {Formalising the {UML} in Structured Temporal Theories},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {161--174},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_11},
doi = {10.1007/978-1-4615-5229-1\_11},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/LanoB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/FranceELR98,
author = {Robert B. France and
Andy Evans and
Kevin Lano and
Bernhard Rumpe},
title = {The {UML} as a formal modeling notation},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {7},
pages = {325--334},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(98)00020-8},
doi = {10.1016/S0920-5489(98)00020-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/FranceELR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lano98,
author = {Kevin Lano},
title = {Logical Specification of Reactive and Real-Time Systems},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {679--711},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.679},
doi = {10.1093/LOGCOM/8.5.679},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lano98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MaibaumKL98,
author = {T. S. E. Maibaum and
Pauline Kan and
Kevin Lano},
editor = {Armando Martin Haeberer},
title = {Systematising Reactive System Design},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {17--22},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_3},
doi = {10.1007/3-540-49253-4\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/MaibaumKL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LanoKS98,
author = {Kevin Lano and
Pauline Kan and
Arturo Sanchez},
editor = {Wolfgang D. Ehrenberger},
title = {Linking Hazard Analysis to Formal Specification and Design in {B}},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {60--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_5},
doi = {10.1007/3-540-49646-7\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LanoKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/LanoB98,
author = {Kevin Lano and
Juan Bicarregui},
editor = {Jean B{\'{e}}zivin and
Pierre{-}Alain Muller},
title = {Semantics and Transformations for {UML} Models},
booktitle = {The Unified Modeling Language, {\guillemotleft}UML{\guillemotright}'98:
Beyond the Notation, First International Workshop, Mulhouse, France,
June 3-4, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1618},
pages = {107--119},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-48480-6\_9},
doi = {10.1007/978-3-540-48480-6\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/LanoB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/EvansFLR98,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
editor = {Jean B{\'{e}}zivin and
Pierre{-}Alain Muller},
title = {The {UML} as a Formal Modeling Notation},
booktitle = {The Unified Modeling Language, {\guillemotleft}UML{\guillemotright}'98:
Beyond the Notation, First International Workshop, Mulhouse, France,
June 3-4, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1618},
pages = {336--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-48480-6\_26},
doi = {10.1007/978-3-540-48480-6\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/EvansFLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LanoKS98,
author = {Kevin Lano and
Pauline Kan and
Arturo Sanchez},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Compositional Specification of Controllers for Batch Process Operations},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {250--264},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_18},
doi = {10.1007/978-3-540-49676-2\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/LanoKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BicarreguiCFHLLMMMNRRS97,
author = {Juan Bicarregui and
D. L. Clutterbuck and
Gavin R. Finnie and
Howard P. Haughton and
Kevin Lano and
H. Lesan and
D. W. R. M. Marsh and
B. M. Matthews and
Michael R. Moulding and
A. Richard Newton and
Brian Ritchie and
T. G. A. Rushton and
P. N. Scharbach},
title = {Formal methods into practice: case studies in the application of the
{B} method},
journal = {{IEE} Proc. Softw. Eng.},
volume = {144},
number = {2},
pages = {119--133},
year = {1997},
url = {https://doi.org/10.1049/ip-sen:19970974},
doi = {10.1049/IP-SEN:19970974},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BicarreguiCFHLLMMMNRRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/BicarreguiLM97,
author = {Juan Bicarregui and
Kevin Lano and
T. S. E. Maibaum},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Towards a compositional interpretation of object diagrams},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {187--211},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/BicarreguiLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LanoS97,
author = {Kevin Lano and
Arturo Sanchez},
editor = {Miquel Bertran and
Teodor Rus},
title = {Transformational Formal Development of Real-Time Systems},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {184--198},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_13},
doi = {10.1007/3-540-63010-4\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/LanoS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/GoldsackLD97,
author = {Stephen J. Goldsack and
Kevin Lano and
Eug{\`{e}}ne D{\"{u}}rr},
editor = {Miquel Bertran and
Teodor Rus},
title = {Specification and Refinement of Continuous Real-Time Systems},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {310--324},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_21},
doi = {10.1007/3-540-63010-4\_21},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/GoldsackLD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BicarreguiLM97,
author = {Juan Bicarregui and
Kevin Lano and
T. S. E. Maibaum},
editor = {Mehmet Aksit and
Satoshi Matsuoka},
title = {Objects, Associations and Subsystems: {A} Hierarchical Approach to
Encapsulation},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1241},
pages = {324--343},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053385},
doi = {10.1007/BFB0053385},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BicarreguiLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BicarreguiLM97,
author = {Juan Bicarregui and
Kevin Lano and
T. S. E. Maibaum},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Formalizing Object-Oriented Models in the Object Calculus},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {155--160},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_33},
doi = {10.1007/3-540-69687-3\_33},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BicarreguiLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/LanoG97,
author = {Kevin Lano and
Stephen J. Goldsack},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Formalizing Real-Time System Design},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {436--445},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_81},
doi = {10.1007/3-540-69687-3\_81},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/LanoG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LanoS97,
author = {Kevin Lano and
Arturo Sanchez},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Design of Reactive Control Systems for Event-Drivem Operations},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {142--161},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_8},
doi = {10.1007/3-540-63533-5\_8},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/LanoS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LanoBFL97,
author = {Kevin Lano and
Juan Bicarregui and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Specification of Required Non-determinism},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {298--317},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_16},
doi = {10.1007/3-540-63533-5\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LanoBFL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MalikL97,
author = {N. Malik and
Kevin Lano},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {A Formal Approach to Design Patterns in Re-Engineering},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4613},
timestamp = {Tue, 19 Jun 2018 08:04:20 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MalikL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Lano97,
author = {Kevin Lano},
editor = {Peter Daniel},
title = {Refinement and Safety Analysis},
booktitle = {16th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1997, York, UK, September 7-10, 1997},
pages = {223--240},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-0997-6\_18},
doi = {10.1007/978-1-4471-0997-6\_18},
timestamp = {Wed, 26 Jun 2019 14:32:32 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Lano97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LanoGBK97,
author = {Kevin Lano and
Stephen J. Goldsack and
Juan Bicarregui and
Stuart Kent},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Integrating {VDM++} and Real-Time System Design},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {188--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027290},
doi = {10.1007/BFB0027290},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/LanoGBK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Lano97,
author = {Kevin Lano},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Specifying Reactive Systems in {B} {AMN}},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {242--274},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027292},
doi = {10.1007/BFB0027292},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/Lano97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0083695,
author = {Kevin Lano},
title = {The {B} language and method - a guide to practical formal development},
series = {{FACIT:} Formal approaches to computing and information technology},
publisher = {Springer},
year = {1996},
isbn = {978-3-540-76033-7},
timestamp = {Tue, 26 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0083695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GoldsackLD96,
author = {Stephen J. Goldsack and
Kevin Lano and
Eug{\`{e}}ne D{\"{u}}rr},
title = {Annealing and Data Decomposition in {VDM++}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {31},
number = {4},
pages = {32--38},
year = {1996},
url = {https://doi.org/10.1145/249118.249124},
doi = {10.1145/249118.249124},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoldsackLD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/Lano96,
author = {Kevin Lano},
title = {Enhancing Object-Oriented Methods with Formal Notations},
journal = {Theory Pract. Object Syst.},
volume = {2},
number = {4},
pages = {247--268},
year = {1996},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/Lano96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080853,
author = {Kevin Lano},
title = {Formal object-oriented development},
series = {{FACIT:} Formal approaches to computing and information technology},
publisher = {Springer},
year = {1995},
isbn = {978-3-540-19978-6},
timestamp = {Mon, 09 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LanoH95,
author = {Kevin Lano and
Howard P. Haughton},
title = {Formal development in {B} abstract machine notation},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {303--316},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99366-U},
doi = {10.1016/0950-5849(95)99366-U},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/LanoH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lano95,
author = {Kevin Lano},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Distributed System Specification in VDM\({}^{\mbox{++}}\)},
booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {23--38},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Lano95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LanoG95,
author = {Kevin Lano and
Stephen J. Goldsack},
title = {Discrete event process controller synthesis using VDM\({}^{\mbox{++}}\)},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {129--136},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479318},
doi = {10.1109/ICECCS.1995.479318},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LanoG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Lano95,
author = {Kevin Lano},
title = {Specifying static analysis tools using formal methods},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {254},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479338},
doi = {10.1109/ICECCS.1995.479338},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Lano95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Lano95,
author = {Kevin Lano},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Reactive System Specification and Refinement},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {696--710},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_229},
doi = {10.1007/3-540-59293-8\_229},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Lano95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Lano94,
author = {Kevin Lano},
title = {Transformational Program Analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {155--189},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040304},
doi = {10.1002/STVR.4370040304},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Lano94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/LanoG94,
author = {Kevin Lano and
Stephen J. Goldsack},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Refinement, Subtyping and Subclassing in {VDM++}},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {341--363},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imperial/LanoG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/LanoH94,
author = {Kevin Lano and
Howard P. Haughton},
editor = {David Till},
title = {Improving the Process of System Specification and Refinement in {B}},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {45--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_3},
doi = {10.1007/978-1-4471-3240-0\_3},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/LanoH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/HaughtonL94,
author = {Howard P. Haughton and
Kevin Lano},
editor = {David Till},
title = {Testing and Safety Analysis of {AM} (Abstract Machine) Specifications},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {69--79},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_4},
doi = {10.1007/978-1-4471-3240-0\_4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/HaughtonL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Lano94,
author = {Kevin Lano},
editor = {David Till},
title = {Refinement in Object-Oriented Specification Languages},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {236--259},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_13},
doi = {10.1007/978-1-4471-3240-0\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Lano94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Lano93,
author = {Kevin Lano},
title = {The Intuitionistic Alternative Set Theory},
journal = {Ann. Pure Appl. Log.},
volume = {59},
number = {2},
pages = {141--156},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90002-U},
doi = {10.1016/0168-0072(93)90002-U},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Lano93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BowenBL93,
author = {Jonathan P. Bowen and
Peter T. Breuer and
Kevin Lano},
title = {A compendium of formal techniques for software maintenance},
journal = {Softw. Eng. J.},
volume = {8},
number = {5},
pages = {253--262},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0031},
doi = {10.1049/SEJ.1993.0031},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BowenBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenBL93,
author = {Jonathan P. Bowen and
Peter T. Breuer and
Kevin Lano},
title = {Formal specifications in software maintenance: from code to Z\({}^{\mbox{++}}\)
and back again},
journal = {Inf. Softw. Technol.},
volume = {35},
number = {11-12},
pages = {679--690},
year = {1993},
url = {https://doi.org/10.1016/0950-5849(93)90083-F},
doi = {10.1016/0950-5849(93)90083-F},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/BowenBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/LanoBH93,
author = {Kevin Lano and
Peter T. Breuer and
Howard P. Haughton},
title = {Reverse-engineering Cobol via formal methods},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {5},
number = {1},
pages = {13--35},
year = {1993},
url = {https://doi.org/10.1002/smr.4360050103},
doi = {10.1002/SMR.4360050103},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/LanoBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/LanoH93,
author = {Kevin Lano and
Howard P. Haughton},
editor = {Richard C. Waters and
Elliot J. Chikofsky},
title = {Integrating Formal and Structured Methods in Reverse Engineering},
booktitle = {Proceedings of Working Conference on Reverse Engineering, {WCRE} 1993,
Baltimore, Maryland, USA, May 21-23, 1993},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/WCRE.1993.287782},
doi = {10.1109/WCRE.1993.287782},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/LanoH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LanoH92,
author = {Kevin Lano and
Howard P. Haughton},
editor = {Ole Lehrmann Madsen},
title = {Reasoning and Refinement in Object-Oriented Specification Languages},
booktitle = {{ECOOP} '92, European Conference on Object-Oriented Programming, Utrecht,
The Netherlands, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {615},
pages = {78--97},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0053031},
doi = {10.1007/BFB0053031},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/LanoH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lano92,
author = {Kevin Lano},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {258--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023880},
doi = {10.1007/BFB0023880},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Lano92,
author = {Kevin Lano},
editor = {Georg Heeg and
Boris Magnusson and
Bertrand Meyer},
title = {Object-Oriented Specification Techniques},
booktitle = {{TOOLS} 1992: 7th International Conference on Technology of Object-Oriented
Languages and Systems, Dortmund, Germany, Europe},
pages = {403},
publisher = {Prentice Hall},
year = {1992},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Lano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LanoH92,
author = {Kevin Lano and
Howard P. Haughton},
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Reuse and Adaptation of {Z} Specifications},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
pages = {62--90},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3556-2\_5},
doi = {10.1007/978-1-4471-3556-2\_5},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/LanoH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/zum/Lano92,
author = {Kevin Lano},
editor = {Susan Stepney and
Rosalind Barden and
David Cooper},
title = {Z\({}^{\mbox{++}}\)},
booktitle = {Object Orientation in {Z}},
series = {Workshops in Computing},
pages = {105--112},
publisher = {Springer},
year = {1992},
timestamp = {Wed, 22 Nov 2017 13:50:40 +0100},
biburl = {https://dblp.org/rec/conf/zum/Lano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lano91,
author = {Kevin Lano},
title = {Intuitionistic Modal Logic and Set Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {497--516},
year = {1991},
url = {https://doi.org/10.2307/2274696},
doi = {10.2307/2274696},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lano91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/BreuerL91,
author = {Peter T. Breuer and
Kevin Lano},
title = {Creating specifications from code: Reverse-engineering techniques},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {3},
number = {3},
pages = {145--162},
year = {1991},
url = {https://doi.org/10.1002/smr.4360030303},
doi = {10.1002/SMR.4360030303},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/BreuerL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/LanoH91,
author = {Kevin Lano and
Howard P. Haughton},
title = {A specification-based approach to maintenance},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {3},
number = {4},
pages = {193--213},
year = {1991},
url = {https://doi.org/10.1002/smr.4360030403},
doi = {10.1002/SMR.4360030403},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/LanoH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LanoH91,
author = {Kevin Lano and
Howard P. Haughton},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {An Algebraic Semantics for the Specification Language Z\({}^{\mbox{++}}\)},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {478--493},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/LanoH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Lano91,
author = {Kevin Lano},
editor = {Pedro Barahona and
Lu{\'{\i}}s Moniz Pereira and
Ant{\'{o}}nio Porto},
title = {A Constraint-Based Fuzzy Inference System},
booktitle = {{EPIA} 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira,
Portugal, October 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {541},
pages = {45--59},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54535-2\_24},
doi = {10.1007/3-540-54535-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/Lano91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HaughtonL91,
author = {Howard P. Haughton and
Kevin Lano},
title = {Objects revisited},
booktitle = {Proceedings of the Conference on Software Maintenance, {ICSM} 1991,
Sorrento, Italy, 15-17 October 1991},
pages = {152--161},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/ICSM.1991.160323},
doi = {10.1109/ICSM.1991.160323},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icsm/HaughtonL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Lano90,
author = {Kevin Lano},
editor = {John E. Nicholls},
title = {Z\({}^{\mbox{++}}\), An Object-orientated Extension to {Z}},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {151--172},
publisher = {Springer},
year = {1990},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/zum/Lano90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LanoB89,
author = {Kevin Lano and
Peter T. Breuer},
editor = {John E. Nicholls},
title = {From Programs to {Z} Specifications},
booktitle = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
15, 1989},
series = {Workshops in Computing},
pages = {46--70},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4471-3877-8\_4},
doi = {10.1007/978-1-4471-3877-8\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/LanoB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-03 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
