スポンサーリンク
宮城大学事業構想学部 | 論文
- ディジタルツールを利用した産業協力型の学習方法開発支援に関する研究(e-ラーニング/e-エデュケーション/一般)
- 仮の施設/エンジニアド・バラック(東日本大震災緊急報告)
- 生活・行動記録情報からの個人識別
- 宮城大学における小・中学生を対象にした情報教育の試み(3)(:情報技術と教育/一般)
- 半構造データの分解と合成
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- π計算に対する様相証明システム
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)
- π計算に対する証明システム
- システム要求と仕様記述の検証
- An Effective Environment for Software Development
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 命題論理に基づいた要求記述法と状態遷移システムによる意味記述
- プロセス計算記述言語とその支援環境
- プロセス計算の統合支援環境の構築(並行計算の理論とその応用)
- 論理ペトリネットを用いた形式仕様の自動変換と検証(グラフ,ネットワークとアルゴリズムおよび一般)
- 平行プロセス計算の現状と課題
- 並行プロセス計算の開発・利用支援環境
- 並行プロセス計算の開発・利用支援環境
- プロセス計算の統合支援環境の構築