Reverse Engineering And Software Maintenance: A Practical Approach

By H. Haughton, K. Lano, Kevin Lano And Howard Haughton

A survey of current tools, techniques and research in reverse engineering and software maintenance. Using real examples, process models are detailed and techniques involving object-oriented design...

An Introduction To The B Abstract Machine Notation

By H. Haughton, K. Lano

Object-Oriented Specification Case Studies

By H. Haughton, K. Lano

xx, 236 p. : 24 cm Includes bibliographical references (p. 222-232) and index

Advanced Systems Design With Java, UML And MDA

By K. Lano, Kevin Lano

The Model Driven Architecture defines an approach where the specification of the functionality of a system can be separated from its implementation on a particular technology platform. The idea bei...

Software Design Using Java 2

By K. Lano, Jose Luiz Fiadeiro, Kevin Lano, Luis Filipe De Andrade, Lano, K., Fiadeiro, Jośe Luiz, Andrade, Lúis

Software Design Using Java 2 is a Software Engineering text aimed at intermediate and advanced students on undergraduate programmes. The book offers a comprehensive treatment of the essential techn...

Specification In B: An Introduction Using The B Toolkit

By K. Lano, Kevin Lano, Howard Haughton

Specification In B: An Introduction Using The B Toolkit

By K. Lano, Kevin Lano, Howard Haughton

The B Language And Method: A Guide To Practical Formal Development (Formal Approaches To Computing And Information Technology (FACIT))

By K. Lano, Kevin Lano

B is a formal approach to software specification and development based on the Z specification language. It has been successfully applied in industry, and has robust, commercially available tool sup...

Formal Object-Oriented Development (Formal Approaches To Computing And Information Technology (Facit))

By K. Lano, Kevin Lano

Advance Systems Design With Java, UML And MDA

By K. Lano, Lano