Automating Interface Documentation and Contract Checks

Use tools and concepts to enforce design constraints automatically.