About Kevin Lano
Born 1963. Kevin Lano is a computer scientist and engineer, known for B-Method, Formal methods and UML 2.0.
Selected publications
Books 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
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Kevin Lano's
Frequently asked questions
Who is Kevin Lano?
computer scientist
When was Kevin Lano born?
Kevin Lano was born in 1963 in United Kingdom.
What is Kevin Lano's occupation?
Kevin Lano is a computer scientist and engineer.
What is Kevin Lano known for?
Kevin Lano is known for B-Method, Formal methods, UML 2.0, Z notation and Z++.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Kevin Lano. https://biography.guide/kevin-lano/
MLA: "Kevin Lano." Biography.guide, https://biography.guide/kevin-lano/.
Chicago: "Kevin Lano." Biography.guide. https://biography.guide/kevin-lano/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:20 UTC