Accession Number:

ADA465070

Title:

How to Fake a Rational Design Process using the SCR Method

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

2003-05-10

Pagination or Media Count:

3.0

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 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.

Subject Categories:

  • Operations Research
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE