Family Name |
渡部 |
Watanabe |
First Name |
卓雄 |
Takuo |
Organization |
Institute of Science Tokyo
School of Computing
|
Title |
|
ResearcherID |
C-6494-2015
|
ORCID ID |
|
Area of Supervision : Primary |
|
Research Bases |
|
Specialized Field |
Software (Programming paradigm/Programming language theory〓Parallel processing/D istributed processing〓Specification/Verification of specification〓Implementation of programming systems〓Software engineering〓Embedded software)
|
Research Field of Searching for Researchers |
Electrical, Information & Mechanical Engineering - Software Engineering
|
Research Theme |
programming languages,〓computational reflection,〓concurrency,〓formal methods |
Researcher Profile |
|
Lecture Note |
TokyoTech Open Course Ware |
Degree |
Object-oriented models for reflection in concurrent systems,
Thesis,
Doctor of Science,
Tokyo Institute of Technology,
1991/03/26,
Official URL
|
Related Page |
|