TitleHow to Fake a Rational Design Process using the SCR Method
Publication TypeConference Paper
Year of Publication2003
AuthorsBharadwaj, R.
Conference NameSoftware Engineering for High Assurance Systems (SEHAS 2003)
Conference LocationPortland, Oregon
Abstract

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.

Full Text

Bharadwaj2003b.pdf

NRL Publication Release Number

03-1221.1-1018