>>top >>thesises
卒業論文
・伊藤 寿将:Javaプログラムを対象とした単体テスト用テストコード自動生成ツールにおけるテストケース設計支援手法の提案
・主藤 嵩章:ライントレーサ開発における動作確認のためのシミュレータの機能拡張
・中村 紘人:実行経路フィルタリングを用いたプログラム可視化ツールAvisの改良
・西川 拳太:Javaプログラムを対象としたコーディングとテストを並列化する単体テストツールPCaTの試作
・吉野 貴博:VDM++モデルを用いたRubyスクリプト生成支援手法の提案
修士論文
・川元 卓  :再利用性を考慮した二部構成シミュレータ設計手法の提案
・松岡 慎吾:単体テスト可視化ツール"Jvis"の開発

卒業論文
・浦田 聖也: テスト用コミュニケーション図作成手法の提案
・大久保 暢人: Rubyプログラムのための実装時に実行可能な単体テスト並列実行ツールCoDeCTの試作
・中原 憲太: Javaプログラムを対象とした単体テスト用テストコード自動生成手法の提案
修士論文
・東園 修平: 命令セットシミュレータ(ISS)作成手法の提案

卒業論文
・川元 卓: ライントレーサー開発における動作確認のためのシミュレータ試作
・坂本 真也: 性能と安全性の向上を目的とした組込みソフトウェア向け言語Befanaの改良
・松岡 慎吾: Javaプログラムのための単体テスト自動実行ツールの試作
・牟田 信志: ビジュアルプログラミングツールToyboxにおける利便性および読解性向上を目的とした改良
修士論文
・岡山 直樹: 組込みソフトウェア向けプログラミング言語Befanaの開発
・横山 亮平: Javaプログラムの単体テストにおけるテストコード自動生成手法の提案
博士論文
・喜多 義弘: プログラミング可視化手法を用いた結合テストおよびプログラミング理解支援に関する研究

卒業論文
・秋丸 貴俊: ビジュアルプログラミングツールToyboxにおける開発効率および利便性向上を目的とした改良
・東園 修平: 命令セットシミュレータ(ISS)作成支援ツールの試作

卒業論文
・福田 和貴: 顧客と開発者間における相関関係を用いた要求分析モデルの提案
・川崎 浩司: UMLにおけるユーケース記述を利用したダイアグラム作成支援手法の提案
・岡山 直樹: 組み込みソフトウェア向けプログラミング言語の開発
・酒井 俊一郎: ビジュアルプログラミングToyboxにおける開発効率の向上を目的とした改良
・清 健太郎: Javaプログラム単体テスト自動実行ツールを利用した回帰テスト支援ツールの試作
修士論文
・池田 健太郎: ライントレースカーを対象とした シミュレータの試作

卒業論文
・末吉 隆太: ビジュアルプログラミングツールToyboxの試作
・鎌原 一輝: 組み込み機器向けのデータベース管理システムの試作
修士論文
・井上 陽: 組込みシステム開発支援のためのシーケンス図からのテストケース生成手法の提案
・篠 晃朗: 組込みシステム開発における要求分析のためのモデル化手法の提案

卒業論文
・池田 健太郎: 組み込みシステム開発における動作確認およびコード確認のためのシュミレータの試作
・小幡 彩子: Javaプログラム単体テストのための自動実行ツールの試作
・徳永 友樹: プログラム可視化ツールAvisにおける実行パス表示手法の改良
修士論文
・竹下 彰人: シーケンス図を用いたJavaプログラムの実行履歴可視化手法の提案

卒業論文
・井上 陽: MDAにおけるPIM作成支援のためのUMLダイアグラムの洗練手法の提案
・篠 晃朗: Javaを対象としたテスト駆動開発支援のためのテスト対象コード生成ツールの試作
・菊池 孝志: Javaプログラムのテスト支援を目的としたEjP3の開発
修士論文
・川添 貴議: Javaプログラム理解支援ツール ConFloneの試作
・喜多 義弘: プログラミング教育支援のためのプログラム自動可視化ツールAvisの試作
・下村 希世人: UMLを利用したJavaソースコード生成支援手法の提案
・佐々木 心也: 組み込みシステムを対象としたUMLの性能別変形手法の提案

卒業論文
・入口 武之: LinuxからT-Kernelへのコード移植ツールの実装と評価
・久米 雄也: GEFを利用したEclipseデバッグ支援プラグインの作成
・竹下 彰人: JavaCCを利用したJavaプログラムの実行経路履歴表示について
・松下 正洋: PHPUnitテスト支援を目的としたプログラムの実行経路履歴表示について
修士論文
・藪谷 悠介: UMLを用いたJavaプログラムのテスト支援法の提案
・水川 晶太: LinuxのUSBデバイスを対象としたデバイスドライバの生成支援方の提案

卒業論文
・川添 貴議: Javaプログラムの可視化のための静的解析部の改良
・喜多 義弘: ソフトウェア支援のための実効経路作成アルゴリズムの提案
・川崎 正敏: UMLにおける矛盾のないダイアグラム作成支援のためのイベントフローを利用した変換規則の抽出
・下村 希世人: Javaプログラムの生成支援を目的としたUMLとソースコードの関係抽出について
・佐々木 心也: UMLにおけるダイアグラムからの並行性の抽出について
・岩永 和士: 組み込み機器開発キットT-Engineを用いたLinuxからT-Kernelへのコード移植に関する一考察

卒業論文
・藪谷 悠介: Javaプログラムのテストを目的としたUMLのクラス図とソースコードの関係抽出について
・小屋 敷圭史: UMLからSpecCのコード作成のための変換規則の抽出と検証
・水川 晶太: USBデバイスドライバのコード分割による抽象化について

卒業論文
・岩城 吉幸: Javaプログラムの信頼性向上を目的とした構文解析器の作成
・田川 伸次郎: UMLにおける矛盾のないダイアグラム作成支援のための変換規則の抽出と検証
・福本 善之: SpecCによるUSBデバイスのソフトウェアを対象とした協調設計