北海道電子機器｜ソフトウェア開発、組み込み系システム開発－基本設計から量産までワンストップで対応します

• 北海道電子機器株式会社（HDK）ホーム
• 北海道電子機器の技術力
• 研究開発事例
• 形式手法

研究開発事例

形式手法

経済産業省の平成22年度戦略的基盤技術高度化支援事業、『形式的仕様記述を用いた高信頼ソフトウェア開発プロセスの研究とツール開発』に参画しました。

本事業の研究により、CQ出版社「Interface」誌に執筆を行いました。
フランス ClearSy社のツール「Atelier-B」の日本語化対応を行いました。

形式手法とは

仕様や設計での記述の曖昧さを排除したり（形式的仕様記述）、その記述内容の正しさを数学的理論に基づいて検証したり（形式検証）することによって、より高い品質のソフトウェア開発を実現する手法です。

 

日経産業新聞 2010年（平成22年）7月21日（水曜日）
7面　情報・通信欄

 

HDK 掲載記事リンク

• 2012年7月号：http://www.kumikomi.net/interface/contents/201207.php
  掲載記事：http://www.kumikomi.net/interface/sample/201207/if07_137.pdf
• 2012年9月号：http://www.kumikomi.net/interface/contents/201209.php
  掲載記事：http://www.kumikomi.net/interface/sample/201209/if09_112.pdf
• 2012年12月号：http://www.kumikomi.net/interface/contents/201212.php
  掲載記事：http://www.kumikomi.net/interface/sample/201212/if12_162.pdf

 

このシステムの詳細はこちらをご覧ください。

 

• 弊社社員が執筆するブログです。
• 北海道電子機器の採用情報はこちらへ。