Kawanishi Hirofumi | Department of Information Machines and Interfaces, Faculty of Information Science, Hiroshima City University
スポンサーリンク
概要
- Kawanishi Hirofumiの詳細を見る
- 同名の論文著者
- Department of Information Machines and Interfaces, Faculty of Information Science, Hiroshima City Universityの論文著者
論文 | ランダム
- 上位設計におけるシステムの振る舞い検証技術(システム設計のための形式手法の基礎と応用)
- B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)
- JMLを用いた在庫管理プログラムの設計とESC/Java2を用いた検証
- 制約指向に基づいたUMLモデルの不整合検出・解消手法の提案(ソフトウェア,フォーマルアプローチ論文)
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)