Kevin Lano

• Financial Software Engineering
• Formal object-oriented development
• Modeldriven Software Development With Uml And Java
• Specification in B
• UML 2 Semantics and Applications
• Advanced Systems Design with Java, UML and MDA
• Agile Model-Based Development Using UML-RSDS
• B Language and Method
• Breaking the Barriers to Desire
• Introduction to Software Architecture
• Model-Driven Business Process Engineering
• Specification in B Kit