A design process formalization
Minoru Harada, Tosiyasu L. Kunii · 2005
Software design process is formalized based on the concept of the recursive graphs. The proposed formalization defines design schemas by the recursive graphs and design operations by the recursive graph operations. An architecture of a computer aided design process based on this formalization is presented. An example is shown for a buffer system design. It is expected that this formalization reduces software life cycle cost by utilization and machine verification of past design results as well as past design processes.