CAPS as a requirements engineering tool
This research was supported in part by the DoD Ada Joint Program Office under grant number DWAM10100 (Ada Technology Insertion Program) and by the National Science Foundation under grand number CCR-9058453.