Linking Functional Requirements and Software Verification

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf. Linking Functional Requirements and Software Verification. In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009. pages 295-302, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.