Guides specification-first software development, defining interfaces, constraints, and contracts before writing code.
