Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

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.

last changed: 2024-06-28