「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