• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

渡部 卓雄  Watanabe Takuo

研究者番号 20222408
その他のID
  • ORCIDhttps://orcid.org/0000-0001-7470-3428
外部サイト
所属 (現在) 2025年度: 東京科学大学, 情報理工学院, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2024年度: 東京工業大学, 情報理工学院, 教授
2012年度 – 2015年度: 東京工業大学, 情報理工学(系)研究科, 准教授
2007年度 – 2010年度: 東京工業大学, 大学院・情報理工学研究科, 准教授
2004年度 – 2006年度: 東京工業大学, 大学院・情報理工学研究科, 助教授
2002年度 – 2003年度: 国立情報学研究所, ソフトウェア研究系, 助教授 … もっと見る
2000年度 – 2001年度: 東京工業大学, 大学院・情報理工学研究科, 助教授
2000年度 – 2001年度: 東京工業大学, 情報理工学研究科, 助教授
1993年度 – 2000年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1991年度: 東京大学, 理学部, 日本学術振興会特別研
1990年度: 東京工業大学, 理学部, 日本学術振興会特別研 隠す
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / ソフトウエア / ソフトウェア / 計算機科学 / 理工系
研究代表者以外
計算機科学 / 小区分60050:ソフトウェア関連 / 情報学 / ソフトウェア / 理工系
キーワード
研究代表者
自己反映計算 / 関数リアクティブプログラミング / Java / アクターモデル / 動的適応 / 組込みシステム / 契約による設計 / 実行時検査 / 文脈指向プログラミング / 移動コード … もっと見る / メタレベルアーキテクチャ / サイバーフィジカルシステム / プログラミング言語 / 型システム / 分散システム / 形式仕様記述 / aspect orientation / design by contract / アスペクト指向 / dynamic adaptation / mobile code / policy enforcement / 適応可能ソフトウェア / 拡張可能ソフトウェア / セキュリティ / バイトコード変換 / ポリシー強制 / 形式仕様 / 実時間システム / 実行時検証 / 形式手法 / 広域自己反映計算 / 適応的ソフトウェア / リフレクション / 非同期処理 / 対話的処理系 / 非同期実行 / 実時間処理 / プログラミング言語処理系 / 関数プログラミング言語 / state transition description / information flow / covert channel / execution monitoring / model-based development / formal specification / オントロジー / 状態遷移記述 / 情報漏洩 / 隠れチャネル / モデル駆動開発 / cross-cutting concerns / adaptive software / execution-time analysis / self checking code / bytecode transformation / Common-Lisp / プロセス代数 / 自己検査コード / 横断的関心事 / 実行時解析 / 自己検査モード / security / fault-torelant software / metalevel architecture / reflection / non-functional requirements / LEAD++ / モーバイルエージェント / 耐故障ソフトウェア / メタレベル・アーキテクチャ / 反映 / 非機能的要件 / metalevel architecuture / object-oriented language / byte-code modification / software composition / runtime checking / ロード時自己反映 / 安全なソフトウェア / アスペクト / JML / セキュリティポリシー / オブジェクト指向言語 / モジュール結合 / 時相論理 / 並列文脈指向プログラミング / 並行文脈指向プログラミング / モバイルオブジェクト / メタオブジェクト / 総称関数 / モバイルコンピューティング … もっと見る
研究代表者以外
プログラミング言語 / CafeOBJ / MPI / Rbcl / R2 / R / ABCL / ソフトウェア / 抽象機械 / 書き換えモデル / 並列処理 / 計算モデル / サイバーフィジカルシステム / 組込みシステム / 周期的タスク / 消費電力 / 関数リアクティブプログラミング / resource usage analysis / functional language / type inference / garbage collection / region inference / memory management / quasi-linear types / linear type system / 通信チャネル / 並行言語 / 並列計算機 / 線形型 / 資源使用解析 / 関数型言語 / 型推論 / ガベージコレクション / リージョン推論 / メモリ管理 / 擬似線形型 / 線形型システム / verification / distributed (real-time) systems / specifications / module system / support tool / reliable / components / 振舞仕様 / UML / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / 形式仕様 / オブジェクト指向 / 木アーキテクチャ / 詳細化検証 / 射影型振舞仕様 / ソフトウェア発展 / 代数仕様 / 非機能的性質 / 機能的性質 / 検証 / 分散(実時間)システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント / massively parallel computers / the (parallel) evaluation strategy / abstract machines / concurrent (parallel) rewriting / 超並列計算機 / (並列)E戦略 / 並行(並列)書換え / pi-cauculus / linear logic / concurrent object-orientation / concurrent computation model / π-calculus / 線形論理 / 並列オブジェクト指向 / 並列計算モデル / inheritance abnormally / discrete event simulation / group wide reflection / reflection / object-oriented concurrent computation / ソウトウェア / 自己反映計算 / オブジェクト指向計算 / 並列計算 / 継承時の異常性 / 離散事象シュミレ-ション / Group Wide Reflection / リフレクション / 並列オブジェクト指向計算 / エージェント記述 / 仕様記述 / プログラム変換 / 健全性 / 構文マクロ / 構文解析器 / ドメイン特化言語 / マクロ展開器 / 言語間プログラム変換 / 構文解析 / 解析構文文法 / 健全マクロ / シミュレーション言語 / ドメイン特化型言語 / Hygienic構文マクロ / マクロシステム / メタプログラミング / プログラミング / インターネット / クラスタ / オーバレイネットワーク / セキュリティ / テスト自動化 / Webアプリケーション / 分散計算 / コンテンツ配信 / オーバーレイネットワーク / ソフトウェアテスト / ソフトウェア検証 / 開発環境 / アスペクト指向 隠す
  • 研究課題

    (20件)
  • 研究成果

    (179件)
  • 共同研究者

    (23人)
  •  時間を一級データとするFRP言語とそれによる実時間CPS開発支援研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  消費電力をパラメータとする関数リアクティブプログラミングの研究

    • 研究代表者
      森口 草介
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  アクターモデルとFRPの融合による高効率・高信頼CPS開発支援研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  アクターモデルと関数リアクティブプログラミングの融合による組込みシステム開発支援研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  広域自己反映計算にもとづく適応的並列計算系の実行時検証とそのための仕様記述方式研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京工業大学
  •  汎言語的健全構文マクロ機構を用いた言語処理系構築手法の研究

    • 研究代表者
      脇田 建
    • 研究期間 (年度)
      2014 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京工業大学
  •  自己反映的ソフトウェアのための実行時検証とそのための仕様記述方式研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  情報爆発に対応する高度にスケーラブルでセキュアなソフトウェア構成・更新方式

    • 研究代表者
      柴山 悦哉
    • 研究期間 (年度)
      2006 – 2010
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東京大学
      東京工業大学
  •  静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2005 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
      国立情報学研究所
  •  拡張・適応可能なソフトウェアのセキュアな構成方式研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
      東京工業大学
  •  非機能的要件を考慮した適応的移動コードのモジュール化手法研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
      北陸先端科学技術大学院大学
  •  疑似線形型システムに基づくメモリ管理とプログラム最適化

    • 研究代表者
      小林 直樹
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
      東京大学
  •  実行環境に動的に適応するソフトウェアの基本機構とそれに基く言語の研究研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      北陸先端科学技術大学院大学
  •  機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1998 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  自己反映アーキテクチャによる動的適応とその移動計算機環境への適用研究代表者

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      北陸先端科学技術大学院大学
  •  並行書き換え抽象機械の研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  並行書き換えモデルの超並行実行方式の研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      一般研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  並列オブジェクト指向言語の意味論と論理

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      1993
    • 研究種目
      国際学術研究
    • 研究機関
      東京大学
  •  並列オブジェクト指向計算におけるReflectionとその応用

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      1989 – 1991
    • 研究種目
      一般研究(A)
    • 研究分野
      情報学
    • 研究機関
      東京大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2009 2008 2006 2005 2004 2003 2002 2001 2000 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] 同期的データフロープログラミングにおける逆計算の構成方式2024

    • 著者名/発表者名
      白井 瑞貴、森口 草介、渡部 卓雄
    • 雑誌名

      コンピュータソフトウェア

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22K11967
  • [雑誌論文] WSAN向けマクロプログラミング言語の提案2021

    • 著者名/発表者名
      後藤司,森口草介,渡部卓雄
    • 雑誌名

      コンピュータソフトウェア

      巻: 38(2) ページ: 20-26

    • NAID

      130008055715

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11236
  • [雑誌論文] WSAN向けマクロプログラミング言語の提案2021

    • 著者名/発表者名
      後藤司, 森口草介, 渡部 卓雄
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 38 号: 2 ページ: 2_20-2_26

    • DOI

      10.11309/jssst.38.2_20

    • NAID

      130008055715

    • ISSN
      0289-6540
    • 年月日
      2021-04-23
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11236
  • [雑誌論文] A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types2021

    • 著者名/発表者名
      Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • 雑誌名

      Journal of Information Processing

      巻: 29 号: 0 ページ: 685-706

    • DOI

      10.2197/ipsjjip.29.685

    • NAID

      130008104521

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11236
  • [雑誌論文] Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems2019

    • 著者名/発表者名
      Sheng Wang, Takuo Watanabe
    • 雑誌名

      Studies in Computational Intelligence

      巻: 850 ページ: 171-190

    • DOI

      10.1007/978-3-030-26428-4_12

    • ISBN
      9783030264277, 9783030264284
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11236
  • [雑誌論文] 多言語に対応した衛生的マクロ機構導入方式2018

    • 著者名/発表者名
      高桑健太郎, 渡部卓雄
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35 号: 2 ページ: 2_33-2_39

    • DOI

      10.11309/jssst.35.2_33

    • NAID

      130007410578

    • ISSN
      0289-6540
    • 年月日
      2018-04-24
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00089, KAKENHI-PROJECT-26330079, KAKENHI-PROJECT-18K11236
  • [雑誌論文] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価2016

    • 著者名/発表者名
      竹野創平, 渡部卓雄
    • 雑誌名

      コンピュータソフトウェア

      巻: 33 ページ: 167-180

    • NAID

      130005124826

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00089
  • [雑誌論文] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価2016

    • 著者名/発表者名
      竹野創平,渡部卓雄
    • 雑誌名

      コンピュータソフトウェア

      巻: 33 ページ: 167-180

    • NAID

      130005124826

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • 著者名/発表者名
      Kensuke Sawada and Takuo Watanabe
    • 雑誌名

      Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)

      巻: 15th ページ: 36-44

    • DOI

      10.1145/2892664.2892670

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2015

    • 著者名/発表者名
      Naoyuki Nagatou and Takuo Watanabe
    • 雑誌名

      International Journal of Industrial Engineering: Theory, Applications and Practice

      巻: 22 ページ: 494-508

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] Actario: A Framework for Reasoning About Actor Systems2015

    • 著者名/発表者名
      Shohei Yasutake and Takuo Watanabe
    • 雑誌名

      5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)

      巻: N/A

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] Sandal: A Modeling Language Supporting Exhaustive Fault-Injection2015

    • 著者名/発表者名
      Masaya Suzuki and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation

      巻: 印刷中

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2015

    • 著者名/発表者名
      Naoyuki Nagatou and Takuo Watanabe
    • 雑誌名

      International Journal of Industrial Engineering: Theory, Applications and Practice

      巻: 22 ページ: 494-508

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [雑誌論文] A Reflective Implementation of an Actor-based Concurrent Context-Oriented System2015

    • 著者名/発表者名
      Sohei Takeno and Takuo Watanabe
    • 雑誌名

      14th Workshop on Adaptive and Reflective Middleware (ARM 2015)

      巻: 14th ページ: 1-6

    • DOI

      10.1145/2834965.2834972

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software2015

    • 著者名/発表者名
      Yuu Ohmura and Takuo Watanabe
    • 雑誌名

      Workshop on Computation: Theory and Practice (WCTP 2015)

      巻: N/A ページ: 205-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330079
  • [雑誌論文] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2014

    • 著者名/発表者名
      Naoyuki Nagatou and Takuo Watanabe
    • 雑誌名

      Lecture Notes in Business Information Processing,

      巻: 181 ページ: 117-131

    • DOI

      10.1007/978-3-319-08222-6_9

    • ISBN
      9783319082219, 9783319082226
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] A Language Support for Exhaustive Fault-Injection in Message-Passing System Models2014

    • 著者名/発表者名
      Masaya Suzuki and Takuo Watanabe
    • 雑誌名

      Electronic Proceedings of Theoretical Computer Science

      巻: 68 ページ: 45-58

    • DOI

      10.4204/eptcs.168.4

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] Compositional Construction of Group-Wide Meta-Level Architectures2014

    • 著者名/発表者名
      Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation

      巻: 1 ページ: 95-107

    • DOI

      10.1142/9789814612883_0007

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] Compositional Construction of Group-Wide Meta-Level Architectures2014

    • 著者名/発表者名
      Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation (World Scientific)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] Robustness Analysis on Human-made Faults in Procedural Manuals2014

    • 著者名/発表者名
      Naoyuki Nagatou and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation

      巻: 1 ページ: 79-94

    • DOI

      10.1142/9789814612883_0006

    • NAID

      110009769052

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] On Generating Soft Real-Time Programs for Non-Real-Time Environments2013

    • 著者名/発表者名
      Ilankaikone Senthooran and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation (Springer PICT)

      巻: 7 ページ: 1-12

    • DOI

      10.1007/978-4-431-54436-4_1

    • ISBN
      9784431544357, 9784431544364
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments2013

    • 著者名/発表者名
      Ilankaikone Senthooran and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation (Springer PICT)

      巻: 7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] 定理証明支援系Coqへの対話的修正機構の導入2012

    • 著者名/発表者名
      森口草介, 渡部卓雄
    • 雑誌名

      情報処理学会論文誌 プログラミング(PRO)

      巻: 5(4) ページ: 27-38

    • NAID

      40019468752

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] Modifiable Continuation in Object Calculus2012

    • 著者名/発表者名
      Emiko Kuma, Shin-ya Nishizaki and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation (Springer PICT)

      巻: 5 ページ: 160-173

    • DOI

      10.1007/978-4-431-54106-6_13

    • ISBN
      9784431541059, 9784431541066
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] Abstraction of Operations of Aspect-Oriented Languages2012

    • 著者名/発表者名
      Sosuke Moriguchi and Takuo Watanabe
    • 雑誌名

      Theory and Practice of Computation (Springer PICT)

      巻: 5 ページ: 187-201

    • DOI

      10.1007/978-4-431-54106-6_15

    • NAID

      110007970928

    • ISBN
      9784431541059, 9784431541066
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500033
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science(Elsevier) 163 (1)

      ページ: 45-56

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol. 163

      ページ: 45-56

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049027
  • [雑誌論文] Run Tune Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      International Symposium on Frontiers in Availability, Reilability and Security (FARES)

      ページ: 577-584

    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて2006

    • 著者名/発表者名
      橋本康範, 渡部卓雄, 山田聖
    • 雑誌名

      情報処理学会研究報告(ソフトウェアエ学研究会) 2006-SE-153

      ページ: 15-22

    • NAID

      110004849406

    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 163・1

      ページ: 45-56

    • データソース
      KAKENHI-PLANNED-18049027
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 163・1

      ページ: 45-56

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Run Time Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      International Symposium on Frontiers in Availability, Reilability and Security (FARES)(IEEE Press)

      ページ: 577-584

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Run Time Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      International Symposium on Frontiers in Availability, Reliability and Security

      ページ: 577-584

    • データソース
      KAKENHI-PLANNED-18049027
  • [雑誌論文] 不干渉性の強制について2006

    • 著者名/発表者名
      永藤直行, 渡部卓雄
    • 雑誌名

      情報処理学会研究報告(コンピュータセキュリティ研究会) 2006-CSEC-34

      ページ: 207-214

    • NAID

      10018219881

    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Run Time Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      IEEE Int1. Symp. on Frontiers of Availability, Reliability and Security (FARES)

      ページ: 577-584

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Moxa : An Aspect-Oriented Behavioral In- terface Specification Language2005

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      IPSJ Journal (PRO) Vol.46, No.SIG 11 (PRO 26)

      ページ: 27-44

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Moxa : An Aspect-Oriented Approach to Modular Behavioral Specifications2005

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      AOSD 2005 Workshop on Software-engineering Properties of Languages and Aspect Technologies(SPLAT '05)(http://www.daimi.au.dk/~eernst/splat05/)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Towards Reusable Heterogeneous Data- Centric Disentangled Parts2005

    • 著者名/発表者名
      Michael Reinsch, Takuo Watanabe
    • 雑誌名

      2nd ECOOP 2005 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE '05)

      ページ: 29-38

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Execution Monitoring and Information Flow Properties2005

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      Workshop on Dependable Software-Tools and Methods (Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005))(IEEE Press)

      ページ: 221-227

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Towards Reusable Heterogeneous Data-Centric Disentangled Parts2005

    • 著者名/発表者名
      Michael Reincsh, Takuo Watanabe
    • 雑誌名

      ECOOP 2005 Workshop on Reflection, AOP and Meta-Dat a for Software Evolution (RAM-SE'05)

      ページ: 29-38

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components2005

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      IASTED International Conference on Software Engineering(SE 2005)(ACTA Press)

      ページ: 360-365

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Execution Monitoring and Information Flow Properties2005

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      DSN 2005 Workshop on Dependable Software-Tools and Methods(IEEE Press) (in press)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Moxa : An Aspect-Oriented Behavioral Interface Specification Language2005

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      IPSJ Transactions on Programming(in Japanese) Vol.46, No.PRO46(in press)

    • NAID

      110002769807

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005

    • 著者名/発表者名
      山田聖, 渡部卓雄
    • 雑誌名

      情報処理学会論文誌(プログラミング) 46・SIG11

      ページ: 27-44

    • NAID

      110002769807

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Execution Monitoring and Information Flow Properties2005

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      Workshop on Dependable Software : Tools and Methods (Suppl. Vol. IEEE DSN 2005)

      ページ: 221-227

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500017
  • [雑誌論文] Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language2004

    • 著者名/発表者名
      Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
    • 雑誌名

      IASTED International Conference on Software Engineering(SE 2004)(ACTA Press)

      ページ: 662-667

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language2004

    • 著者名/発表者名
      Takuo Watanabe
    • 雑誌名

      International Conference on Software Engineering

      ページ: 662-667

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] LampJ : A Library of Adaptable Modular Programming for Java2003

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      7th IASTED International Conference on Software Engineering and Applications(SEA 2003)(ACTA Press)

      ページ: 465-470

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances2003

    • 著者名/発表者名
      Takuo Watanabe
    • 雑誌名

      Software Technologies for Future Embedded Systems

      ページ: 65-68

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances2003

    • 著者名/発表者名
      Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
    • 雑誌名

      Software Technologies for Future Embedded Systems(IEEE Press)

      ページ: 65-68

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] A Software Model for Flexible and Safe Adaptation for Mobile Code Programs2002

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Workshop on Principles of Software Evolution (IWPSE '02)(ACM Press)

      ページ: 57-61

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] A Software Model for Flexible and Safe Adaptation For Mobile Code Programs2002

    • 著者名/発表者名
      Noriki Akio, Takuo Watanabe
    • 雑誌名

      International Workshop on Principles of Software Evolution (IWPSE '02)

      ページ: 57-61

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • 著者名/発表者名
      Takuo Watanabe, Noriki Amano
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      ページ: 28-31

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towerds Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Workshop on Principles of Software Evolution (IWPSE '01)

      ページ: 178-181

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Workshop on Principles of Software Evolution (IWPSE '01)(ACM Press)

      ページ: 178-181

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • 著者名/発表者名
      Takuo Watanabe, Noriki Amano
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      ページ: 28-31

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      ページ: 105-113

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      ページ: 105-113

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Symposium on Principles of Software Evolution (ISPSE 2000)

      ページ: 118-127

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Symposium on Principles of Software Evolution (ISPSE 2000), (IEEE Computer Society Press)

      ページ: 118-127

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [学会発表] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024

    • 著者名/発表者名
      Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      13th International Conference on Software and Computer Applications (ICSCA 2024), ACM, DOI: 10.1145/3651781.3651789 [査読有]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語2024

    • 著者名/発表者名
      瀧本哲史, 森口草介, 渡部卓雄
    • 学会等名
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024

    • 著者名/発表者名
      Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
    • 学会等名
      13th International Conference on Software and Computer Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて2024

    • 著者名/発表者名
      鈴木豪, 渡部卓雄, 森口草介
    • 学会等名
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023

    • 著者名/発表者名
      Sogo Kento、Tsuji Yuta、Moriguchi Sosuke、Watanabe Takuo
    • 学会等名
      10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023

    • 著者名/発表者名
      横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第143回プログラミング研究会(SIGPRO143), 2023年3月.
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 組込みシステム向けFRP言語における離散イベント機構の実装とその評価(ポスター)2023

    • 著者名/発表者名
      十河健人,森口草介,渡部卓雄
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価(ポスター)2023

    • 著者名/発表者名
      鈴木豪,渡部卓雄,森口草介
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Developing Distributed Systems with Multiparty Functional Reactive Programming2023

    • 著者名/発表者名
      Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      5th World Symposium on Software Engineering (WSSE 2023), pp. 61-66, ACM, DOI: 10.1145/3631991.3632000 [査読有]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023

    • 著者名/発表者名
      Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
    • 学会等名
      7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] 小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価2023

    • 著者名/発表者名
      十河健人, 辻裕太, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第63回組込みシステム研究会(SIGEMB63), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2023-EMB-63, No. 2
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Responsibilities of Responses in Functional Reactive Programming2023

    • 著者名/発表者名
      Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      情報処理学会第142回プログラミング研究会
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] Developing Distributed Systems with Multi-Party Functional Reactive Programming2023

    • 著者名/発表者名
      Moriguchi Sosuke、Watanabe Takuo
    • 学会等名
      5th World Symposium on Software Engineering (WSSE 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] Responsibilities of Responses in Functional Reactive Programming2023

    • 著者名/発表者名
      Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      情報処理学会第142回プログラミング研究会(SIGPRO142), 2023年1月.
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Event by Timing: Periodic and Time-Sequencing Responses2023

    • 著者名/発表者名
      Moriguchi Sosuke、Watanabe Takuo
    • 学会等名
      12th Workshop on Computation: Theory and Practice
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023

    • 著者名/発表者名
      Go Suzuki、Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
    • 学会等名
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] 対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用2023

    • 著者名/発表者名
      鈴木豪, 横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      第25回 組込みシステム技術に関するサマーワークショップ(SWEST25)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構(ポスター)2023

    • 著者名/発表者名
      横山陽彦,森口草介,渡部卓雄
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御2023

    • 著者名/発表者名
      瀧本哲史, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第40回大会
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023

    • 著者名/発表者名
      Go Suzuki, Takuo Watanabe & Sosuke Moriguchi
    • 学会等名
      7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023), ACM, Mar. 2023. DOI:10.1145/3594671.3594674 [掲載予定・査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023

    • 著者名/発表者名
      横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第143回プログラミング研究会
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023

    • 著者名/発表者名
      Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), pp. 1-8, IPSJ [査読有]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 同期的データフロープログラミングにおける逆計算の構成方式2023

    • 著者名/発表者名
      白井瑞貴, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第40回大会
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Event by Timing: Periodic and Time-Sequencing Responses2023

    • 著者名/発表者名
      Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      12th Workshop on Computation: Theory and Practice (WCTP 2023), pp. 139-154, Atlantis Press, DOI: 10.2991/978-94-6463-388-7_10 [査読有]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023

    • 著者名/発表者名
      Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      10th ACM SIGPLAN International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023), pp. 43-53, ACM, DOI:10.1145/3623506.3623578 [査読有]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022

    • 著者名/発表者名
      Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      日本ソフトウェア科学会第39回大会, 2022年8月.
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 小規模組込みシステム向けFRP言語における非同期タスク処理機構2022

    • 著者名/発表者名
      横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) [査読あり]
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022

    • 著者名/発表者名
      Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      日本ソフトウェア科学会第39回大会
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022

    • 著者名/発表者名
      瀧本哲史, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第60回組込みシステム研究会(SIGEMB60), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2022-EMB-60, No. 1, 2022年7月
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法(ポスター)2022

    • 著者名/発表者名
      内野駿亮, 森口草介, 渡部卓雄
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022

    • 著者名/発表者名
      Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
    • 学会等名
      9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022), ACM, pp. 1-12, Dec. 2022. DOI:10.1145/3563837.3568338 [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022

    • 著者名/発表者名
      Yokoyama Akihiko、Moriguchi Sosuke、Watanabe Takuo
    • 学会等名
      9th International Workshop on Reactive and Event-based Languages & Systems
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入(ポスター)2022

    • 著者名/発表者名
      白井瑞貴, 横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022

    • 著者名/発表者名
      瀧本哲史, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第60回組込みシステム研究会
    • データソース
      KAKENHI-PROJECT-22K11967
  • [学会発表] 小規模組込みシステム向けFRP言語のための再帰データ型2021

    • 著者名/発表者名
      横山陽彦, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第133回プログラミング研究会(SIGPRO133)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 関数リアクティブプログラミングにおける時変値の初期化手法の提案2021

    • 著者名/発表者名
      白鳥佑弥, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証2021

    • 著者名/発表者名
      内藤博, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] Functional Reactive Programming for Embedded Systems with GPGPUs2021

    • 著者名/発表者名
      Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe
    • 学会等名
      10th International Conference on Software and Computer Applications (ICSCA 2021) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 小規模組込みシステム向けFRP言語における周期的タスクの記述方式2021

    • 著者名/発表者名
      辻裕太, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 関数リアクティブプログラミングにおける時変値の初期値の自動決定2021

    • 著者名/発表者名
      白鳥佑弥, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式2021

    • 著者名/発表者名
      堀紗知子, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング2021

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      第23回 組込みシステム技術に関するサマーワークショップ(SWEST23)
    • データソース
      KAKENHI-PROJECT-21K11822
  • [学会発表] 内部DSLとしての関数リアクティブプログラミング言語の実装手法2020

    • 著者名/発表者名
      辻裕太, 森口草介, 渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定2020

    • 著者名/発表者名
      白鳥佑弥, 森口草介, 渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] WSAN向けマクロプログラミング言語の提案2020

    • 著者名/発表者名
      後藤司, 森口草介, 渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 状態遷移を表現する組込みシステム向けFRP言語の設計2020

    • 著者名/発表者名
      松村有倫, 渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 組込みシステム向け関数リアクティブプログラミング言語の内部DSLとしての実装2020

    • 著者名/発表者名
      辻裕太, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会第54回組込みシステム研究会(SIGEMB54)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] Bounded-Construction-Types for Functional Reactive Programming2020

    • 著者名/発表者名
      Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2020) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] Towards a Functional Reactive Programming Model for Developing WSANs2020

    • 著者名/発表者名
      Takuo Watanabe, Kazuhiro Shibanai
    • 学会等名
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入2020

    • 著者名/発表者名
      横山陽彦,森口草介,渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] Developing Coordinating Distributed Applications in a Pure FRP Language2020

    • 著者名/発表者名
      Takuo Watanabe, Kazuhiro Shibanai
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2020) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] WSAN向けマクロプログラミング言語の提案2020

    • 著者名/発表者名
      後藤司, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第37回大会
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] FRPによるGPU上の計算の実現2020

    • 著者名/発表者名
      櫻井義孝, 森口草介, 渡部卓雄
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 組込みシステム向けFRP言語における動的動作のための抽象化 (ポスター)2019

    • 著者名/発表者名
      松村有倫, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 組込みシステム向けFRP言語における動的動作のための抽象化機構2019

    • 著者名/発表者名
      松村有倫, 渡部卓雄
    • 学会等名
      情報処理学会第51回組込みシステム研究会
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 組込みシステム向けFRP言語に対する第一級関数の導入 (ポスター)2019

    • 著者名/発表者名
      横山陽彦, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] A Reflective Extension of an FRP Language and its Applications2019

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      9th Workshop on Computation: Theory and Practice (WCTP 2019) [査読有り]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems2019

    • 著者名/発表者名
      Yoshitaka Sakurai, Takuo Watanabe
    • 学会等名
      6th Workshop on Reactive and Event-based Languages & Systems (REBLS 2019) [査読有り]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 小規模組込み向けFRP言語のための並列実行モデル2019

    • 著者名/発表者名
      櫻井義孝, 渡部卓雄
    • 学会等名
      情報処理学会第51回組込みシステム研究会
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて2019

    • 著者名/発表者名
      渡部卓雄, 柴内一宏, 櫻井義孝, 松村有倫, 横山陽彦
    • 学会等名
      組込みシステムシンポジウム(ESS2019)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 組込みシステム向けFRP言語の静的スケジューリングを用いた並列化 (ポスター)2019

    • 著者名/発表者名
      櫻井義孝, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] 小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構2019

    • 著者名/発表者名
      渡部卓雄, 松村有倫, 横山陽彦
    • 学会等名
      組込み技術とネットワークに関するワークショップ (ETNET2019)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems2018

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      10th International Workshop on Context-Oriented Programming (COP 2018), pp. 23-30 [査読有り]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発2018

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      組込み技術とネットワークに関するワークショップ(ETNET2018) [査読なし]
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発2018

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      組込み技術とネットワークに関するワークショップ(ETNET2018)
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] 小規模組込みシステム向けFRP言語への文脈指向プログラミング機構の導入2018

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      情報処理学会 組込みシステムシンポジウム2018 (ESS 2018)
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] Distributed Functional Reactive Programming on Actor-Based Runtime2018

    • 著者名/発表者名
      Kazuhiro Shibanai, Takuo Watanabe
    • 学会等名
      8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2018), pp. 13-22 [査読有り]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11236
  • [学会発表] An Actor-Based Runtime Monitoring System for Web and Desktop Applications2017

    • 著者名/発表者名
      Paul Lavery, Takuo Watanabe
    • 学会等名
      18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and_Parallel/Distributed Computing (SNPD 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] Reactive Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      Workshop on Meta-Programming Techniques and Reflection (META 2017) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 多言語に対応した衛生的マクロ機構導入方式2017

    • 著者名/発表者名
      高桑健太郎,_渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] Actoverse: A Reversible Debugger for Actors2017

    • 著者名/発表者名
      Kazuhiro Shibanai, Takuo Watanabe
    • 学会等名
      7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE_2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe & Yuji Iwasaki
    • 学会等名
      7th Workshop on Computation: Theory and Practice (WCTP 2017) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe, Yuji Iwasaki
    • 学会等名
      7th Workshop on Computation: Theory and Practice (WCTP 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] アクターシステムを対象としたリバースデバッギングのためのフレームワーク2017

    • 著者名/発表者名
      柴内一宏, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第34回大会 [査読なし]
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 多言語に対応した衛生的マクロ機構導入方式2017

    • 著者名/発表者名
      高桑健太郎, 渡部卓雄
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      山梨県笛吹市石和温泉
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] An Actor-Based Runtime Monitoring System for Web and Desktop Applications2017

    • 著者名/発表者名
      Paul Lavery & Takuo Watanabe
    • 学会等名
      18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 多言語に対応した衛生的マクロ機構導入方式2017

    • 著者名/発表者名
      高桑健太郎,渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第19回プログラミングおよびプログラミング言語ワークショップ(PPL 2017)
    • 発表場所
      石和温泉華やぎの章慶山 (山梨県笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] アクターシステムを対象としたリバースデバッギングのためのフレームワーク2017

    • 著者名/発表者名
      柴内一宏, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] Towards Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe, Kensuke Sawada
    • 学会等名
      2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] Towards Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe & Kensuke Sawada
    • 学会等名
      2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 小規模組み込みシステム向けFRP言語のための自己反映機構2017

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      情報処理学会第45回組込みシステム研究会(SIGEMB45) [査読なし]
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Actoverse: A Reversible Debugger for Actors2017

    • 著者名/発表者名
      Kazuhiro Shibanai & Takuo Watanabe
    • 学会等名
      7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2017) [査読あり]
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 小規模組み込みシステム向けFRP言語のための自己反映機構2017

    • 著者名/発表者名
      渡部卓雄
    • 学会等名
      情報処理学会第45回組込みシステム研究会(SIGEMB45)
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] 多言語に対応した衛生的マクロ機構導入方式2017

    • 著者名/発表者名
      高桑健太郎, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第34回大会 [査読なし]
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Reactive Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      Workshop on Meta-Programming Techniques and Reflection (META 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] 時相論理式の反証を用いた制御器のチューニング2016

    • 著者名/発表者名
      峰尾太陽, 石井大輔, 渡部卓雄
    • 学会等名
      電子情報通信学会 システム数理と応用研究会
    • 発表場所
      海峡メッセ下関, 山口県下関市
    • 年月日
      2016-03-03
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] OMetaのための衛生的マクロ定義機構導入方式2016

    • 著者名/発表者名
      星野友宏, 高桑健太郎, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学片平キャンパス (宮城県仙台市)
    • 年月日
      2016-09-06
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] OMetaのための衛生的マクロ定義機構導入方式2016

    • 著者名/発表者名
      星野友宏, 高桑健太郎, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      仙台市東北大学
    • 年月日
      2016-09-06
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems2016

    • 著者名/発表者名
      Takuo Watanabe, Kensuke Sawada
    • 学会等名
      6th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2016) [査読有り]
    • 発表場所
      Moevenpick Hotel (Amsterdam, Netherlands)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • 著者名/発表者名
      Kensuke Sawada and Takuo Watanabe
    • 学会等名
      Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)[査読有]
    • 発表場所
      Univ. of Malaga, Malaga, Spain
    • 年月日
      2016-03-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Code Oriented Diagram Editorを用いた並行バグの可視化2016

    • 著者名/発表者名
      大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
    • 発表場所
      花びしホテル (北海道函館市)
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2016

    • 著者名/発表者名
      Takuo Watanabe, Kensuke Sawada
    • 学会等名
      情報処理学会第43回組込みシステム研究会(SIGEMB43)
    • 発表場所
      九州大学伊都キャンパス (福岡県福岡市)
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • 著者名/発表者名
      Kohei Suzuki, Kanato Nagayama, Kensuke Sawada, Takuo Watanabe
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2016) [査読有り]
    • 発表場所
      University of the Philippines Cebu (Cebu City, Philippines)
    • 年月日
      2016-09-21
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 小規模組み込みシステムにおけるFRPの応用に向けて2015

    • 著者名/発表者名
      澤田賢祐, 鈴木康平, 渡部卓雄
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • 発表場所
      熊本大学黒髪キャンパス, 熊本県熊本市
    • 年月日
      2015-05-11
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] 小規模組み込みシステムにおけるFRPの応用に向けて2015

    • 著者名/発表者名
      澤田賢祐, 鈴木康平, 渡部卓雄
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • 発表場所
      熊本
    • 年月日
      2015-05-11
    • データソース
      KAKENHI-PROJECT-26330079
  • [学会発表] A Reflective Implementation of an Actor-based Concurrent Context-Oriented System2015

    • 著者名/発表者名
      Sohei Takeno and Takuo Watanabe
    • 学会等名
      14th Workshop on Adaptive and Reflective Middleware (ARM 2015)[査読有]
    • 発表場所
      Vancouver Marriott Hotel, Vancouver, BC, Canada
    • 年月日
      2015-12-08
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] Actario: A Framework for Reasoning About Actor Systems2015

    • 著者名/発表者名
      Shohei Yasutake and Takuo Watanabe
    • 学会等名
      5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015) [査読有]
    • 発表場所
      Sheraton Station Square Hotel, Pittsburgh, PA, US
    • 年月日
      2015-10-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00089
  • [学会発表] A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems2014

    • 著者名/発表者名
      Takuo Watanabe and Souhei Takeno
    • 学会等名
      6th International Workshop on Context-Oriented Programming (COP 2014) (査読あり)
    • 発表場所
      Uppsala University
    • 年月日
      2014-07-29
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2014

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 学会等名
      2nd Asia Pacific Conference on Business Process Management (APBPM 2014, Springer LNBIP, Vol. 181, pp. 121-135) (査読有)
    • 発表場所
      Queensland University of Technology, Brisbane
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] ヒューマンエラーに対する手順書の耐性検査2013

    • 著者名/発表者名
      永藤直行, 渡部卓雄
    • 学会等名
      電子情報通信学会知能ソフトウェア工学研究会 (信学技報 Vol. 113, No. 71, pp. 61-66)
    • 発表場所
      慶應義塾大学・日吉キャンパス
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] Towards a Compositional Reflective Architecture for Actor-Based Systems2013

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      3rd ACM International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!SPLASH 2013, pp. 19-24) (査読有) DOI: /10.1145/2541329.2541341
    • 発表場所
      Hyatt Regency, Indianapolis
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] A Compositional Reflective Architecture for Actor-Based Systems2013

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2013, pp. 1-12) (査読有)
    • 発表場所
      University of the Philippines, Diliman
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] An Interactive Extension Mechanism for Reusing Verified Programs2013

    • 著者名/発表者名
      Sosuke Moriguchi and Takuo Watanabe
    • 学会等名
      28th ACM Symposium on Applied Computing (査読有)
    • 発表場所
      Institute of Engineering of the Polytechnic Institute of Coimbra (Coimbra, Portugal)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 実時間システム向けの文脈指向DSL2013

    • 著者名/発表者名
      中村遼太郎, 渡部卓雄
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • 発表場所
      化学会館(東京都千代田区)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 検証付きプログラムに対する対話的修正の合成2013

    • 著者名/発表者名
      森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会FOSE2013 (レクチャーノート/ソフトウェア学, Vol. 39, pp. 131-136) (査読有)
    • 発表場所
      加賀市山代温泉
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 実時間システム向け文脈指向言語ProcneJ2013

    • 著者名/発表者名
      安原由貴, 森口草介, 渡部卓雄
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      国立情報学研究所(東京都千代田区)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 人為的欠陥の意味と耐性解析2013

    • 著者名/発表者名
      永藤直行, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学・本郷キャンパス
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] ヒューマンエラーに対する手順書の耐性検査2013

    • 著者名/発表者名
      永藤直行, 渡部卓雄
    • 学会等名
      電子情報通信学会知能ソフトウェア工学研究会
    • 発表場所
      慶應義塾大学(神奈川県横浜市)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] Robustness Analysis on Human-made Faults in Procedural Manuals2013

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2013, pp. 69-81) (査読有)
    • 発表場所
      University of the Philippines, Diliman
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments2012

    • 著者名/発表者名
      Ilankaikone Senthooran and Takuo Watanabe
    • 学会等名
      13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2012) (査読有)
    • 発表場所
      キャンパスプラザ京都(京都市)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] On Generating Soft Real-Time Programs for Non-Real-Time Environments2012

    • 著者名/発表者名
      Ilankaikone Senthooran and Takuo Watanabe
    • 学会等名
      Workshop on Computation: Theory and Practice (WCTP 2012) (査読有)
    • 発表場所
      De La Salle University (Manila)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 組込みシステムのための文脈指向仕様記述に向けて2012

    • 著者名/発表者名
      安原由貴, 森口草介, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      法政大学(東京都小金井市)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] Objective-Cによる文脈指向プログラミングの実現手法2012

    • 著者名/発表者名
      鈴木将哉, 渡部卓雄
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      はこだて未来大学(北海道函館市)
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] Aspect-Oriented Behavioral Interface Specification in Moxa2009

    • 著者名/発表者名
      Takuo Watanabe, Kiyoshi Yamada
    • 学会等名
      5th Asian Workshop on Aspect-Oriented Software Development
    • 発表場所
      Auckland, New Zealand
    • 年月日
      2009-11-17
    • データソース
      KAKENHI-PLANNED-18049027
  • [学会発表] An Aspect-Oriented Behavioral Interface Specification Language2008

    • 著者名/発表者名
      Takuo Watanabe, et.al.
    • 学会等名
      Workshop on Formal Languages and Analysis of Contract-Oriented Software
    • 発表場所
      Malta
    • 年月日
      2008-11-28
    • データソース
      KAKENHI-PLANNED-18049027
  • [学会発表] Towards Formalizing Operational Aspects of Reflective Computation2008

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      Asian Workshop on Aspect-Oriented Software Development
    • 発表場所
      Beijing, China
    • 年月日
      2008-12-02
    • データソース
      KAKENHI-PLANNED-18049027
  • [学会発表] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価

    • 著者名/発表者名
      竹野創平, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学・東山キャンパス
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] 小規模組み込みシステムにおけるFRPの応用に向けて

    • 著者名/発表者名
      澤田賢祐, 鈴木康平, 渡部卓雄
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • 発表場所
      熊本大学・黒髪キャンパス
    • 年月日
      2015-05-11 – 2015-05-12
    • データソース
      KAKENHI-PROJECT-24500033
  • [学会発表] Aπ計算のCoqによる形式化

    • 著者名/発表者名
      安武祥平, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学・東山キャンパス
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-24500033
  • 1.  天野 憲樹 (30313703)
    共同の研究課題数: 3件
    共同の研究成果数: 10件
  • 2.  二木 厚吉 (50251971)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  森口 草介 (60733409)
    共同の研究課題数: 3件
    共同の研究成果数: 40件
  • 4.  柴山 悦哉 (80162642)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  米澤 明憲 (00133116)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  緒方 和博 (30272991)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  小林 直樹 (00262155)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  鈴木 正人 (30242572)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  千葉 滋 (80282713)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  河野 健二 (90301118)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  脇田 建 (10242265)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 12.  松岡 聡 (20221583)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  所 真理雄 (10051898)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  五十嵐 淳 (40323456)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  田浦 健次朗 (90282714)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  一杉 裕志 (30356464)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  権藤 克彦 (50262283)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  田中 哲 (10357452)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  山田 聖 (80415760)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 20.  佐々木 晃 (90396870)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  ディアコネスク ラズウ゛ァ (30293393)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  JONES Cliff
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  本田 耕平
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi