System development

A pre-condition limits the cases that a supplier must handle!


slide: System development with contracts