Michael Jackson

Suggest Changes

Writes About:

Learn More
As software developers we are engineers because we make useful machines. We are concerned both with the world, in which the machine serves a useful purpose, and with the machine itself. The competing(More)
Partial specifications written in many different specification languages can be composed if they are all given semantics in the same domain, or alternatively, all translated into a common style of(More)
Description – often referred to as modelling – is fundamental to software development. The developer should always be ready to say of each description: what subject it describes; what it says about(More)