気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
第5回：国内でも成功事例が出現，形式的手法の壁は高くない
形式的手法の発祥の地，欧州では 「同手法についてよくある誤解」とのテーマが学会などで語られる。 一... 形式的手法の発祥の地，欧州では 「同手法についてよくある誤解」とのテーマが学会などで語られる。 一方，日本ではその存在すらほとんど認知されておらず よくある誤解などが発生する以前の状態だ。 こうした中，国内でも先駆的に形式的手法を活用し成果を上げた企業がある。 研究者の興味の対象でしかなかった形式的手法が，いよいよ日本でも現場に広がり始めた。 仕様記述と形式検証（モデル検査）。 形式的手法を構成するぞれぞれの分野での最新事例を紹介する。 形式的手法は，主に2つに大別される。1つは，ソフトウエアの仕様を「形式的な仕様記述言語」を使って論理的に記述したり，検査したりすることで，少しでも早い段階でバグを洗い出す「仕様記述」。もう1つは，形式的な仕様記述言語とは別の専用言語で記述したシステムの状態遷移をコンピュータに入力することで，振る舞いにバグがないかどうかを高速かつ自動的に探索する「形式検証（
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
2011/01/24 リンク