Takuo Watanabe

J-GLOBAL         Last updated: Sep 22, 2018 at 14:55
 
Avatar
Name
Takuo Watanabe
URL
http://www.psg.cs.titech.ac.jp
Affiliation
Tokyo Institute of Technology
Section
School of Computing
Job title
Professor
Degree
Ph. D.

Profile

Takuo Watanabe is Professor in the Department of Computer Science at the Tokyo Institute of Technology. He received his Ph. D. from the Department of Information Science at the Tokyo Institute of Technology in 1991. He is working in the area of programming languages, programming methodologies, formal methods and secure computing. His research focuses on understanding the nature of reflective behaviors of concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.

Research Areas

 
 

Academic & Professional Experience

 
Jan 2017
 - 
Today
Professor, Department of Computer Science, School of Computing, Tokyo Institute of Technology
 
Apr 2016
 - 
Dec 2016
Associate Professor, Department of Computer Science, School of Computing, Tokyo Institute of Technology
 
Jan 2001
 - 
Mar 2016
Associate Professor, Department of Computer Science, Tokyo Institute of Technology
 
Apr 2002
 - 
Mar 2004
Associate Professor, Software Research Division, National Institute of Informatics
 
Apr 1992
 - 
Dec 2000
Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology
 
Apr 1991
 - 
Mar 1992
JSPS Research Fellow (PD), Department of Information Science, The University of Tokyo
 
Sep 1991
 - 
Feb 1992
Visiting Research Assistant Professor, Department of Computer Science, University of Illinois at Urbana-Champaign
 
Apr 1990
 - 
Mar 1991
JSPS Research Fellow (DC), Department of Information Science, Tokyo Institute of Technology
 

