Seuraa
Kevin Lano
Kevin Lano
Dept. of Informatics, King's College London
Vahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk
Nimike
Viittaukset
Viittaukset
Vuosi
The UML as a formal modeling notation
R France, A Evans, K Lano, B Rumpe
Computer Standards & Interfaces 19 (7), 325-334, 1998
593*1998
The B language and method: a guide to practical formal development
K Lano
Springer Science & Business Media, 2012
2982012
Formal object-oriented development
K Lano
Springer Science & Business Media, 2012
1922012
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
1921994
Z++, An Object-Orientated Extension To Z
K Lano
Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting …, 1991
1351991
Specification in B: An introduction using the B toolkit
H Haughton, K Lano
World Scientific, 1996
1221996
UML to B: Formal verification of object-oriented models
K Lano, D Clark, K Androutsopoulos
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004
1052004
Creating specifications from code
P Breuer, K Lano
Journal of Software Maintenance 3 (3), 1991
931991
Meta-modelling semantics of UML
A Evans, R France, K Lano, B Rumpe
Behavioral Specifications of Businesses and Systems, 45-60, 1999
901999
Making UML precise
A Evans, JM Bruel, R France, K Lano, B Rumpe
Proceedings of the OOPSLA 98, 1998
791998
UML 2 semantics and applications
K Lano
John Wiley & Sons, 2009
772009
Model-transformation design patterns
K Lano, S Kolahdouz-Rahimi
IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014
752014
Formalising design patterns
K Lano, JC Bicarregui, S Goldsack
Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-20, 1996
711996
Semantics and transformations for UML models
K Lano, J Bicarregui
The Unified Modeling Language.«UML»’98: Beyond the Notation: First …, 1999
691999
Evaluation of model transformation approaches for model refactoring
S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp
Science of Computer Programming 85, 5-40, 2014
672014
A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ...
Science of computer programming 85, 41-99, 2014
632014
Graph and model transformation tools for model migration: Empirical results from the transformation tool contest
LM Rose, M Herrmannsdoerfer, S Mazanek, P Van Gorp, S Buchwald, ...
Software & Systems Modeling 13, 323-359, 2014
622014
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992
591992
Formalising the UML in structured temporal theories
K Lano, J Bicarregui
Behavioral Specifications of Businesses and Systems, 161-174, 1999
551999
Objects, Associations and Subsystems: a hierarchical approach to encapsulation
JC Bicarregui, KC Lano, TSE Maibaum
ECOOP 97, 324-343, 1997
531997
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20