Title: Contracts, scenarios, and prototypes
Subjects: Computer software, Development, Quality control, Software architecture, Software engineering