Published Papers

 
Takuo Watanabe
Proceedings o Embedded Systems Symposium (ESS2018)   17-20   Aug 2018
This paper briefly describes the design of a simple context-oriented programming extension to Emfrp, a purely functional reactive programming language for resource-constrained embedded systems. The proposed extension provides a layer mechanism alo...
Takuo Watanabe
10th International Workshop on Context-Oriented Programming (COP 2018)   23-30   Jul 2018   [Refereed]
This paper presents the design of a simple context-oriented programming extension to Emfrp, a purely functional reactive programming language for resource-constrained embedded systems. The language provides declarative and straightforward ways to ...
Kentaro Takakuwa, Takuo Watanabe
Computer Software   35(2) 33-39   May 2018   [Refereed]
In this paper, we propose an implementation method of hygienic macro-definition mechanisms into languages defined using OMeta, an OOP language with PEG-based general-purpose pattern matching. From the specification of a macro-definition mechanism ...
Takuo Watanabe
Workshop on Embedded Technologies and Networking (ETNET2018)   2018-EMB-47(26) 1-6   Mar 2018
This paper briefly describes a new execution mechanism for an FRP language designed for resource constrained embedded systems. The mechanism is based on the Actor model, a concurrent computation model in which computation is achieved by actors com...
Paul Lavery,Takuo Watanabe
18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017, Kanazawa, Japan, June 26-28, 2017   385-390   Jun 2017   [Refereed]
Takuo Watanabe,Kensuke Sawada
Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017   10:1-10:6   2017   [Refereed]
Ilankaikone Senthooran,Takuo Watanabe
13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2012, Kyoto, Japan, August 8-10, 2012   269-274   2012   [Refereed]
Kazuhiro Shibanai,Takuo Watanabe
Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2017, Vancouver, BC, Canada, October 23 - 27, 2017   50-57   2017   [Refereed]
Kiyoshi Yamada,Takuo Watanabe
Electr. Notes Theor. Comput. Sci.   163(1) 45-56   2006   [Refereed]
Kensuke Sawada,Takuo Watanabe
Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016   36-44   2016   [Refereed]
Naoyuki Nagatou,Takuo Watanabe
Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria   577-584   2006   [Refereed]
Souhei Takeno,Takuo Watanabe
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015   7:1-7:6   2015   [Refereed]
Takuo Watanabe,Souhei Takeno
Proceedings of 6th International Workshop on Context-Oriented Programming, COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014   3:1-3:6   2014   [Refereed]
Michael Reinsch,Takuo Watanabe
RAM-SE'05-ECOOP'05 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Glasgow, UK, July 15, 2005   29-40   2005   [Refereed]
Takuo Watanabe,Akinori Yonezawa
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday   44-65   2014   [Refereed]
Kiyoshi Yamada,Takuo Watanabe
IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005   360-365   2005   [Refereed]
Naoyuki Nagatou,Takuo Watanabe
Asia Pacific Business Process Management - Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014. Proceedings   117-131   2014   [Refereed]
Takuo Watanabe,Kiyoshi Yamada,Naoyuki Nagatou
IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004   662-667   2004   [Refereed]
Yuki Yasuhara, Sosuke Moriguchi, Takuo Watanabe
6(3)    Dec 2013
Real-time constraints are required typically in embedded systems. They can be regarded as crosscutting concerns and thus make real-time programs bulky. The goal of this work is to propose a description method of real-time constraints and their mod...
Takuo Watanabe,Kiyoshi Yamada,Naoyuki Nagatou
1st IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, Japan   65   2003   [Refereed]
Etsuya Shibayama,Shigeki Hagihara,Naoki Kobayashi 0001,Shin-ya Nishizaki,Kenjiro Taura,Takuo Watanabe
Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers   201-216   2002   [Refereed]
Abstract. We are developing a secure and certified e-mail system AnZen-Mail that provides an experimental testbed for our cutting-edge security enhancement technologies. In addition to a provably secure message transfer protocol, we have designed ...
Sosuke Moriguchi,Takuo Watanabe
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013   1236-1243   2013   [Refereed]
Noriki Amano,Takuo Watanabe
Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings   138-140   1999   [Refereed]
Takuo Watanabe
Proceedings of the 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA, October 27-28, 2013   19-24   2013   [Refereed]
Noriki Amano,Takuo Watanabe
TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China   41-50   1999   [Refereed]
Hiroshi Ishikawa,Takuo Watanabe,Kokichi Futatsugi,Jose Meseguer,Hideyuki Nakashima
Fuji International Symposium on Functional and Logic Programming 1998   123-142   1998   [Refereed]
YAMADA KIYOSHI, WATANABE TAKUO
46(11) 27-44   Aug 2005
In this paper, we report the design and implementation of Moxa-a behavioral interface specification language that supports DbC (Design by Contract) based specifications. In DbC methodology, a contract arranges responsibilities between a user and a...
Noriki Amano,Takuo Watanabe
Systems Implementation 2000, IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, methods and tools, 23-26 February 1998, Berlin, Germay   277-290   1998   [Refereed]
Hidehiko Masuhara,Satoshi Matsuoka,Takuo Watanabe,Akinori Yonezawa
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'92), Seventh Annual Conference, Vancouver, British Columbia, Canada, October 18-22, 1992, Proceedings.   127-144   1992   [Refereed]
Satoshi Matsuoka,Takuo Watanabe,Akinori Yonezawa
ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings   231-250   1991   [Refereed]
The benefits of computational reflection are the abilities to reason and alter the dynamic behavior of computation from within the language framework. This is more beneficial in concurrent/distributed computing, where the complexity of the syste...
Ichisugi Yuuji, Tanaka Akira, Watanabe Takuo
20(3) 292-299   May 2003
Satoshi Matsuoka,Takuo Watanabe,Yuuji Ichisugi,Akinori Yonezawa
Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings   211-226   1991   [Refereed]
Takuo Watanabe,Akinori Yonezawa
Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings   405-425   1990   [Refereed]
The notion of group-wide reflection is presented. Group-wide reflection, a dimension of computational reflection in concurrent systems, allows each computational agent (actor/object/process) to reason about and act upon not only the agent itself...
Akinori Yonezawa,Takuo Watanabe
SIGPLAN Notices   24(4) 50-54   1989   [Refereed]
Takuo Watanabe,Akinori Yonezawa
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'88), San Diego, California, USA, September 25-30, 1988, Proceedings.   306-315   1988   [Refereed]
AMANO NORIKI, WATANABE TAKUO
IPSJ Journal   39(9) 2649-2658   Sep 1998
A system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. As open-ended distributed systems and mobile computing systems have spread widely, the need for software with dynamic adaptability increases. We...
Iida Shusaku, Futatsugi Kokichi, Watanabe Takuo
15(1) 34-49   Jan 1998
Watanabe Takuo
11(3) 165-174   May 1994
Naoyuki Nagatou, Takuo Watanabe, Department Of Computer Science
   [Refereed]
The purpose of this paper is to show that typical information flow policies can be enforced by enforcement mechanisms that work by monitoring a system execution at run time. the system execution represent an event sequence in the system. Our enfor...
Akinori Yonezawa Department, Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa
   [Refereed]
Computational reflection is beneficial in concurrent computing in offering a linguistic mechanism for incorporating user-specific policies. New challenges are (1) how to implement them, and (2) how to do so efficiently. We present efficient implem...
Noriki Amano, Takuo Watanabe
   [Refereed]
From the reason, each software system should have the ability to be aware of the states' changes in runtime environments, and to change its own behaviors depending on the states. We call such ability of software systems dynamic adaptability. Howev...
Takuo Watanabe Amano, Amano Noriki, Kenji Shinbori
   [Refereed]
A mobile agent is an autonomous computing entity that can migrate from host to host on its own initiative. Over the last few years, numerous systems based on mobile agent technology have been developed because this technology is promising for buil...
Kazuhiro Fujieda Takuo, Takuo Watanabe, Koichiro Ochimizu
   [Refereed]
This paper has also presented the abilities provided by reflective languages necessary to realize the generator.
Using Lead, Noriki Amano, Takuo Watanabe
   [Refereed]
A software system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. A component-based software system with dynamic adaptability (called dynamically adaptable component-based software system) can chang...
Noriki Amano, Takuo Watanabe
   [Refereed]
A system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. As open-ended distributed systems and mobile computing systems have spread widely, the need for software with dynamic adaptability increases. We...
Noriki Amano And, Noriki Amano, Takuo Watanabe
   [Refereed]
A system has dynamic adaptability if it can adapt itself to dynamically changing runtime environment. As open-ended distributed systems and mobile computing systems have spread widely, the need for software with dynamic adaptability increases. We ...
Noriki Amano, Takuo Watanabe
   [Refereed]
In a software system, dynamic adaptability is the ability for dynamic adaptation on runtime environments. A software system with dynamic adaptability can adapt itself to the changes of runtime environments by changing its own behavior in dynamic...
Noriki Amano, Takuo Watanabe
   [Refereed]
Abstract not found
Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe
   [Refereed]
Rewriting logic can represent dynamic behaviors of concurrent and/or reactive systems declaratively. Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting properties. The group-wide architecture based o...
Noriki Amano, Takuo Watanabe
   [Refereed]
This paper reports a language-based approach to constructing adaptable applications --- application level software systems which dynamically adapt themselves to their changing runtime environments. Adaptable applications are especially indispensab...

