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.