kevin lano

Agile Model-Based Development Using UML-RSDS

This book describes the concepts and application of model-based development (MBD), model transfor...

Agile Model-Based Development Using UML-RSDS

This book describes the concepts and application of model-based development (MBD), model transfor...

UML 2 Semantics and Applications

A coherent and integrated account of the leading UML 2 semanticswork and the practical applicatio...

Software Design Using Java 2

Software Design Using Java 2 is a Software Engineering text aimed at intermediate and advanced st...

Financial Software Engineering

In this textbook the authors introduce the important concepts of the financial software domain, a...

Advanced Systems Design with Java, UML and MDA

The Model Driven Architecture defines an approach where the specification of the functionality of...

The B Language and Method

Formal Object-Oriented Development

The B Language and Method

B is one of the few formal methods which has robust, commercially-available tool support for the ...

Formal Object-Oriented Development

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-...

Introduction to Software Architecture

This unique, accessible textbook gives a comprehensive introduction to software architecture, ...

Financial Software Engineering

In this textbook the authors introduce the important concepts of the financial software...