Design by Contract

Fuzion is designed to support development of safety critical software. This means that it provides formal means to specify and enforce the behaviour of Fuzion code.

TBW

TBW: Some intro text, ref to Betrand Meyer's original work, etc.