結果 : modeling techniques in software engineering