Contract-based requirements engineering.

Brian Berenbach, Ren-Yi Lo, Bill Sherman

Browse the full RE paper archive.