Misc

 
渡部卓雄
電子情報通信学会技術研究報告   117(480(DC2017 89-106)) 149‐154   Feb 2018
小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄
日本ソフトウェア科学会研究会資料シリーズ(Web)   (82) 40‐48 (WEB ONLY)   2018
渡部卓雄
情報処理学会研究報告(Web)   2017(EMB-45) Vol.2017‐EMB‐45,No.2,1‐6 (WEB ONLY)   Jun 2017
高桑健太郎, 渡部卓雄
日本ソフトウェア科学会大会講演論文集(CD-ROM)   34th ROMBUNNO.PPL3‐2   2017
小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄
日本ソフトウェア科学会大会講演論文集(CD-ROM)   34th ROMBUNNO.rePiT2‐2   2017
柴内一宏, 渡部卓雄
日本ソフトウェア科学会大会講演論文集(CD-ROM)   34th ROMBUNNO.PPL9‐1   2017
峰尾太陽, 石井大輔, 渡部卓雄
電子情報通信学会技術研究報告   115(480(MSS2015 67-87)) 61‐66   Feb 2016
竹野創平, 渡部卓雄
コンピュータソフトウェア   33(1) 1.167-1.180 (J-STAGE)   2016
星野友宏, 高桑健太郎, 渡部卓雄
日本ソフトウエア科学会大会講演論文集(CD-ROM)   33rd ROMBUNNO.PPL10‐2   2016
澤田賢祐, 鈴木康平, 渡部卓雄
電子情報通信学会技術研究報告   115(20(SS2015 1-15)) 1-5   May 2015
森口 草介, 渡部 卓雄
情報処理学会論文誌プログラミング(PRO)   2012(1) 27-38   Oct 2012
定理証明支援系Coqに対する,対話的にプログラムの変更・修正を行うための手法を提案し,その手法をCoqに組み込んだECoqを実装する.定理証明支援系によるプログラムの検証は,プログラムがある性質を満たすという証明により行われる.この証明はプログラムの構造や記述と非常に強く結び付いているため,プログラムを変更した場合,証明もまたその変更に依存した変更を行わなければならない.しかし,プログラムと証明の一貫性を保つために必要な変更箇所は,たとえばコンストラクタの追加という簡単な変更に限った場合で...
NAGATOU Naoyuki, WATANABE Takuo
Technical report of IEICE. KBSE   113(71) 61-66   May 2013
We adapt a formal approach for an investigation into robustness analysis on human-made faults in procedural manuals. Detection or recovery tasks for human-made faults are probably embedded into procedural manuals. The investigation of usefulness o...
SUZUKI Masaya, WATANABE Takuo
Technical report of IEICE. SS   112(164) 133-138   Jul 2012
Context-oriented programming(COP) is a programming method that enables us to define behaviors that depend on the program's execution context. We propose an implementation method of COP that does not need language extensions. Objective-C has a dyna...
Sosuke Moriguchi, Takuo Watanabe
情報処理学会論文誌プログラミング(PRO)   4(4) 41-41   Sep 2011
We propose an interactive refinement mechanism for Coq proof assistant, which aims to improve the reusability of proof scripts. Suppose that we have some proof scripts about a computer program. We call the program the proof target of the proof scr...
SUZUKI Masaya, WATANABE Takuo
Technical report of IEICE. KBSE   112(165) 133-138   Jul 2012
Context-oriented programming(COP) is a programming method that enables us to define behaviors that depend on the program's execution context. We propose an implementation method of COP that does not need language extensions. Objective-C has a dyna...
SENTHOORAN Ilankaikone, PROKAY Julian, WATANABE Takuo
Technical report of IEICE. SS   111(168) 75-80   Jul 2011
We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an easy way of constructing soft realtime programs running in environments that do not provide realtime features. To realize this...
SENTHOORAN Ilankaikone, PROKAY Julian, WATANABE Takuo
Technical report of IEICE. KBSE   111(169) 75-80   Jul 2011
We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an easy way of constructing soft realtime programs running in environments that do not provide realtime features. To realize this...
Kazuhiro Yamada, Takuo Watanabe, Sosuke Moriguchi, Shin-ya Nishizaki
IPSJ SIG Notes   2011(26) 1-4   Mar 2011
We proved the partial correctness of a C implementation of Morris's tree traversal algorithm. The algorithm is known as a recursion-free, stack-free and tag-free binary tree traversal. This work is intended to be a case study of verifying C progra...
WATANABE Takuo, MORIGUCHI Sosuke, YAMADA Kazuhiro, NISHIZAKI Shin-ya
Technical report of IEICE. SS   110(458) 97-102   Feb 2011
We proved the correctness of a C implementation of Morris's tree traversal algorithm. The algorithm is known as a recursion-free, stack-free and tag-free binary tree traversal. This work is intended to be a case study of verifying C programs with ...
Sosuke Moriguchi, Takuo Watanabe
情報処理学会論文誌プログラミング(PRO)   2(5) 43-43   Nov 2009
Aspect-orientation has gained in software development in the last decade. However, formal and/or general definitions of aspects and related concepts are not thoroughly discussed so far. The important concepts such as aspect, join point, pointcut, ...
WATANABE Takuo
Technical report of IEICE. SS   109(170) 49-52   Jul 2009
Computational reflection is essential to construct highly flexible and/or adaptable systems in the sense that it provides a high-level view of the structure and behavior of the sytem to itself. This paper reports our ongoing work aimed at formaliz...
MORIGUCHI Sosuke, WATANABE Takuo
Technical report of IEICE. SS   108(173) 37-42   Jul 2008
Aspect-oriented programming (AOP) has gained wide popularity in software development. Understanding the formal nature of aspect-oriented languages is one of the pressing problems in programming language research. We are currently developing LMC, a...
WATANABE Takuo, HASHIMOTO Yasunori, YAMADA Kiyoshi
全国大会講演論文集   70(5) "5-109"-"5-110"   Mar 2008
MoxaはJavaを対象とした振る舞いインターフェース記述言語であり,表明アスペクトと呼ばれる機構の導入によって仕様記述のモジュール化を促進している.本稿ではMoxaの表明アスペクトを用いた仕様記述について概観し,さらに表明アスペクトを拡張して仕様記述のモジュール化をより促進する方法について議論する.
NAGATOU Naoyuki, WATANABE Takuo
IEICE technical report   106(174) 207-214   Jul 2006
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism that work by observing a behavior of a program and terminating its execution if it violates a security policy being enforced. ...
NAGATOU Naoyuki, WATANABE Takuo
IEICE technical report. Social Implications of Technology and Information Ethics   106(174) 207-214   Jul 2006
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism that work by observing a behavior of a program and terminating its execution if it violates a security policy being enforced. ...
NAGATOU Naoyuki, WATANABE Takuo
IPSJ SIG Notes   2006(81) 207-214   Jul 2006
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism that work by observing a behavior of a program and terminating its execution if it violates a security policy being enforced. ...
NAGATOU Naoyuki, WATANABE Takuo
Technical report of IEICE. ISEC   106(175) 207-214   Jul 2006
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism that work by observing a behavior of a program and terminating its execution if it violates a security policy being enforced. ...
Hashimoto Yasunori, Watanabe Takuo, Yamada Kiyoshi
IPSJ SIG Notes   2006(75) 15-22   Jul 2006
We have been developing Moxa, a behavioral interface specification language tailord for Java. Moxa provides a new modularization mechanism called assertion aspect that can capture the crosscutting properties among assertions in a specification. Us...
WATANABE TAKUO, NAGATOU NAOYUKI, YAMADA KIYOSHI
情報処理学会論文誌プログラミング(PRO)   43(3) 94-94   Mar 2002
Mobile code has been regarded as a convenient abstraction mechanism to construct flexible/evolvable distributed computing systems. It has now gained prominence, mainly due to the current shift from stationary to mobile/ubiquitous computing environ...
FUJIEDA KAZUHIRO, WATANABE TAKUO, OCHIMIZU KOICHIRO
情報処理学会論文誌プログラミング(PRO)   41(9) 110-110   Nov 2000
We focus on the problems in the development of CORBA applications : interface mismatches which often take place in cross-platform development, and complicated development procedure which consists of generating stubs and skeletons and incorporating...
YAMADA KIYOSHI, WATANABE TAKUO
情報処理学会論文誌プログラミング(PRO)   46(6) 62-62   Apr 2005
In Design by Contract (DbC) facility, we explicitly specify conditions as assertions for each procedures which must hold just before/after a procedure execution, and consider them to be a contract between procedures and it's users. This makes clea...
SAEKI YUTAKA, WATANABE TAKUO
情報処理学会論文誌プログラミング(PRO)   41(9) 112-112   Nov 2000
A reflective system can understand/compute its structure and behavior at run time. Giving the facility of reflection to OS or programming languages, it is possible to construct the advanced and complex systems, like mobile computing systems of dis...
YAMADA KIYOSHI, WATANABE TAKUO
46(6)    Apr 2005
In Design by Contract (DbC) facility, we explicitly specify conditions as assertions for each procedures which must hold just before/after a procedure execution, and consider them to be a contract between procedures and it's users. This makes clea...
TANAKA AKIRA, WATANABE TAKUO
情報処理学会論文誌プログラミング(PRO)   41(4) 89-89   Jun 2000
Usually, a metalevel is designed for a specific application domain, especially when the metalevel is dedicated for extensibility because details of the extensibility are very application specific issues. The aim of this study is to extract charact...
村上 昌己, 岩崎 英哉, 小川 宏高, 小川 瑞史, 小野寺 民也, 柴山 悦哉, 田浦 健次朗, 高木 浩光, 高橋 和子, 富樫 敦, 長谷川 立, 原田 康徳, 前田 敦司, 八杉 昌宏, 結縁 祥治, 渡部 卓雄
情報処理学会論文誌. プログラミング   45(23) i-iii   Nov 2004
SAEKI YUTAKA, WATANABE TAKUO
情報処理学会論文誌プログラミング(PRO)   40(10) 75-75   Dec 1999
自己反映的なプログラミング言語は 言語自身を計算の対象として扱うことが可能な言語システムである.言語の実装レベルに相当する記述をメタレベルとして実際の計算に関する記述と分離することによって 実行時の状況に応じた動的な言語の拡張を 再利用可能なモジュールとして提供することが可能な枠組みであり 並列計算機や 分散計算機環境におけるアプリケーションの記述を簡潔におこなうことができる.しかし 自己反映的な言語を実装する場合 言語の内部構造をユーザーにどのようにして提示するかの選択によって その言語...
Fujieda Kazuhiro, Watanabe Takuo, Ochimizu Koichiro
IPSJ SIG Notes   99(89) 3-10   Oct 1999
In this paper, we show the usefulness of the capabilities of a reflective programming language in developing CORBA applications. We show two examples. One can make application development process in CORBA simpler and easier. Stubs and skeletons in...
Fujieda Kazuhiro, Watanabe Takuo, Ochimizu Koichiro
Technical report of IEICE. SS   99(287) 9-16   Sep 1999
MINESHITA Satoshi, WATANABE Takuo
全国大会講演論文集   57(1) 260-261   Oct 1998
KAWASAKI Daisuke, AMANO Noriki, WATANABE Takuo
全国大会講演論文集   57(1) 309-310   Oct 1998
NISHIKAWA Naohiro, WATANABE Takuo
全国大会講演論文集   57(1) 311-312   Oct 1998
SHINBORI Kenji, WATANABE Takuo
全国大会講演論文集   57(1) 313-314   Oct 1998
ISHIKAWA Hiroshi, FUTATSUGI Kokichi, WATANABE Takuo
Technical report of IEICE. SS   98(295) 23-30   Sep 1998
This paper presents a formal specification in rewriting logic of a representative subset of GAEA, in the Prolog traditional with novel features for reflection and concurrency, based on a new software methodology called organic programming. The syn...
Saeki Yutaka, Watanabe Takuo
Technical report of IEICE. SS   98(230) 33-40   Jul 1998
Reflective programming Languages allows user's progrms to customize the behavior of the language. To develop practical application programs, users desire to reuse metalevel-difinisions that had been defined before. But it is difficult for designer...
Suzuki Masato, Ajisaka Tsuneo, Watanabe Takuo
コンピュータソフトウェア = Computer software   15(1) 67-73   Jan 1998
Nakajima Tatsuo, Watanabe Takuo
The Journal of the Institute of Electronics, Information, and Communication Engineers   80(4) 357-363   Apr 1997
モバイルエージェントやJavaなどのWebページ記述用言語に代表される移動可能プログラムをいつでもどこでも計算機を使用可能とするモバイルコンピューティング環境と組み合わせることによって, 計算機の可能性は飛躍的に向上する. 本稿では, 移動可能プログラムと移動可能プログラムをモバイルコンピューティング環境上で実行するために必要となる適応可能なソフトウェアアーキテクチャに関して紹介する.
Tanaka Akira, Watanabe Takuo
Technical report of IEICE. SS   96(81) 25-32   May 1996
We propose a new method of designing/implementing metalevel architectures for extensible programming languages. Using our method, we construct a language processor (interpreter) by composing resusable metaleval parts. Thanks to the design principl...
Watanabe Takuo
IPSJ SIG Notes   95(114) 31-34   Nov 1995
The question we are considering is whether a representation-independent model of computational reflection exists. We use abstract rewriting systems as general operational models of computation. We define reflection based on the notion of implement...
Amano Noriki, Watanabe Takuo
全国大会講演論文集   51(5) 71-72   Sep 1995
近年の技術革新は電子装置の小型化、高性能化をもたらし、その製造技術の進歩はそれらの安価な実現を可能にした。またネットワークはパソコン通信などを通じて急速に個人の生活空間に浸透しつつある。小型化された携帯可能な電子装置とネットワーク、この2つの技術の融合により新しいコンピューティング環境、コンピューティングスタイルが生まれようとしている。このように移動可能な小型計算機をネットワークに接続し、分散環境と融合させた計算機環境を移動計算機環境という。移動計算機環境では移動による計算機を取り巻く環境...
Tanaka Akira, Watanabe Takuo
全国大会講演論文集   51(5) 73-74   Sep 1995
自己反映計算とは、通常の計算対象だけでなく計算を行なっている自己をも対象として計算を行なう、という概念である。自己反映的プログラミング言語とは、自己(動作中のプログラムや処理系の状態など)をその言語自身の枠組の中で扱うことができるようなプログラミング言語のことである。自己反映的なシステムでは、自己の構成、状態を動的に変更することが可能である。従って、自己反映的プログラミング言語は問題領域に合わせて自分自身をカスタマイズでき、柔軟なソフトウェアの構築に有用であることが認識されている。また、プ...
Sato Tetsuya, Watanabe Takuo
全国大会講演論文集   51(5) 89-90   Sep 1995
オブジェクト指向プログラミングにおけるソフトウェア開発において、クラスライブラリ、およびそれを有効に利用するための開発環境の役割は大変重要である。クラスライブラリを含めた開発環境を単なるソースコードのデータベースとしてだけ捉えるのではなく、情報を整理し、資産として再利用可能な形で蓄積してゆくための一手段として捉える必要がある。しかし、その一方でクラスライブラリを構成するための標準的な方法は示されておらず、設計者それぞれ固有のモデルに委ねられている。そのため利用者は、プログラミング言語の習得...
Sugahara Tarou, Watanabe Takuo, Futatsugi Kokichi
Technical report of IEICE. SS   94(134) 9-16   Jul 1994
We propose a new implementation scheme for object-oriented concurrent Ianguages.In our scheme the execution of concurrent objects is modeled as a concurrent term rewriting.Rewriting terms that represent concurrent objects is realized by a system o...
Watanabe Takuo
Technical report of IEICE. SS   94(134) 1-7   Jul 1994
The goal of this work is to provide a clear and general description framework forcomputational reflection and its related concepts(such as introspection,reflective tower,partial computation,and so on).This paper presents our first attempt to const...

