University of Minnesota
Software Engineering Center

You are here

Alan Tribble

Recent Publications

Proving the shalls: Early validation of requirements through formal methods

Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods offers developers of safety-critical systems a powerful new approach for the early validation of requirements. This paper describes a case study conducted to determine if formal methods could be used to validate system requirements early in the lifecycle at reasonable cost.