How to Fake a Rational Design Process using the SCR Method
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
Pagination or Media Count:
We explore the idea of faking a rational design process, a la Parnas and Clements by the application of the extended SCR Method of Heitmeyer and Bharadwaj. We argue that the formal artifacts created as a result serve as the basis for determining the work products associated with each step of the process, and whose quality assessment is aided by the application of tools in the SCR Toolset. Further, since the products associated with each step have a consistent formal denotation, the approach opens the possibility of significantly automating many process steps.
- Operations Research
- Computer Programming and Software