|Title||How to Fake a Rational Design Process using the SCR Method|
|Publication Type||Conference Paper|
|Year of Publication||2003|
|Conference Name||Software Engineering for High Assurance Systems (SEHAS 2003)|
|Conference Location||Portland, Oregon|
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 artefacts 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.
|NRL Publication Release Number|| |