Kevin Lano

According to our database1, Kevin Lano authored at least 139 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Financial Software Engineering
Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-14049-6, 2019

Declarative Specification of Bidirectional Transformations Using Design Patterns.
IEEE Access, 2019

Extracting Correspondences from Metamodels Using Metamodel Matching.
Proceedings of the 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, 2019

2018
A survey of model transformation design patterns in practice.
Journal of Systems and Software, 2018

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Comparative case studies in agile model-driven development.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Technical Debt in Model Transformation Specifications.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Translating UML-RSDS OCL to ANSI C.
Proceedings of the Software Technologies: Applications and Foundations, 2017

The Integration of Agile Development and Model Driven Development - A Systematic Literature Review.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Agile Model-driven Engineering of Financial Applications.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Process for Integrating Agile Software Development and Model-driven Development.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Survey of Model Transformation Design Pattern Usage.
Proceedings of the Theory and Practice of Model Transformation, 2017

2016
Solving the Class Responsibility Assignment Case with UML-RSDS.
Proceedings of the 9th Transformation Tool Contest, 2016

Verified bidirectional transformations by construction.
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Requirements Engineering in Model-Transformation Development: An Interview-Based Study.
Proceedings of the Theory and Practice of Model Transformations, 2016

2015
A framework for model transformation verification.
Formal Asp. Comput., 2015

Temporal Logic Specification and Analysis for Model Transformations.
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Design Patterns for Model Transformations: Current Research and Future Directions.
Proceedings of the First Workshop on Patterns in Model Engineering, 2015

Model Transformation Semantic Analysis by Transformation.
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Experiences of Teaching Model-based Development.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Towards Automatic Generation of Project-Based Solutions.
Proceedings of the Information and Knowledge Management in Complex Systems, 2015

2014
Model-Transformation Design Patterns.
IEEE Trans. Software Eng., 2014

Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.
Software and Systems Modeling, 2014

Correct-by-construction synthesis of model transformations using transformation patterns.
Software and Systems Modeling, 2014

Evaluation of model transformation approaches for model refactoring.
Sci. Comput. Program., 2014

A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program., 2014

Solving the TTC 2014 Movie Database Case with UML-RSDS.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Language-Independent Model Transformation Verification.
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Case study: FIXML to Java, C# and C++.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Null Considered Harmful (for Transformation Verification).
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Design Patterns: Applications and Open Issues.
Proceedings of the Cyberpatterns, 2014

2013
Constraint-based specification of model transformations.
Journal of Systems and Software, 2013

Case study: Class diagram restructuring.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Optimising Model-transformations using Design Patterns.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Towards a Meta-model of the Cloud Computing Resource Landscape.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Runtime Infrastructure Optimisation in Cloud IaaS Structures.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012
Comparative Evaluation of Model Transformation Specification Approaches.
Int. J. Software and Informatics, 2012

Model Transformation Specification and Design.
Advances in Computers, 2012

Synthesis of Software from Logical Constraints.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Slicing Techniques for UML Models.
Journal of Object Technology, 2011

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Model Migration Case with UML-RSDS
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Model projection: simplifying models in response to restricting the environment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Model-Driven Development of Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2011

A Model-Based Development Approach for Model Transformations.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Slicing of UML Models Using Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specification and Verification of Model Transformations Using UML-RSDS.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Slicing of UML Models.
Proceedings of the ICSOFT 2010, 2010

2009
A compositional semantics of UML-RSDS.
Software and Systems Modeling, 2009

Model Transformation Specification and Verification.
Proceedings of the UML 2 Semantics and Applications, 2009

Verification of UML Models.
Proceedings of the UML 2 Semantics and Applications, 2009

Semantics of Activity Diagrams.
Proceedings of the UML 2 Semantics and Applications, 2009

Axiomatic Semantics of UML Class Diagrams.
Proceedings of the UML 2 Semantics and Applications, 2009

The Role of Semantics.
Proceedings of the UML 2 Semantics and Applications, 2009

Introduction to the Unified Modeling Language.
Proceedings of the UML 2 Semantics and Applications, 2009

Axiomatic Semantics of State Machines.
Proceedings of the UML 2 Semantics and Applications, 2009

2008
Constraint-driven development.
Information & Software Technology, 2008

Model Transformation Specification and Verification.
Proceedings of the Eighth International Conference on Quality Software, 2008

Semantics and Refinement of Behavior State Machines.
Proceedings of the ICEIS 2008, 2008

2007
Direct Semantics of Extended State Machines.
Journal of Object Technology, 2007

Formal Specification using Interaction Diagrams.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A light-weight static approach to analyzing UML behavioral properties.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006
Extending UML with coordination contracts.
Software and Systems Modeling, 2006

2005
Refinement Patterns for UML.
Electr. Notes Theor. Comput. Sci., 2005

Advanced systems design with Java, UML and MDA.
Elsevier, ISBN: 978-0-7506-6496-7, 2005

2004
UML to B: Formal Verification of Object-Oriented Models.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Generating Accessible and Usable Internet Systems.
Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2003
RSDS, a Subset of UML with Precise Semantics.
L'OBJET, 2003

