Saturday, September 23, 2006

Invariants in software architecture

An invariant is a property that does not change.
A software architecture is the plan of a program.
The invariants are the properties of the program that do not change during its execution.
Programs are all about changing things so invariants are an important concept: they define what is not changed.

No comments: