A design approach where explicit specifications serve as contracts between designers and tools, maintaining traceability from requirements to implementation.