Internet System Design for the Disabled Net.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

2002
Safety and Security Analysis of Object-Oriented Models.
Proceedings of the Computer Safety, 2002

From Implicit Specifications to Explicit Designs in Reactive System Development.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Software design using Java 2.
Palgrave Macmillan, ISBN: 978-1-4039-0230-6, 2002

2001
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press.
Softw. Test., Verif. Reliab., 2001

2000
A Semantic Comparison of Fusion and Syntropy.
Comput. J., 2000

Structured Axiomatic Semantics for UML Models.
Proceedings of the Rigorous Object-Oriented Methods, 2000

Structuring Reactive Systems in B AMN.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Invariant-Based Synthesis of Fault-Tolerant Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Structuring and Design of Reactive Systems Using RSDS and B.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999
Mapping Procedural Patterns to Object-Oriented Design Patterns.
Autom. Softw. Eng., 1999

Models Involving Multiple Instances of a Component.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1999

Reactive System Refinement of Distributed Systems in B.
Proceedings of the Integrated Formal Methods, 1999

Rigorous Development in UML.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Formalising the UML in Structured Temporal Theories.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

Meta-Modelling Semantics of UML.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Logical Specification of Reactive and Real-Time Systems.
J. Log. Comput., 1998

The UML as a formal modeling notation.
Computer Standards & Interfaces, 1998

Compositional Specification of Controllers for Batch Process Operations.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Semantics and Transformations for UML Models.
Proceedings of the Unified Modeling Language, 1998

The UML as a Formal Modeling Notation.
Proceedings of the Unified Modeling Language, 1998

Linking Hazard Analysis to Formal Specification and Design in B.
Proceedings of the Computer Safety, 1998

Systematising Reactive System Design.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Formal methods into practice: case studies in the application of the B method.
Software Engineering - IEE Proceedings, 1997

Integrating VDM++ and Real-Time System Design.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Specifying Reactive Systems in B AMN.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Refinement and Safety Analysis.
Proceedings of the 16th International Conference on Computer Safety, 1997

A Formal Approach to Design Patterns in Re-Engineering.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997

Design of Reactive Control Systems for Event-Drivem Operations.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Specification of Required Non-determinism.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Formalizing Real-Time System Design.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Formalizing Object-Oriented Models in the Object Calculus.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.
Proceedings of the ECOOP'97, 1997

Transformational Formal Development of Real-Time Systems.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

Specification and Refinement of Continuous Real-Time Systems.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

Towards a compositional interpretation of object diagrams.
Proceedings of the Algorithmic Languages and Calculi, 1997

1996
Enhancing Object-Oriented Methods with Formal Notations.
TAPOS, 1996

Annealing and Data Decomposition in VDM++.
SIGPLAN Notices, 1996

The B language and method - a guide to practical formal development.
FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-76033-7, 1996

1995
Formal development in B abstract machine notation.
Information & Software Technology, 1995

Reactive System Specification and Refinement.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Discrete event process controller synthesis using VDM/sup ++/.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Specifying static analysis tools using formal methods.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Distributed System Specification in VDM++.
Proceedings of the Formal Description Techniques VIII, 1995

Formal object-oriented development.
FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19978-6, 1995

1994
Transformational Program Analysis.
Softw. Test., Verif. Reliab., 1994

Improving the Process of System Specification and Refinement in B.
Proceedings of the 6th Refinement Workshop, 1994

Refinement in Object-Oriented Specification Languages.
Proceedings of the 6th Refinement Workshop, 1994

Testing and Safety Analysis of AM (Abstract Machine) Specifications.
Proceedings of the 6th Refinement Workshop, 1994

Refinement, Subtyping and Subclassing in VDM++.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993
Reverse-engineering Cobol via formal methods.
Journal of Software Maintenance, 1993

Formal specifications in software maintenance: from code to Z++ and back again.
Information & Software Technology, 1993

A compendium of formal techniques for software maintenance.
Software Engineering Journal, 1993

The Intuitionistic Alternative Set Theory.
Ann. Pure Appl. Logic, 1993

Integrating Formal and Structured Methods in Reverse Engineering.
Proceedings of Working Conference on Reverse Engineering, 1993

1992
Reuse and Adaptation of Z Specifications.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

Z++.
Proceedings of the Object Orientation in Z, 1992

Object-Oriented Specification Techniques.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications.
Proceedings of the Logical Foundations of Computer Science, 1992

Reasoning and Refinement in Object-Oriented Specification Languages.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991
A specification-based approach to maintenance.
Journal of Software Maintenance, 1991

Creating specifications from code: Reverse-engineering techniques.
Journal of Software Maintenance, 1991

Intuitionistic Modal Logic and Set Theory.
J. Symb. Log., 1991

A Constraint-Based Fuzzy Inference System.
Proceedings of the EPIA 91, 1991

An Algebraic Semantics for the Specification Language Z++.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Z++, An Object-orientated Extension to Z.
Proceedings of the Z User Workshop, 1990

1989
From Programs to Z Specifications.
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989


  Loading...