K. Lano profile picture

K. Lano

Is this your author profile? Create an account to claim and customize it!

Stand Alone

UML 2 semantics and applications
Object-oriented specification case studies
Formal object-oriented development
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology)
Agile Model-based Development Using UML-RSDS
Reverse Engineering and Software Maintenance: A Practical Approach (McGraw-Hill International Series in Software Engineering)
B -
The B language and method: a guide to practical formal development