Kevin Lano
Kevin Lano
Dept. of Informatics, King's College London
Verified email at kcl.ac.uk
TitleCited byYear
The B language and method: a guide to practical formal development
K Lano
Springer Science & Business Media, 2012
2782012
The UML as a formal modeling notation
R France, A Evans, K Lano, B Rumpe
Computer Standards & Interfaces 19 (7), 325-334, 1998
2491998
The UML as a formal modeling notation
A Evans, R France, K Lano, B Rumpe
International Conference on the Unified Modeling Language, 336-348, 1998
2351998
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
1861994
Formal object-oriented development
K Lano
Springer Science & Business Media, 2012
1822012
Z++, an object-orientated extension to Z
K Lano
Z User Workshop, Oxford 1990, 151-172, 1991
1271991
Specification in B: An introduction using the B toolkit
H Howard, L Kevin
World Scientific, 1996
1171996
Developing the UML as a formal modelling notation
A Evans, R France, K Lano, B Rumpe
Proc. UML’98, LNCS 1618, 1998
1001998
UML to B: Formal verification of object-oriented models
K Lano, D Clark, K Androutsopoulos
International Conference on Integrated Formal Methods, 187-206, 2004
962004
Creating specifications from code: Reverse‐engineering techniques
PT Breuer, K Lano
Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991
901991
Meta-modelling semantics of UML
A Evans, R France, K Lano, B Rumpe
Behavioral specifications of businesses and systems, 45-60, 1999
831999
Formalising design patterns
K Lano, J Bicarregui, S Goldsack
Proceedings of the 1st BCS-FACS conference on Northern Formal Methods, 11-11, 1996
681996
Making UML precise
A Evans, JM Bruel, R France, K Lano, B Rumpe
Proceedings of the OOPSLA 98, 1998
671998
Semantics and transformations for UML models
K Lano, J Bicarregui
International Conference on the Unified Modeling Language, 107-119, 1998
651998
UML 2 semantics and applications
K Lano
John Wiley & Sons, 2009
642009
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
European Conference on Object-Oriented Programming, 78-97, 1992
581992
Model-transformation design patterns
K Lano, S Kolahdouz-Rahimi
IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014
532014
Objects, Associations and Subsystems: a hierarchical approach to encapsulation
JC Bicarregui, KC Lano, TSE Maibaum
European Conference on Object-Oriented Programming, 324-343, 1997
511997
Model-driven development of model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Theory and Practice of Model Transformations, 47-61, 2011
502011
Formalising the UML in structured temporal theories
K Lano, J Bicarregui
Behavioral Specifications of Businesses and Systems, 161-174, 1999
501999
The system can't perform the operation now. Try again later.
Articles 1–20