of consequent constraint-driven development. Requirements formulated in terms of