Research Grants & Projects

 
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(C))
Project Year: 2005 - 2006    Investigator(s): Takuo WATANABE
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interface specification language Moxa, an extension of JML. Moxa provides a ...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(C))
Project Year: 2003 - 2004    Investigator(s): Takuo WATANABE
In this research, we have investigated a novel secure execution scheme and safe composition of of software components that are especially utilized to extend, reconfigure or maintain a dynamically extensible and/or context-aware systems. We have de...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(特定領域研究(B), 特定領域研究)
Project Year: 2000 - 2003    Investigator(s): Takuo WATANABE
We have investigated novel methods for constructing safe and secure software that exhibit extensibility and adaptability. Our research results are divided in the following three categories corresponding to three typical security/safety flaws of ex...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(C))
Project Year: 2000 - 2001    Investigator(s): Takuo WATANABE
Mobile code is now a popular abstraction mechanism to construct adaptable distributed systems in convenient way. To develop a system using mobile code, on has to overcome several new complexities (as well as security and safety problems) in his/he...

Education

 
Apr 1986
 - 
Mar 1991
Department of Information Science, Graduate School of Science and Engineering, Tokyo Institute of Technology
 
Apr 1982
 - 
Mar 1986
Department of Information Science, Faculty of Science, Tokyo Institute of Technology