Home > 組織・担当情報 > 東京工業大学 > 情報理工学院 > 渡部卓雄

news ヘルプ

渡部卓雄 研究者情報

渡部  Watanabe 
卓雄  Takuo 
所属組織 東京工業大学 情報理工学院
ResearcherID C-6494-2015
専門分野 ソフトウエア (プログラム言語論・プログラミングパラダイム, 並列処理・分散処理, 仕様記述・仕様検証, プログラム処理系, ソフトウエア工学, 組み込みソフトウェア)
検索用研究分野 電気・電子・情報・機械 - コンピューター科学、ソフトウェアエンジニアリング
研究テーマ プログラミング言語, 自己反映計算, 並行計算, 形式手法 
学位論文 Object-oriented models for reflection in concurrent systems,  本文,  Doctor of Science,  Tokyo Institute of Technology,  1991/03/26,   公式URL  

©2007 Tokyo Institute of Technology All rights reserved.