Kevin Lano

209 papers A* 1A 3B 13C 13Misc 2Journal 60Unranked 98
YearRankTypeTitle / Venue / Authors
2026 C conf
An Operational Semantics for Extended OCL.
MODELSWARD
Kevin Lano
2025 J jnl
A comparison of large language models and model-driven reverse engineering for reverse engineering.
Frontiers Comput. Sci.
Hanan Abdulwahab Siala, Kevin Lano
2025 J jnl
AppCraft: Model-Driven Development Framework for Mobile Applications.
IEEE Access
Lyan Alwakeel, Kevin Lano, Hessa Alfraihi
2025 J jnl
Automated requirements engineering framework for agile model-driven development.
Frontiers Comput. Sci.
Muhammad Aminu Umar, Kevin Lano, Abdullahi Kutiriko Abubakar
2025 — conf
Comparing LLM-based and MDE-based code generation for agile MDE.
STAF Workshops
Qiaomu Xue, Kevin Lano
2025 J jnl
Editorial: Machine learning for software engineering.
Frontiers Comput. Sci.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Hessa Alfraihi
2025 — conf
Enhancing agile model-driven engineering with automated formal verification of BPMN models.
STAF Workshops
Kimia Kolahdouz, Shekoufeh Kolahdouz Rahimi, Kevin Lano
2025 J jnl
Research directions for using LLM in software requirement engineering: a systematic review.
Frontiers Comput. Sci.
Arshia Hemmat, Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani
2025 — conf
Sorted collection and map types for OCL.
STAF Workshops
Kevin Lano, Zishan Rahman, Shekoufeh Kolahdouz Rahimi
2025 — conf
Specification and design refactorings for sustainable agile model-driven engineering.
STAF Workshops
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Zishan Rahman
2025 — conf
Sustainability Implications of Large Language Model use in Model-Driven Engineering.
MODELS-C
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Qiaomu Xue
2025 A conf
Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language.
SANER
Hanan Abdulwahab Siala, Kevin Lano
2025 — conf
Using LLMs to extract OCL specifications from Java and Python programs: an empirical study.
STAF Workshops
Hanan Abdulwahab Siala, Kevin Lano
2025 — conf
Using LLMs to extract UML class diagrams from Java and Python programs: an empirical study.
STAF Workshops
Hanan Abdulwahab Siala, Kevin Lano
2025 J jnl
Using MDE to support sustainable re-engineering.
J. Object Technol.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Zishan Rahman
2024 J jnl
A Concrete Syntax Transformation Approach for Software Language Processing.
SN Comput. Sci.
Kevin Lano, Qiaomu Xue, Howard P. Haughton
2024 J jnl
Advances in automated support for requirements engineering: a systematic literature review.
Requir. Eng.
Muhammad Aminu Umar, Kevin Lano
2024 J jnl
Agile model-driven re-engineering.
Innov. Syst. Softw. Eng.
Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi
2024 C conf
Comparative Evaluation of NLP Approaches for Requirements Formalisation.
MODELSWARD
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar
2024 J jnl
Introduction to theme section on requirements formalisation.
Softw. Syst. Model.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Lola Burgueño, Muhammad Aminu Umar
2024 — conf
Model driven engineering in finance: Bond valuation, from formulae to code.
STAF Workshops
Asad Rahman, Kevin Lano, Howard P. Haughton
2024 J jnl
Model-Driven Approaches for Reverse Engineering - A Systematic Literature Review.
IEEE Access
Hanan Abdulwahab Siala, Kevin Lano, Hessa Alfraihi
2024 J jnl
Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric.
J. Softw. Evol. Process.
Kunxiang Jin, Kevin Lano
2024 — ed.
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.
Agile MDE/MeSS/TTC@STAF
Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya
2024 — conf
Research directions for agile model-driven engineering.
STAF Workshops
Kevin Lano, Hessa Alfraihi, Howard P. Haughton
2024 — conf
Software language translation by example.
STAF Workshops
Qiaomu Xue, Kevin Lano
2024 — conf
Software modelling for sustainable software engineering.
STAF Workshops
Kevin Lano, Lyan Alwakeel, Zishan Rahman
2024 — conf
Using OCL for verified re-engineering.
MoDELS (Companion)
Kevin Lano, Hanan Abdulwahab Siala
2024 J jnl
Using model-driven engineering to automate software language translation.
Autom. Softw. Eng.
Kevin Lano, Hanan Abdulwahab Siala
2023 J jnl
Code Generation by Example Using Symbolic Machine Learning.
SN Comput. Sci.
Kevin Lano, Qiaomu Xue
2023 — book
Introduction to Software Architecture - Innovative Design using Clean Architecture and Model-Driven Engineering
Kevin Lano, Sobhan Yassipour Tehrani
2023 — conf
KMEHR to FHIR case solution with UML-RSDS.
Agile MDE/MeSS/TTC@STAF
Kevin Lano, Alireza Rouhi
2023 C conf
Lightweight Software Language Processing Using Antlr and CGTL.
MODELSWARD
Kevin Lano, Qiaomu Xue
2023 — conf
MathOCL: a domain-specific language for financial modelling.
Agile MDE/MeSS/TTC@STAF
Howard P. Haughton, Sobhan Yassipour Tehrani, Kevin Lano
2023 — conf
Program Abstraction and Re-Engineering: An Agile MDE Approach.
MoDELS (Companion)
Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi
2023 — conf
Program abstraction by transformation: Abstraction of Visual Basic to UML.
Agile MDE/MeSS/TTC@STAF
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2023 C conf
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review.
MODELSWARD
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin
2023 J jnl
Requirement Formalisation using Natural Language Processing and Machine Learning: A Systematic Review.
CoRR
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin
2023 — conf
Towards Integrating Machine Learning Models into Mobile Apps using AppCraft.
Agile MDE/MeSS/TTC@STAF
Lyan Alwakeel, Kevin Lano, Hessa Alfraihi
2023 J jnl
Towards a pattern-based model transformation framework.
Softw. Pract. Exp.
Alireza Rouhi, Kevin Lano
2023 — conf
Trends and Insights into the Use of Model-Driven Engineering: A Survey.
MoDELS (Companion)
Hessa Alfraihi, Kevin Lano
2023 — conf
Using MDE with the Clean Architecture.
Agile MDE/MeSS/TTC@STAF
Sobhan Yassipour Tehrani, Kevin Lano
2022 C conf
Code Generation by Example.
MODELSWARD
Kevin Lano, Qiaomu Xue
2022 — conf
Design and classification of mutation operators for OCL specification.
MoDELS (Companion)
Kunxiang Jin, Kevin Lano
2022 J jnl
Formalizing model transformation patterns.
J. Softw. Evol. Process.
Alireza Rouhi, Shekoufeh Kolahdouz Rahimi, Kevin Lano
2022 J jnl
Introduction to the theme section on Agile model-driven engineering.
Softw. Syst. Model.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi
2022 J jnl
Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example.
ACM Trans. Softw. Eng. Methodol.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Shichao Fang
2022 — conf
OCL libraries for software specification and representation.
MoDELS (Companion)
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin
2022 — conf
OCL-based test case prioritisation using AgileUML.
MoDELS (Companion)
Kunxiang Jin, Kevin Lano
2022 — conf
Program translation using model-driven engineering.
ICSE-Companion
Kevin Lano
2021 J jnl
A model-driven framework for developing android-based classic multiplayer 2D board games.
Autom. Softw. Eng.
Mohammad Derakhshandi, Shekoufeh Kolahdouz Rahimi, Javier Troya, Kevin Lano
2021 — conf
Adding Regular Expression Operators to OCL.
STAF Workshops
Kevin Lano
2021 — conf
Automated Requirements Formalisation for Agile MDE.
MoDELS (Companion)
Kevin Lano, Sobhan Yassipour Tehrani, Muhammad Aminu Umar
2021 — conf
Extending OCL with Map and Function Types.
FSEN
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2021 — conf
Generation of Test Cases from UML Diagrams - A Systematic Literature Review.
ISEC
Kunxiang Jin, Kevin Lano
2021 — conf
Implementing OCL in Swift.
STAF Workshops
Kevin Lano
2021 J jnl
Implementing QVT-R via semantic interpretation in UML-RSDS.
Softw. Syst. Model.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2021 — conf
Model-based Testing and Monitoring using AgileUML.
ANT/EDI40
Kevin Lano, Kunxiang Jin, Shefali Tyagi
2021 — conf
Mutation Operators for Object Constraint Language Specification.
STAF Workshops
Kunxiang Jin, Kevin Lano
2021 — conf
Synthesis of mobile applications using AgileUML.
ISEC
Kevin Lano, Lyan Alwakeel, Shekoufeh Kolahdouz Rahimi, Howard P. Haughton
2020 J jnl
A comparison of quality flaws and technical debt in model transformation specifications.
J. Syst. Softw.
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Mohammadreza Sharbaf, Meysam Karimi, Hessa Alfraihi
2020 C conf
Automated Synthesis of ATL Transformations from Metamodel Correspondences.
MODELSWARD
Kevin Lano, Shichao Fang
2020 — conf
Enhancing model transformation synthesis using natural language processing.
MoDELS (Companion)
Kevin Lano, Shichao Fang, Muhammad Aminu Umar, Sobhan Yassipour Tehrani
2020 J jnl
Technical debt in procedural model transformation languages.
J. Comput. Lang.
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Meysam Karimi
2019 J jnl
Declarative Specification of Bidirectional Transformations Using Design Patterns.
IEEE Access
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani
2019 — conf
Extracting Correspondences from Metamodels Using Metamodel Matching.
STAF (Co-Located Events)
Shichao Fang, Kevin Lano
2019 — book
Financial Software Engineering
Kevin Lano, Howard P. Haughton
2019 — conf
Simplified Specification Languages for Flexible and Agile Modelling.
MoDELS (Companion)
Kevin Lano, Shichao Fang, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi
2018 J jnl
A survey of model transformation design patterns in practice.
J. Syst. Softw.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf
2018 — conf
Comparative case studies in agile model-driven development.
MoDELS (Workshops)
Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton
2018 — conf
Technical Debt in Model Transformation Specifications.
ICMT
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi
2018 — conf
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study.
SAM
Hessa Alfraihi, Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton
2017 — conf
A Process for Integrating Agile Software Development and Model-driven Development.
MoDELS (Satellite Events)
Hessa Alfraihi, Kevin Lano
2017 — conf
A Survey of Model Transformation Design Pattern Usage.
ICMT
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf
2017 — conf
Agile Model-driven Engineering of Financial Applications.
MoDELS (Satellite Events)
Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi
2017 — conf
Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study.
MoDELS (Satellite Events)
Hessa Alfraihi, Kevin Lano
2017 C conf
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review.
MODELSWARD
Hessa Alfraihi, Kevin Lano
2017 — conf
Translating UML-RSDS OCL to ANSI C.
STAF Workshops
Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi
2016 — conf
Requirements Engineering in Model-Transformation Development: An Interview-Based Study.
ICMT
Sobhan Yassipour Tehrani, Steffen Zschaler, Kevin Lano
2016 — conf
Solving the Class Responsibility Assignment Case with UML-RSDS.
TTC@STAF
Kevin Lano, Sobhan Yassipour Tehrani, Shekoufeh Kolahdouz Rahimi
2016 — conf
Verified bidirectional transformations by construction.
PAME/VOLT@MoDELS
Kevin Lano, Sobhan Yassipour Tehrani
2015 J jnl
A framework for model transformation verification.
Formal Aspects Comput.
Kevin Lano, Tony Clark, Shekoufeh Kolahdouz Rahimi
2015 — conf
Design Patterns for Model Transformations: Current Research and Future Directions.
PAME@STAF
Kevin Lano, Sobhan Yassipour Tehrani
2015 — conf
Experiences of Teaching Model-based Development.
EduSymp@MoDELS
Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi
2015 — conf
Model Transformation Semantic Analysis by Transformation.
VOLT@STAF
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani
2015 — conf
Temporal Logic Specification and Analysis for Model Transformations.
VOLT@STAF
Sobhan Yassipour Tehrani, Kevin Lano
2015 — conf
Towards Automatic Generation of Project-Based Solutions.
ICISO
Krikor Maroukian, Kevin Lano, Mohammad Yamin
2014 J jnl
A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program.
Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek
2014 — conf
Case study: FIXML to Java, C# and C++.
TTC@STAF
Kevin Lano, Krikor Maroukian, Sobhan Yassipour Tehrani
2014 J jnl
Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler
2014 — ch.
Design Patterns: Applications and Open Issues.
Cyberpatterns
Kevin Lano
2014 J jnl
Developing the UML as a Formal Modelling Notation.
CoRR
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
2014 J jnl
Evaluation of model transformation approaches for model refactoring.
Sci. Comput. Program.
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Suresh Pillay, Javier Troya, Pieter Van Gorp
2014 J jnl
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.
Softw. Syst. Model.
Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek, Pieter Van Gorp, Sebastian Buchwald, Tassilo Horn, Elina Kalnina, Andreas Koch, Kevin Lano, Bernhard Schätz, Manuel Wimmer
2014 — conf
Language-Independent Model Transformation Verification.
VOLT@STAF
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark
2014 J jnl
Meta-Modeling Semantics of UML.
CoRR
Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe
2014 J jnl
Model-Transformation Design Patterns.
IEEE Trans. Software Eng.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2014 — conf
Null Considered Harmful (for Transformation Verification).
VOLT@STAF
Kevin Lano
2014 — conf
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).
VOLT@STAF
Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano
2014 — conf
Solving the TTC 2014 Movie Database Case with UML-RSDS.
TTC@STAF
Kevin Lano, Sobhan Yassipour Tehrani
2014 C conf
Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations.
CloudCom
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler
2014 J jnl
The UML as a Formal Modeling Notation.
CoRR
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
2013 — conf
Case study: Class diagram restructuring.
TTC
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2013 J jnl
Constraint-based specification of model transformations.
J. Syst. Softw.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2013 C conf
Optimising Model-transformations using Design Patterns.
MODELSWARD
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2013 — conf
Runtime Infrastructure Optimisation in Cloud IaaS Structures.
CloudCom (1)
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler
2013 — conf
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.
TTC
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian
2013 C conf
Towards a Meta-model of the Cloud Computing Resource Landscape.
MODELSWARD
Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler
2012 J jnl
Comparative Evaluation of Model Transformation Specification Approaches.
Int. J. Softw. Informatics
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo
2012 J jnl
Model Transformation Specification and Design.
Adv. Comput.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2012 C conf
Synthesis of Software from Logical Constraints.
ICSOFT
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2011 — conf
A Model-Based Development Approach for Model Transformations.
FSEN
Shekoufeh Kolahdouz Rahimi, Kevin Lano
2011 A* conf
Model projection: simplifying models in response to restricting the environment.
ICSE
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
2011 — conf
Model-Driven Development of Model Transformations.
ICMT@TOOLS
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2011 — conf
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
TTC
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2011 J jnl
Slicing Techniques for UML Models.
J. Object Technol.
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2011 — conf
Solving the TTC 2011 Model Migration Case with UML-RSDS
TTC
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2010 — conf
Slicing of UML Models Using Model Transformations.
MoDELS (2)
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2010 — conf
Slicing of UML Models.
ICSOFT (2)
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2010 B conf
Specification and Verification of Model Transformations Using UML-RSDS.
IFM
Kevin Lano, Shekoufeh Kolahdouz Rahimi
2009 J jnl
A compositional semantics of UML-RSDS.
Softw. Syst. Model.
Kevin Lano
2009 — ch.
Axiomatic Semantics of State Machines.
UML 2 Semantics and Applications
Kevin Lano, David Clark
2009 — ch.
Axiomatic Semantics of UML Class Diagrams.
UML 2 Semantics and Applications
Kevin Lano
2009 — ch.
Introduction to the Unified Modeling Language.
UML 2 Semantics and Applications
Kevin Lano
2009 — ch.
Model Transformation Specification and Verification.
UML 2 Semantics and Applications
Kevin Lano
2009 — ch.
Semantics of Activity Diagrams.
UML 2 Semantics and Applications
Kevin Lano
2009 — ch.
The Role of Semantics.
UML 2 Semantics and Applications
Kevin Lano
2009 — book
UML 2 Semantics and Applications
Kevin Lano
2009 — ch.
Verification of UML Models.
UML 2 Semantics and Applications
Kevin Lano
2008 J jnl
Constraint-driven development.
Inf. Softw. Technol.
Kevin Lano
2008 — conf
Model Transformation Specification and Verification.
QSIC
Kevin Lano, David Clark
2008 — conf
Semantics and Refinement of Behavior State Machines.
ICEIS (3-1)
Kevin Lano, David Clark
2007 B conf
A light-weight static approach to analyzing UML behavioral properties.
ICECCS
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
2007 J jnl
Direct Semantics of Extended State Machines.
J. Object Technol.
Kevin Lano, David Clark
2007 B conf
Formal Specification using Interaction Diagrams.
SEFM
Kevin Lano
2006 J jnl
Extending UML with coordination contracts.
Softw. Syst. Model.
Kevin Lano, José Luiz Fiadeiro
2005 — book
Advanced systems design with Java, UML and MDA.
Kevin Lano
2005 — conf
Refinement Patterns for UML.
REFINE
Kevin Lano, Kelly Androutsopoulos, David Clark
2004 — conf
Generating Accessible and Usable Internet Systems.
ICWI
Kevin Lano, Runa Jesmin
2004 B conf
UML to B: Formal Verification of Object-Oriented Models.
IFM
Kevin Lano, David Clark, Kelly Androutsopoulos
2003 — conf
Internet System Design for the Disabled Net.
Software Engineering Research and Practice
Runa Jesmin, Kevin Lano
2003 J jnl
RSDS, a Subset of UML with Precise Semantics.
Obj. Logiciel Base données Réseaux
Kevin Lano, David Clark, Kelly Androutsopoulos
2002 B conf
From Implicit Specifications to Explicit Designs in Reactive System Development.
IFM
Kevin Lano, David Clark, Kelly Androutsopoulos
2002 B conf
Safety and Security Analysis of Object-Oriented Models.
SAFECOMP
Kevin Lano, David Clark, Kelly Androutsopoulos
2002 — book
Software design using Java 2.
Kevin Lano, José Luiz Fiadeiro, Luís Filipe Andrade
2001 J jnl
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press.
Softw. Test. Verification Reliab.
Kevin Lano
2000 J jnl
A Semantic Comparison of Fusion and Syntropy.
Comput. J.
Kevin Lano, Robert B. France, Jean-Michel Bruel
2000 — conf
Invariant-Based Synthesis of Fault-Tolerant Systems.
FTRTFT
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
2000 — conf
Structured Axiomatic Semantics for UML Models.
Rigorous Object-Oriented Methods
Kevin Lano, Juan Bicarregui, Andy Evans
2000 C conf
Structuring Reactive Systems in B AMN.
ICFEM
Kevin Lano, Kelly Androutsopoulos, Pauline Kan
2000 B conf
Structuring and Design of Reactive Systems Using RSDS and B.
FASE
Kevin Lano, Kelly Androutsopoulos, David Clark
1999 — ch.
Formalising the UML in Structured Temporal Theories.
Behavioral Specifications of Businesses and Systems
Kevin Lano, Juan Bicarregui
1999 J jnl
Mapping Procedural Patterns to Object-Oriented Design Patterns.
Autom. Softw. Eng.
Kevin Lano, N. Malik
1999 — ch.
Meta-Modelling Semantics of UML.
Behavioral Specifications of Businesses and Systems
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
1999 — conf
Models Involving Multiple Instances of a Component.
LMO
Stephen J. Goldsack, Kevin Lano
1999 B conf
Reactive System Refinement of Distributed Systems in B.
IFM
Kevin Lano, Kelly Androutsopoulos
1999 B conf
Rigorous Development in UML.
FASE
Kevin Lano, Andy Evans
1998 — conf
Compositional Specification of Controllers for Batch Process Operations.
ZUM
Kevin Lano, Pauline Kan, Arturo Sanchez
1998 B conf
Linking Hazard Analysis to Formal Specification and Design in B.
SAFECOMP
Kevin Lano, Pauline Kan, Arturo Sanchez
1998 J jnl
Logical Specification of Reactive and Real-Time Systems.
J. Log. Comput.
Kevin Lano
1998 — conf
Semantics and Transformations for UML Models.
UML
Kevin Lano, Juan Bicarregui
1998 — conf
Systematising Reactive System Design.
AMAST
T. S. E. Maibaum, Pauline Kan, Kevin Lano
1998 — conf
The UML as a Formal Modeling Notation.
UML
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
1998 J jnl
The UML as a formal modeling notation.
Comput. Stand. Interfaces
Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe
1997 — conf
A Formal Approach to Design Patterns in Re-Engineering.
IWFM
N. Malik, Kevin Lano
1997 — conf
Design of Reactive Control Systems for Event-Drivem Operations.
FME
Kevin Lano, Arturo Sanchez
1997 J jnl
Formal methods into practice: case studies in the application of the B method.
IEE Proc. Softw. Eng.
Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach
1997 — conf
Formalizing Object-Oriented Models in the Object Calculus.
ECOOP Workshops
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997 — conf
Formalizing Real-Time System Design.
ECOOP Workshops
Kevin Lano, Stephen J. Goldsack
1997 — conf
Integrating VDM++ and Real-Time System Design.
ZUM
Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent
1997 A conf
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.
ECOOP
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997 B conf
Refinement and Safety Analysis.
SAFECOMP
Kevin Lano
1997 — conf
Specification and Refinement of Continuous Real-Time Systems.
ARTS
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1997 — conf
Specification of Required Non-determinism.
FME
Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
1997 — conf
Specifying Reactive Systems in B AMN.
ZUM
Kevin Lano
1997 — conf
Towards a compositional interpretation of object diagrams.
Algorithmic Languages and Calculi
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
1997 — conf
Transformational Formal Development of Real-Time Systems.
ARTS
Kevin Lano, Arturo Sanchez
1996 J jnl
Annealing and Data Decomposition in VDM++.
ACM SIGPLAN Notices
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1996 J jnl
Enhancing Object-Oriented Methods with Formal Notations.
Theory Pract. Object Syst.
Kevin Lano
1996 — book
The B language and method - a guide to practical formal development.
Kevin Lano
1995 B conf
Discrete event process controller synthesis using VDM
ICECCS
Kevin Lano, Stephen J. Goldsack
1995 C conf
Distributed System Specification in VDM
FORTE
Kevin Lano
1995 J jnl
Formal development in B abstract machine notation.
Inf. Softw. Technol.
Kevin Lano, Howard P. Haughton
1995 — book
Formal object-oriented development.
Kevin Lano
1995 — conf
Reactive System Specification and Refinement.
TAPSOFT
Kevin Lano
1995 B conf
Specifying static analysis tools using formal methods.
ICECCS
Kevin Lano
1994 — conf
Improving the Process of System Specification and Refinement in B.
Refine
Kevin Lano, Howard P. Haughton
1994 — conf
Refinement in Object-Oriented Specification Languages.
Refine
Kevin Lano
1994 — conf
Refinement, Subtyping and Subclassing in VDM++.
Theory and Formal Methods
Kevin Lano, Stephen J. Goldsack
1994 — conf
Testing and Safety Analysis of AM (Abstract Machine) Specifications.
Refine
Howard P. Haughton, Kevin Lano
1994 J jnl
Transformational Program Analysis.
Softw. Test. Verification Reliab.
Kevin Lano
1993 J jnl
A compendium of formal techniques for software maintenance.
Softw. Eng. J.
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
1993 J jnl
Formal specifications in software maintenance: from code to Z
Inf. Softw. Technol.
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
1993 — conf
Integrating Formal and Structured Methods in Reverse Engineering.
WCRE
Kevin Lano, Howard P. Haughton
1993 J jnl
Reverse-engineering Cobol via formal methods.
J. Softw. Maintenance Res. Pract.
Kevin Lano, Peter T. Breuer, Howard P. Haughton
1993 J jnl
The Intuitionistic Alternative Set Theory.
Ann. Pure Appl. Log.
Kevin Lano
1992 — conf
Object-Oriented Specification Techniques.
TOOLS (7)
Kevin Lano
1992 A conf
Reasoning and Refinement in Object-Oriented Specification Languages.
ECOOP
Kevin Lano, Howard P. Haughton
1992 — conf
Reuse and Adaptation of Z Specifications.
Z User Workshop
Kevin Lano, Howard P. Haughton
1992 Misc conf
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications.
LFCS
Kevin Lano
1992 — ch.
Z
Object Orientation in Z
Kevin Lano
1991 Misc conf
A Constraint-Based Fuzzy Inference System.
EPIA
Kevin Lano
1991 J jnl
A specification-based approach to maintenance.
J. Softw. Maintenance Res. Pract.
Kevin Lano, Howard P. Haughton
1991 — conf
An Algebraic Semantics for the Specification Language Z
AMAST
Kevin Lano, Howard P. Haughton
1991 J jnl
Creating specifications from code: Reverse-engineering techniques.
J. Softw. Maintenance Res. Pract.
Peter T. Breuer, Kevin Lano
1991 J jnl
Intuitionistic Modal Logic and Set Theory.
J. Symb. Log.
Kevin Lano
1991 — conf
Objects revisited.
ICSM
Howard P. Haughton, Kevin Lano
1990 — conf
Z
Z User Workshop
Kevin Lano
1989 — conf
From Programs to Z Specifications.
Z User Workshop
Kevin Lano, Peter T. Breuer