Jump to content

Kevin Lano

From Wikipedia, the free encyclopedia

Kevin Lano
Born1963 (age 60–61)
CitizenshipBritish
Alma materUniversity of Reading, University of Bristol
Known forFormal methods, Z notation, Z++, UML 2.0, B-Method
AwardsTen Year Most Influential Paper Award at the MODELS 2008 Conference[1]
Scientific career
FieldsComputer science, software engineering
InstitutionsUniversity of Oxford, King's College London
Websitenms.kcl.ac.uk/kevin.lano

Kevin C. Lano (born 1963) is a British computer scientist.

Life and work

[edit]

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.[2] He was an originator of formal object-oriented techniques (Z++), and developed a combination of UML and formal methods[3] 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.[citation needed] Lano published the book Advanced Systems Design with Java, UML and MDA (Butterworth-Heinemann, ISBN 0-7506-6496-7) 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.[4]

Lano was formerly a Research Officer at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science). He is a reader at the Department of Informatics at King's College London.[2]

In 2008, Lano and his co-authors Andy Evans, Robert France, and Bernard Rumpe, were awarded the Ten Year Most Influential Paper Award at the MODELS 2008 Conference on Model Driven Engineering Languages and Systems for the 1998 paper "The UML as a Formal Modeling Notation".[1]

Selected publications

[edit]

Books

[edit]
  • Reverse Engineering and Software Maintenance (McGraw-Hill, 1993)
  • Object-oriented Specification Case Studies (Prentice Hall, 1993)
  • Formal Object-oriented Development (Springer, 1995)
  • The B Language and Method: A Guide to Practical Formal Development (Springer, 1996)
  • Software Design in Java 2 (Palgrave, 2002)
  • UML 2 Semantics and Applications (Wiley, 2009), editor
  • Model-Driven Development using UML and Java (Cengage, 2009)
  • Agile MBD using UML-RSDS (Taylor & Francis, 2016)
  • Financial Software Engineering (Springer, 2019), with Howard Haughton

References

[edit]
  1. ^ a b France, Robert B. (March 2012). "Awards". Colorado State University. Retrieved 11 February 2020.
  2. ^ a b "Dr Kevin Lano". UK: King's College London. Archived from the original on 26 March 2012. Retrieved 3 July 2011.
  3. ^ Taibi, Toufik (2007). Design patterns formalization techniques. IGI. p. 377. ISBN 978-1-59904-219-0.
  4. ^ "Books : "Kevin Lano"". Amazon.co.uk. UK. Retrieved 10 May 2016.
[edit]