結果 : types of box structure specification in software engineering