「rCOS形式化模型驅動軟件開發方法」**獲自然科學奬二等奬**此項目為科技學院李曉山副教授聯同聯合國大學國際軟件技術研究所申請