An analysis of the program design methods for traceability to the specification

摘要

Program design methods provide for some concepts as their background. We consider "reality-computing world mapping" model, and we could try to compare different methods through analyzing the characteristics of forming the composite functions in the model. The comparison is performed about the traceability to the specification through the programs which applied the two different design methods based on the same specification. This paper describes the comparison methods and the analysis results.