Software Engineering

A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.

A no-nonsense introduction to software design using the Python programming language, for people with no programming experience.

Presents and explains a method to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition.

Teaches new methods for specifying, analyzing and testing software that increase automation in each step.

Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.

This 2004 book contains guidelines for writing consistent C++ code that''s easy to understand, enhance and maintain.

Concise and easy-to-understand guidelines and standards for creating UML 2.

Contains standards and guidelines for creating UML diagrams that are concise and easy to understand.

Since the introduction of personal computers, software has emerged as a driving force in the global economy and a major industry in its own right.

The first rigorous and systematic treatment of choreographies: formal coordination plans for concurrent and distributed systems.

A humorous and friendly introduction to programming for undergraduate students meeting the subject for the first time.