スポンサーリンク
名古屋大学情報工学科 | 論文
- 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
- 数式のデータ表現と意味解釈システム
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- 付箋による一時的情報の管理とその応用
- 形式的手法に基づくJavaScriptプログラムの型検査系の実現
- B-017 リバースエンジニアリングによるUMLをベースとした拡張シーケンス図の生成(B分野:ソフトウェア)
- 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法(学生セッション H_開発支援)
- UMLをベースとしたJavaプログラムの視覚化における手続的処理部の表現について
- オブジェクト指向プログラムに対するクラス集合型検査の健全性
- 4M-6 WebブラウザのCSSレンダリング妥当性検査手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- 構造に基づいたXML文書のスキーマ変換器自動生成
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出(開発支援(1)(学生セッション))
- モデル生成に基づくJavaScriptプログラムの型検査系
- ミューテーション法を用いたテストセット構成支援に関する研究(開発支援(2)(学生セッション))
- 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法(開発支援(2)(学生セッション))
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- Cプログラムの理解を支援するナビゲーション機能(開発支援(学生セッション))
- 構文解析器の開発支援環境(開発支援(学生セッション))
- オブジェクト指向プログラムに対するMessage Not Understood フォールト検知のための型検査アルゴリズム