Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.