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.