Modeling and Validating Requirements Using Executable Cotnracts and Scenarios.

Dave Arnold, Jean-Pierre Corriveau, Wei Shi

Browse the full SERA paper archive.