K. Lano

• Reverse engineering and software maintenance
• Formal object-oriented development
• Object-oriented specification case studies
• Software design using Java 2
• Specification in B
• The B language and method
• UML 2 semantics and applications
• Advanced systems design with Java, UML, and MDA
• Agile Model-Based Development Using Uml-rsds