Kevin Lano | Academic Influence

Kevin Lano's AcademicInfluence.com Rankings

Kevin Lano

Computer Science

#1880

World Rank

#1954

Historical Rank

Database

#7408

World Rank

#7678

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Kevin Lano's Degrees

PhD Computer Science Imperial College London
Masters Computer Science Imperial College London
Bachelors Computer Science Imperial College London

Similar Degrees You Can Earn

Why Is Kevin Lano Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kevin C. Lano is a British computer scientist. Life and work Kevin Lano studied at the University of Reading, attaining a first class degree in Mathematics and Computer Science, and the University of Bristol where he completed his doctorate. He was an originator of formal object-oriented techniques , and developed a combination of UML and formal methods in a number of papers and books. He was one of the founders of the Precise UML group, who influenced the definition of UML 2.0. Lano published the book Advanced Systems Design with Java, UML and MDA in 2005. He is also the editor of UML 2 Semantics and Applications, published by Wiley in October 2009, among a number of computer science books.

(See a Problem?)

Kevin Lano's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Slicing of UML models using model transformations (2010) (956)
Safety and Security Analysis of Object-Oriented Models (2002) (415)
The UML as a formal modeling notation (1998) (326)
The B language and method - a guide to practical formal development (1996) (160)
Meta-Modelling Semantics of UML (2014) (79)
Formal object-oriented development (1995) (78)
UML to B: Formal Verification of Object-Oriented Models (2004) (77)
Specification in B: An Introduction Using the B Toolkit (1996) (76)
Creating specifications from code: Reverse-engineering techniques (1991) (71)
Object-oriented specification case studies (1994) (70)
Evaluation of model transformation approaches for model refactoring (2014) (62)
Z++, An Object-orientated Extension to Z (1990) (60)
Model-Transformation Design Patterns (2014) (59)
Formalising design patterns (1996) (56)
UML 2 Semantics and Applications (2009) (55)
Graph and model transformation tools for model migration (2014) (54)
Semantics and Transformations for UML Models (1998) (52)
A survey and comparison of transformation tools based on the transformation tool contest (2014) (47)
Reverse-engineering Cobol via formal methods (1993) (43)
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (1997) (42)
Constraint-based specification of model transformations (2013) (41)
Formalising the UML in Structured Temporal Theories (1999) (39)
Slicing Techniques for UML Models (2011) (38)
Reasoning and Refinement in Object-Oriented Specification Languages (1992) (36)
Reverse Engineering and Software Maintenance: A Practical Approach (1993) (36)
Specification and Verification of Model Transformations Using UML-RSDS (2010) (34)
Making Uml Precise (1998) (33)
A framework for model transformation verification (2014) (32)
Structuring and Design of Reactive Systems Using RSDS and B (2000) (32)
Formal methods into practice: case studies in the application of the B method (1997) (32)
Logical Specification of Reactive and Real-Time Systems (1998) (31)
Model projection: simplifying models in response to restricting the environment (2011) (29)
Model-Driven Development of Model Transformations (2011) (29)
A compositional semantics of UML-RSDS (2009) (29)
A survey of model transformation design patterns in practice (2018) (28)
Comparative Evaluation of Model Transformation Specification Approaches (2012) (28)
A compendium of formal techniques for software maintenance (1993) (28)
Rigorous Development in UML (1999) (27)
Design Patterns Formalization Techniques (2007) (26)
Constraint-driven development (2008) (26)
From Programs to Z Specifications (1989) (26)
The B language and method (1996) (25)
Towards a compositional interpretation of object diagrams (1997) (24)
UML refinement and abstraction transformations (1998) (23)
Formal specifications in software maintenance: from code to Z++ and back again (1993) (23)
Comparing verification techniques for model transformations (2012) (22)
Advanced systems design with Java, UML and MDA (2005) (20)
Structured Axiomatic Semantics for UML Models (2000) (19)
Developing the UML as a Formal Modelling Notation (2014) (19)
Agile Model-Based Development Using UML-RSDS (2016) (19)
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review (2017) (19)
Model Transformation Specification and Verification (2008) (18)
Objects revisited (1991) (18)
Slicing of UML state machines (2009) (18)
Case study: Class diagram restructuring (2013) (17)
INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ++ Approach (1996) (17)
The UML-RSDS Manual (2012) (17)
Technical Debt in Model Transformation Specifications (2018) (17)
Integrating formal and structured methods in reverse-engineering (1993) (15)
Correct-by-construction synthesis of model transformations using transformation patterns (2014) (15)
Literature Survey of previous research work in Models and Methodologies in Project Management (2014) (15)
Invariant-Based Synthesis of Fault-Tolerant Systems (2000) (15)
Model-Driven Software Development With UML and Java (2009) (14)
A specification-based approach to maintenance (1991) (14)
The REDO Project: Final Report (1991) (14)
Formal development in B abstract machine notation (1995) (13)
Enhancing Object-Oriented Methods with Formal Notations (1996) (13)
Design Patterns: Applications and Open Issues (2014) (13)
Optimising Model-transformations using Design Patterns (2013) (13)
Formalising Design Patterns as Model Transformations (2007) (13)
Towards a Meta-model of the Cloud Computing Resource Landscape (2013) (12)
An Algebraic Semantics for the Specification Language Z++ (1991) (12)
A light-weight static approach to analyzing UML behavioral properties (2007) (12)
Fuzzy sets and residuated logic (1992) (12)
Extracting design and functionality from code (1992) (12)
Refinement in Object-Oriented Specification Languages (1994) (12)
Direct Semantics of Extended State Machines (2007) (12)
Requirements Engineering in Model-Transformation Development: An Interview-Based Study (2016) (11)
Breaking the Barriers to Desire Polyamory, Polyfidelity and Non-Monogamy : New Approaches to Multiple Relationships (1995) (11)
Understanding programs through formal methods (1993) (11)
Formal Specification using Interaction Diagrams (2007) (11)
Solving the TTC 2011 Model Migration Case with UML-RSDS (2011) (11)
Integrating VDM++ and Real-Time System Design (1997) (11)
A comparative description of object-oriented specification languages (1994) (11)
Translating UML-RSDS OCL to ANSI C (2017) (11)
A Model-Based Development Approach for Model Transformations (2011) (11)
Distributed System Specification in VDM++ (1995) (11)
Case study: FIXML to Java, C# and C++ (2014) (11)
Catalogue of model transformations (2005) (10)
Meta-Modeling Semantics of UML (2014) (10)
Annealing and data decomposition in VDM (1996) (10)
Formal frameworks for approximate reasoning (1992) (10)
Agile Specification of Code Generators for Model-Driven Engineering (2020) (10)
Reactive System Specification and Refinement (1995) (10)
Design Patterns for Model Transformations (2011) (9)
Enhancing model transformation synthesis using natural language processing (2020) (9)
Experiences of using formal methods for chemical process control specification (1998) (9)
Reuse and Adaptation of Z Specifications (1992) (9)
Improving the Process of System Specification and Refinement in B (1994) (9)
Reeingineering legacy applications using design patterns (1997) (9)
Blekinge Institute of Technology Research Report 2002:06. Formalising Inter-model Consistency of the UML (2002) (9)
A Survey of Model Transformation Design Pattern Usage (2017) (9)
A Constraint-Based Fuzzy Inference System (1991) (9)
Analysis and Specification (1996) (8)
Transformational program analysis (1994) (8)
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS (2013) (8)
IADIS International Conference WWW/Internet 2004 (2004) (8)
Combining object-oriented representations of knowledge with proximity to conceptual prototypes (1992) (8)
RSDS, a Subset of UML with Precise Semantics (2003) (8)
Specifying Reactive Systems in B AMN (1997) (8)
Component Composition in Business and System Modelling (1997) (8)
Refinement of Distributed Object Systems (1997) (8)
Verified bidirectional transformations by construction (2016) (7)
Slicing of UML Models (2010) (7)
Language-Independent Model Transformation Verification (2014) (7)
Extracting Correspondences from Metamodels Using Metamodel Matching (2019) (7)
A comparison of quality flaws and technical debt in model transformation specifications (2020) (7)
A framework for verification of model transformations (2013) (7)
Model Transformation Specification and Design (2012) (7)
The Role of Semantics (2009) (7)
Structuring reactive systems in B AMN (2000) (7)
Formalizing Object-Oriented Models in the Object Calculus (1997) (7)
Specifying a concept-recognition system in Z ++ (1994) (7)
Experiences of Teaching Model-based Development (2015) (6)
A Semantic Comparison of Fusion and Syntropy (2000) (6)
Patterns for Specifying Bidirectional Transformations in UML-RSDS (2015) (6)
Null Considered Harmful (for Transformation Verification) (2014) (6)
Development of concurrent systems in B AMN (1996) (6)
Intuitionistic modal logic and set theory (1991) (6)
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study (2018) (6)
Design of Reactive Control Systems for Event-Drivem Operations (1997) (6)
Integrating goal-oriented measurement for evaluation of model transformation (2011) (6)
Synthesis of mobile applications using AgileUML (2021) (6)
Implementing QVT-R via semantic interpretation in UML-RSDS (2020) (5)
Defining and formalising project management models and processes (2014) (5)
Automated Synthesis of ATL Transformations from Metamodel Correspondences (2020) (5)
Runtime Infrastructure Optimisation in Cloud IaaS Structures (2013) (5)
Refinement Patterns for UML (2005) (5)
A Real-time Action Logic of Objects (1996) (5)
Composition of reactive system components (2000) (5)
Improving the Application of Agile Model-based Development: Experiences from Case Studies (2015) (5)
From Implicit Specifications to Explicit Designs in Reactive System Development (2002) (5)
Refinement, Subtyping and Subclassing in VDM++ (1994) (5)
Graph and model transformation tools for model migration (2012) (5)
The Intuitionistic Alternative Set Theory (1993) (4)
A Process for Integrating Agile Software Development and Model-driven Development (2017) (4)
Declarative Specification of Bidirectional Transformations Using Design Patterns (2019) (4)
Extending OCL with Map and Function Types (2021) (4)
Technical debt in procedural model transformation languages (2020) (4)
Formal implementation of procedural controllers for event-driven sequential systems in chemical processes (2000) (4)
Semantics and Refinement of Behavior State Machines (2008) (4)
Solving the TTC 2014 Movie Database Case with UML-RSDS (2014) (4)
Software Design Using Java 2 (2002) (4)
Internet system design (2005) (4)
Formal Speciications in Software Maintenance: from Code to Z ++ and Back Again (1993) (4)
Solving the Class Responsibility Assignment Case with UML-RSDS (2016) (4)
Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations (2014) (4)
Generation of Test Cases from UML Diagrams - A Systematic Literature Review (2021) (4)
Specification of Required Non-determinism (1997) (3)
TL: an abstract specification language for bidirectional transformations (2020) (3)
Concurrency Specification in UML-RSDS (2006) (3)
Model Transformation Applications from Requirements Engineering Perspective (2015) (3)
Discrete event process controller synthesis using VDM/sup ++/ (1995) (3)
Development Process Patterns for Distributed Onshore/Offshore Software Projects (2014) (3)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2016) (3)
REDO at Oxford (1991) (3)
A model-driven framework for developing android-based classic multiplayer 2D board games (2021) (3)
Temporal Logic Specification and Analysis for Model Transformations (2015) (3)
Adding Regular Expression Operators to OCL (2021) (3)
Transforming continuous into discrete specifications with VDM (1996) (3)
Towards Automatic Generation of Project-Based Solutions (2015) (3)
Object-oriented specification languages in the software life cycle (1994) (3)
Code Generation by Example (2022) (2)
Agile Model-driven Engineering of Financial Applications (2017) (2)
Reactive System Refinement of Distributed Systems in B (1999) (2)
Simplified Specification Languages for Flexible and Agile Modelling (2019) (2)
A framework for model transformation verification (2014) (2)
Testing and Safety Analysis of AM (Abstract Machine) Specifications (1994) (2)
Mapping Procedural Patterns to Object-Oriented Design Patterns (1999) (2)
Model-based Testing and Monitoring using AgileUML (2021) (2)
Formal Specification and Verification of Railway Systems using UML (2003) (2)
Comparative case studies in agile model-driven development (2018) (2)
Standards and techniques for object-oriented formal specification (1993) (2)
Handbook of Research on Innovations in Systems and Software Engineering (2014) (2)
Requirements Analysis and Specification (2016) (2)
Functional and Technical Aspects of Self-management mHealth Apps: Systematic App Search and Literature Review (2022) (2)
Verification of model transformations (2012) (2)
Program translation using model-driven engineering (2022) (2)
Mutation Operators for Object Constraint Language Specification (2021) (2)
ACM/iEEE 9th International Conference on Model Driven Engineering Languages and Systems (2006) (2)
Introduction to the Unified Modeling Language (2009) (2)
An Approach to Animating Model-Based Object-Oriented Formal Specifications (1999) (2)
Advanced System Design using Java, UML and MDA (2005) (2)
Patterns for Model Transformation Specification and Implementation (2012) (2)
Model Transformation Semantic Analysis by Transformation (2015) (1)
Reactive System Design (2002) (1)
Specification of a Chemical Process Controller in B (1999) (1)
Synthesis of Software from Logical Constraints (2016) (1)
Design and Implementation (1996) (1)
Requirements Engineering in Model Transformation Development: A Technique Suitability Framework for Model Transformation Applications (2016) (1)
VDM in 2000! Proceedings of the 2nd VDM Workshop (2000) (1)
Systematising Reactive System Design (1999) (1)
First International Workshop on Patterns in Model Engineering (2015) (1)
Linking Hazard Analysis to Formal Specification and Design in B (1998) (1)
Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study (2017) (1)
Demonstrating Preservation of Safety Properties in Reactive Control System Development (2007) (1)
Model-Driven Business Process Engineering (2014) (1)
Refinement and Safety Analysis (1997) (1)
Extending UML with coordination contracts (2006) (1)
OCL libraries for software specification and representation (2022) (1)
Specification and Refinement of Continuous Real-Time Systems (1997) (1)
The challenges of software design (2005) (1)
Axiomatic Semantics of State Machines (2009) (1)
Automated Synthesis of High-Integrity Systems using Model-Driven Development (2006) (1)
Financial Software Engineering (2019) (1)
Lightweight Software Language Processing Using Antlr and CGTL (2023) (1)
Automated Requirements Formalisation for Agile MDE (2021) (1)
Specification and analysis techniques in object-oriented methods (1994) (1)
Transformational Formal Development of Real-Time Systems (1997) (1)
Integrated Formal Methods (2010) (1)
Implementing the model-driven architecture (2005) (1)
Software Modernisation and Re-Engineering (2019) (1)
Semantics of Activity Diagrams (2009) (1)
Design patterns and their role in formal object-oriented development (1999) (1)
From Analysis to Formal Specification (1995) (1)
The Foundations of B AMN (1996) (0)
FM'99 - Formal Methods (1999) (0)
VOLT 2014 Workshop Report (2014) (0)
Hello World Case Study Transformation Specification (2011) (0)
Distributed and Internet Applications (2002) (0)
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review (2023) (0)
High-Integrity Model-Based Development (2013) (0)
Agile Model-Based Development Approaches (2019) (0)
Formalizing themain characteristics of QVT-basedmodel transformation languages (2020) (0)
Chapter 14. Model Transformation Specification and Verification (2009) (0)
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications (1992) (0)
A model-driven framework for developing android-based classic multiplayer 2D board games (2021) (0)
Analysis of Financial Products: CDOs (2019) (0)
Applications of UML-RSDS in Education and Industry (2016) (0)
An Information Flow Analysis of B Specifications and Refinements (2009) (0)
The VDM + B project : Objectives and (2007) (0)
Business Information Systems (2002) (0)
From platform-specific models to executable code (2005) (0)
Specifying static analysis tools using formal methods (1995) (0)
Implementing OCL in Swift (2021) (0)
Financial System Specification Using UML (2019) (0)
Financial Products and Analyses (2019) (0)
Using Artiﬁcial Intelligence for the Speciﬁcation of m-Health and e-Health Systems (2021) (0)
UML − RSDS Specifications PIM level UML − RSDS Specifications PSM level Refinement transformations Quality improvement transformations B Specification B Synthesis SMV Synthesis SMV Specification (2006) (0)
Refactoring and Update-in-place Transformations (2016) (0)
Correct-by-construction synthesis of model transformations using transformation patterns (2012) (0)
Enterprise Systems Development with UML-RSDS (2016) (0)
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014) (2014) (0)
Design and Verification of Automation Systems Using RSDS (2001) (0)
OCL-based test case prioritisation using AgileUML (2022) (0)
Financial System Design (2019) (0)
The VDM + B project : Objectives and Progress (2008) (0)
SEFM (Software Engineering and Formal Methods) 2007 (2007) (0)
LECT NOTE COMPUT SCI (2000) (0)
Bidirectional and Incremental Transformations (2016) (0)
The object constraint language (2005) (0)
Model-Based and Agile Development (2019) (0)
Case studies of web system development (2005) (0)
Agile Development and Model-based Development (2016) (0)
Model-Driven Development and Business Process Engineering (2014) (0)
An Animation Tool for Supporting Specification-Based Software Architectures (2007) (0)
Model transformation synthesis 2 (2020) (0)
INTEGRATED FORMAL METHODS, PROCEEDINGS 2999: (2004) (0)
Models Involving Multiple Instances of a Component (1999) (0)
Chapter 8 – Web services (2005) (0)
Design and classification of mutation operators for OCL specification (2022) (0)
Backtracking and Exploratory Transformations (2016) (0)
Financial Services and Markets (2019) (0)
The Z++ method (1994) (0)
Specification Notations and Techniques (1995) (0)
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press (2001) (0)
Staf Workshop on Verification of Model Transformations, VOLT 2015 (2015) (0)
Proc. 1st Int'l Conf. Model-Driven Engineering and Software Development (2013) (0)
Chapter . VIII Formalising . Design . Patterns . as . Model . Transformations (2019) (0)
STAF 2014 Doctoral Symposium (2014) (0)
UML dynamic modelling notations (2005) (0)
12th IEEE conference ICECCS 2007 (2007) (0)
Formalizing model transformation patterns (2022) (0)
TL (2019) (0)
The Agile UML Manual (2019) (0)
Design Patterns and Refactorings (2016) (0)
Case Study: Resource Scheduler (2016) (0)
Trading and Analytics Technologies (2019) (0)
Design and Refinement (1995) (0)
System Composition and Reuse (2016) (0)
Formalizing the main characteristics of QVT-based model transformation languages (2020) (0)
Formal Techniques in Real-Time and Fault-Tolerant Systems (1988) (0)
TTC 2014 Transformation Tool Contest (2014) (0)
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case (2011) (0)
Tool Support for Financial Application Development (2019) (0)
Compositional Specification of Controllers for Batch Process Operations (1998) (0)
The Software Development Process (1995) (0)
Verification of UML Models (2009) (0)
Axiomatic Semantics of UML Class Diagrams (2009) (0)
Design Patterns for Model Transformations: Current Research and Future Directions (2015) (0)
Version Peer reviewed version Link to publication record in King ' s Research Portal (2016) (0)
Internet System Design for the Disabled Net (2003) (0)
Reactive System Specification and Verification in RSDS (2001) (0)
Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example (2021) (0)
UML '02 Workshop on Consistency of UML Models (2002) (0)
Object-Oriented Specification Techniques (1992) (0)
Reactive System Development with UML-RSDS (2016) (0)
Generating Accessible and Usable Internet Systems (2004) (0)
Overview of Development Using UML-RSDS (2017) (0)
Refinement and Enhancement Transformations (2016) (0)
The Tenth International Conference on Software Engineering Advances (2015) (0)
Foundations of Component-Based Systems (2000) (0)
The unified modelling language (2005) (0)
Concurrent and Real-time Behaviour (1995) (0)
Concurrency and Real time specifications in UML (2006) (0)
Implementation and Code Generation (1995) (0)
A Formal Approach to Design Patterns in Re-Engineering (1997) (0)
Precise Requirements Engineering for Model Transformations (2014) (0)
eXtreme Modeling: an approach to agile model-based development (2019) (0)
Platform-independent design (2005) (0)
Proof Methods and Techniques (1995) (0)
Code Generation by Example Using Symbolic Machine Learning (2023) (0)
Increase in Project Size (2009) (0)
Programming Research Group THE REDO PROJECT : FINAL REPORT (1991) (0)
Introduction to the theme section on Agile model-driven engineering (2022) (0)
Formalizing themain characteristics of QVT-basedmodel transformation languages (2020) (0)
Formalizing Real-Time System Design (1997) (0)

This paper list is powered by the following services:

Other Resources About Kevin Lano

en.wikipedia.org

What Schools Are Affiliated With Kevin Lano?

Kevin Lano is affiliated with the following schools: