松本 充広 | 北陸先端科学技術大学院大学情報科学研究科:(株)pfu第一事業部
スポンサーリンク
概要
関連著者
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
松本 充広
北陸先端科学技術大学院大学情報科学研究科:(株)pfu第一事業部
-
松本 充広
(株)PFU研究所
-
飯田 周作
北陸先端科学技術大学院大学情報科学研究科
-
海野 浩
北陸先端科学技術大学院大学情報科学研究科
著作論文
- 振舞仕様に基づくシステムの記述方法
- テスト集合余帰納法を用いた振舞等式の検証
- 高信頼コンポーネントソフトウェアの開発支援ツール
- コンポーネントソフトウェア開発用軽量フォーマルメソッド
- 振舞意味論を用いた詳細化検証 : オブジェクト合成と非観測射影演算を用いた新しいアプローチ
- 振舞意味論に基づく仕様の検証法
- 並列分散システムへの振舞意味論の適用について
- 振舞意味論と投影演算に基づく並行システムのノンインターリーブ性の記述および詳細化検証