• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ARAKI Keiojiro  荒木 啓二郎

ORCIDConnect your ORCID iD *help
… Alternative Names

荒木 啓二郎  アラキ ケイジロウ

ARAKI Keijiro  荒木 啓二郎

Less
Researcher Number 40117057
External Links
Affiliation (Current) 2025: 熊本高等専門学校, 熊本高等専門学校, 名誉教授
Affiliation (based on the past Project Information) *help 2016 – 2018: 九州大学, システム情報科学研究院, 教授
2012 – 2015: 九州大学, システム情報科学研究科(研究院, 教授
2014: 九州大学, システム情報科学研究院, 教授
2009 – 2011: Kyushu University, システム情報科学研究院, 教授
2007 – 2009: 九州大学, 大学院・システム情報科学研究院, 教授 … More
2006: Kyushu University, Graduate School of Information Science and Electrical Engineering, Professor, 大学院システム情報科学研究院, 教授
2004 – 2005: 九州大学, 大学院・システム情報科学研究院, 教授
1999 – 2002: Kyushu University, Graduate School of Systems and Information Science, Professor, 大学院・システム情報科学研究院, 教授
1996 – 1999: Kyushu University, 大学院・システム情報科学研究科, 教授
1998: 九州大学, 大学院システム情報科学研究科, 教授
1997: Graduate School of System Information Science, Kyushu University, Professor, システム情報科学研究科, 教授
1996: Kyushu Univ., System Computer Science, Prof., システム情報科学研究科, 教授
1995: 奈良先端大学, 情報科学研究科, 教授
1993 – 1995: Nara Institute of Science and Technology, Graduate School of Information Scence,, 情報科学研究科, 教授
1988 – 1992: Kyushu University, Associate Professor, 工学部, 助教授
1986: Kyushu University, 工学部, 助教授 Less
Review Section/Research Field
Principal Investigator
Software / 計算機科学 / 情報工学
Except Principal Investigator
計算機科学 / 情報システム学(含情報図書館学) / Informatics / 計測・制御工学 / 計算機工学 / Software / Computer system/Network
Keywords
Principal Investigator
形式仕様記述 / Formal Specification / ソフトウェア工学 / データ分割 / 形式的仕様 / 並行動作システム / データ抽象化 / 超並列処理 / aspect-orientation / behavioral analysis … More / highly reliable systems / case studies / manifold description and analysis / embedded software / formal specification / system modeling / モデル検査 / システム特性 / アスペクト志向 / アスペクト指向 / 振舞い分析 / 高信頼性 / 事例研究 / 多面的記述と分析 / 組込みソフトウェア / システムモデル構築 / Diagram Analyzer / Case Studies / Formal Specification Testing / System Behavior Description / Statecharts / Formal Methods / Domain Modeling / 段階的詳細化設計 / 図式表現 / 図式分析ツール / システム記述事例研究 / 形式仕様の検査 / システム動作記述 / ステートチャート / 形式手法 / ドメインモデル構築 / SSL (Secure Socket Layer) Protocol / Authentication / Man in the Middle / Behavior Description / Concurrent Systems / Verification / Security Protocol / Secure Socket Laver (SSL)プロトコル / Secure Socket Layer (SSL)プロトコル / Secure Socket Layer(SSL)プロトコル / 認証 / なりすまし / 振舞い記述 / 検証 / セキュリティプロトコル / Intermediate Representation / Distributed Processing / Instruction Level Parallelism / Performance Evaluation / Scheduling / Visualization / Data Partitioning / Parallelizing Compiler / ループ並列化 / データ配置 / 並列性抽出 / タスク分割 / 分散処理 / 中間表現 / 命令レベル並列性抽出 / 性能評価 / スケジューリング / 視覚化 / 自動並列化コンパイラ / 高信頼安心安全システム / 予備形式化 / 適用性の高い形式手法 / モデル化支援化ツール / 高適用形式手法 / モデル化支援ツール / ソフトウェアライフサイクル / アーキテクチャ指向モデル化 / 高適用性形式手法 / 高信頼安全安心システム / 導入方法 / ソフトウェア開発法プロセス / 文書品質改善支援 / 形式手法導入方法 / 形式手法人材育成 / 文書品質向上支援 / 形式手法適用支援ツール / 形式手法導入ガイド / 非形式的システム記述 / 形式的システム記述 / フォーマルメソッド適用 / 開発文書品質向上 / 産学連携 / ソフトウェア開発プロセス / フォーメルメソッド適用 / 並列化コンパイラ / アニメーション / 性能評価用シミュレータ / 段階的詳細化 / デバッグ / テスト / Miranda / 関数型プログラミング言語 / ストリーム / 並行動作プログラム / 分散処理システム / 並列オペレーティングシステム / 仕様スライス / 仕様記述言語Z / 実行可能仕様 / ストリーム並列 / ニューラルネットワーク / スケジューラ / ゲノムデータベース / 味覚センサー / 共有データ空間 / 仕様記述 … More
Except Principal Investigator
SOFL / ソフトウェア検証 / ソフトウェアテスト / ソフトウェア開発環境 / Multimedia / QoS / マルチメディア / Formal Specification / 厳密なレビュー / 形式的仕様 / データ分割 / メッセージプール / 並列オペレーティング・システム / 2レベルスケジューリング / 並列化コンパイラ / デバッグ / 形式手法 / 形式仕様 / 形式工学手法 / 分散開発環境 / ネットワ-ク管理 / 統合コミュニケ-ション / Personal Computer / Textual Analysis / Writing Tools / Japanese Document Processing / Text Processing / ワークステーション / マンマシンインターフェース / 正規化日本語文字 / 推敲支援ツール / 日本語文章処理 / プロトタイピング / ユーザインタフェース / パーソナルコンピュータ / 字面解析 / 推敲支援 / 日本語文書処理 / テキスト処理 / Software Developing Environment / Boyer-Moore Algorithm / String Matching / Normalized Japanese Text / Japanese Text Processing / エラーメッセージの日本語化 / Adaのパッケージ機能 / Boyer-Mooreアルゴリズム / 文字列照合 / 正規日本語テキスト / 日本後テキスト処理 / Location estimation / Routing / Power saving / Ad-hoc network / ITS / 基盤ソフトウェア / 情報発信ソフトウェア / 階層マルチメディア情報 / 通信方式 / マルチメディア情報処理 / 位置管理 / 通信プロトコル / 位置推定 / ルーティング / 省電力 / アドホックネットワーク / サービス品質保証 / 高度道路交通システム / Software tools / Software engineering / Specification testing / Rigorous review / Formal specification / Formal method / Formal engineering methods / ソフトウェア分析 / 形式的検証 / 形式的工学手法 / ソフトウェア進化 / システム開発 / 仕様分析 / 仕様テスト / Object-Oriented Design / Software tool / Specification Transformation / Object-oriented Design / To-down design / Workflow / Formal Engineering Methods / Total architecture / Auto-parallelizing compiler / Memory management / Scheduling / distributed processing / Parallel / System software / テストケース / 移動計算機 / WWW / カー・ナビゲーション / 階層型データ / 配置 / ネットワーク / 統合的アーキテクチャ / 自動並列化コンパイラ / メモリ管理 / スケジューリング / 並列分散処理 / システムソフトウェア / distributed data structure / active programming / multi-agent system / strong mode system / algebraic specification language / evolutional pattern / open and distributed systems / 発展可能仕様記述 / 漸増的プログラム解析 / 構造的振る舞い記述モデル / プログラム自動修正 / モジュール合成法 / オブジェクト進化プロセス / CafeOBT / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 / formal model / agent / network environment / network protocol / software process / hypergeometric distribution model / LOTOS specification / requirement acquistion / 実時間並行プロセスモデル / 進捗モデル / ソフトウェア文書 / 形式モデル / エージェント / ネットワーク環境 / ソフトウェアプロセス / LOTOS仕様 / 超幾何分布モデル / ソフトウェア信頼性モデル / 要求獲得 / Formal Semantics / Rigorous Reviews / Software Testing / Software Verification / Software Engineering Environments / Formal Methods / 形式意味 / 支援環境 / 形式的意味 / ソフトウェア支援環境 / 形式的手法 / Computer Science / Undergraduate Program / Educational Curriculum / Computer Science Education / 大学教育 / 理工系情報学科 / 教育カリキュラム / コンピュータサイエンス教育 / multicast / object oriented / data partitioning / parallelizing compiler / message pool / multiprocessor operating system / advanced information processing / system software / シミュレーション / ユーザレベル・スレッド・ライブラリ / メモリ管理アーキテクチャ / マルチキャスト / オブジェクト指向 / 高度情報処理 / システム・ソフトウェア / Complexity metrics / Debug / Program understanding / Slicing / Program analysis / Program dependencies / Declarative concurrent programs / Imperative concurrent programs / 並行プログラムの系統的開発法 / プロセス相互作用 / 関数型並行プログラム / 論理型並行プログラム / 保守 / 複雑さ評価 / プログラム理解 / スライシング / プログラム解析 / プログラム従属性 / 宣言型並行プログラム / 命令型並行プログラム / Data Partitioning Graph / Two-level Scheduling / Parallelizing Compiler / Micro-kernel / Parallel Operating Systems / サーバの粒度 / 中間表現 / データ分割グラフ / マイクロカーネル / 並列オペレーティングシステム / Electric-Potential / LB Method / Electrolyte / Highly-Oriented / Polymer / Lipid Membrane / 匂い / センサ / 化学センサ / 味 / 化学感覚 / 化学物質 / LB膜 / 高配向 / 脂質膜 / Distributed RunーTime Environment / Distributed Cooperative Processing / Deadlock / Debugging / Testing / Validation / Specification / Concurrent Programs / プログラム変換 / 実時間処理 / 分散実行環境 / 分散協調処理 / デッドロック / テスト / 検証 / 仕様記述 / 並列型プログラム / テストケースの自動生成 / 形式仕様検査 / 形式仕様テスト / 形式仕様検証 / ソフトウェアの形式仕様 / 形式仕様パターン / テストに基づく検証 / アジャイル形式工学手法 / 形式仕様妥当性の検証 / データアニメーション / 形式仕様記述技術 / テストデータの自動生成 / テストと検証 / ソフトウェア工学 / 情報システム / 情報基礎 / データ項目のGUI表現 / データ項目のアニメーション / アニメーションデータの自動生成 / 形式仕様作成の予測 / 形式仕様作成の監視 / 形式仕様アニメーション / 形式仕様記述手法 / 形式仕様に基づくテスト / モデル検査 / テストに基づく形式検証 / アジャイル開発 / 高信頼ソフトウェア開発 / ソフトウェア品質保証 / 仕様アニメーション / ハイブリッド仕様 / アジャイル開発手法 / プロダクトライン開発方法論 / ユビキタス / ユーザセントリック / ユニバーサルデザイン / ユビキタスコンピューティング / 情報ネットワーク / グループウェア / 協調分散モデル / 作業レベルプラニング / ネットワーク管理 / 支援ツール / 共同作業 / 分散プログラミング / 支援モデル / 高速ネットワ-ク / グル-プコンピュ-ティング / 分散協調 / 開放型システム / 大規模ファイルシステム / ハイパテキストシステム / 代数的仕様記述 / ソフトウェア開発プロセス / 開放分散モデル / 並列オブジェクト指向 Less
  • Research Projects

    (29 results)
  • Research Products

    (119 results)
  • Co-Researchers

    (86 People)
  •  Research on Highly Reliable Agile Formal Engineering Methods

    • Principal Investigator
      LIU Shaoying
    • Project Period (FY)
      2014 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      Hosei University
  •  Architecture Oriented Formal Approaches to High Quality Software DevelopmentPrincipal Investigator

    • Principal Investigator
      Araki Keijiro
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  高品質ソフトウェア開発における適用性の高いアーキテクチャ指向形式手法の提案Principal Investigator

    • Principal Investigator
      荒木 啓二郎
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Study on Formal Methods Applicable to Practical Software DevelopmentPrincipal Investigator

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  A Study on Ubiquitous Computing Platform for User-centric Environment

    • Principal Investigator
      FUKUDA Akira
    • Project Period (FY)
      2006 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Kyushu University
  •  System Modeling and Property Interference Analysis in Software DevelopmentPrincipal Investigator

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      KYUSHU UNIVERCITY
  •  A Study on Multimedia Communication Software for Intelligent Transportation Systems

    • Principal Investigator
      FUKUDA Akira
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Kyushu University
      Nara Institute of Science and Technology
  •  Basic Study on Formal Approaches to Systematic Development Methods of High-Quality Embedded SystemsPrincipal Investigator

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  Formal Engineering Methods for Software Development

    • Principal Investigator
      SHAO-YING Liu
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Hosei University
      Hiroshima City University
  •  Total System Software with Flexible Adaptation to Multimedia Processing for Parallel/Distributed Systems

    • Principal Investigator
      FUKUDA Akira
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
  •  Elementary Studies on Formal Description and Verification of Security ProtocolsPrincipal Investigator

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      KYUSHU UNIVERSITY
  •  Research on Methodologies for Constructing Evolutionary Software

    • Principal Investigator
      MIYAMOTO Eiichi
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Future University-Hakodate
      Hokkaido University
  •  Formal Methods and Intelligent Software Engineering Environments

    • Principal Investigator
      LIU Shaoying
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Field
      計算機科学
    • Research Institution
      Hiroshima City University
  •  Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network Environment

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Undergraduate Programs of an Educational Crriculum in Computer Science

    • Principal Investigator
      SHIBAYAMA Kiyoshi
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto Institute of Technology
  •  Auto-Parallelizing Compiler for Massive Parallel ComputersPrincipal Investigator

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      Kyushu University
      Nara Institute of Science and Technology
  •  A General Theory of Program Dependencies in Imperative and Declarative Concurrent Programs and Its Applications

    • Principal Investigator
      CHENG Jingde
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  Development of Integrated System Software for Parallel Environment with Flexibility

    • Principal Investigator
      FUKUDA Akira
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Nara Institute of Science and Technology
  •  データ抽象化に基づく超並列システムの記述と処理方式に関する研究Principal Investigator

    • Principal Investigator
      荒木 啓二郎
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nara Institute of Science and Technology
  •  ソフトウェア分散開発環境の研究

    • Principal Investigator
      宮本 衛市
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Hokkaido University
  •  データ抽象化に基づく超並列処理シテスムの記述と処理方式に関する研究Principal Investigator

    • Principal Investigator
      荒木 啓二郎
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kyushu University
  •  ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法Principal Investigator

    • Principal Investigator
      荒木 啓二郎
    • Project Period (FY)
      1992 – 1993
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      Nara Institute of Science and Technology
      Kyushu University
  •  Research on Massively Parallel Operating Systems with Flexibility

    • Principal Investigator
      FUKUDA Akira
    • Project Period (FY)
      1992 – 1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  ソフトウェア分散開発環境の研究

    • Principal Investigator
      宮本 衛市
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Hokkaido University
  •  Highly Sensitive Taste Sensor using Highly-oriented Lipid Membranes

    • Principal Investigator
      YAMAFUJI Kaoru
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      計測・制御工学
    • Research Institution
      KYUSHU UNIVERSITY
  •  ソフトウェア分散開発環境の研究

    • Principal Investigator
      MIYAMOTO Eiichi
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Hokkaido University
  •  Study in Validation Support Methods for Concurrent Programs

    • Principal Investigator
      USHIJIMA Kazuo
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機工学
    • Research Institution
      Kyushu University
  •  Development of Writing Tools for Japanese Documents on a Personal Computer

    • Principal Investigator
      USHIJIMA Kazuo
    • Project Period (FY)
      1986 – 1988
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      Informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  Construction of Programming Support Environment for Japanese Text Processing

    • Principal Investigator
      USHIJIMA Kazuo
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      Kyushu University

All 2017 2016 2015 2014 2013 2012 2011 2010 2009 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] はじめての STAMP/STPA(実践編)~ システム思考に基づく新しい安全解析手法 ~2017

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      82
    • Publisher
      情報処理推進機構
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Book] はじめての STAMP/STPA ~ システム思考に基づく新しい安全解析手法 ~2016

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      63
    • Publisher
      情報処理推進機構
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Book] 実務家のための形式手法 厳密な仕様記述を志すための形式手法入門 第二版2013

    • Author(s)
      荒木 啓二郎
    • Total Pages
      294
    • Publisher
      独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Book] Proceedings of 2010 IEEE Region 10 Conference2010

    • Author(s)
      Tatsuo Okada, Keijiro Araki and Hiroaki Nishino
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Book] Proceedings of 2010 IEEE Region 10 Conference2010

    • Author(s)
      T.Okada, K.Araki, H.Nishino (eds.)
    • Publisher
      IEEE Region 10(CD-ROM)
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Book] 高信頼性システム開発技術の動向~形式手法を中心として~2010

    • Author(s)
      山本修一郎, 藤枝純教, 岩崎新一, 荒木啓二郎, 塚本英昭(分担執筆)
    • Publisher
      独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター高信頼性システム技術作業部会
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Book] 会話によるソフトウェア工学の開発実践2005

    • Author(s)
      鐘友良(著), 荒木啓二郎(監修)
    • Total Pages
      292
    • Publisher
      上海訳文出版社
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Book] Practical Software Development through Dialogues(in Chinese and Japanese)2005

    • Author(s)
      Youliang Zhong (author), Keijiro Araki (ed.)
    • Publisher
      Shanghai Translation Publisher
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Book] Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing2005

    • Author(s)
      Zhiming Liu, Keijiro Araki (eds.)
    • Total Pages
      612
    • Publisher
      Springer-Verlag
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Book] Proc.of the 1st International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science, Vol.34072005

    • Author(s)
      Zhiming Liu, Keijiro Araki (eds.)
    • Publisher
      Springer-Verlag
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] A Formal Modeling Tool for Exploratory Modeling in Software Development2017

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Journal Title

      IEICE Transactions

      Volume: E100-D

    • NAID

      130005687709

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case2016

    • Author(s)
      Keijiro Araki, Taro Kurita
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10009 Pages: 18-25

    • DOI

      10.1007/978-3-319-47846-3_2

    • ISBN
      9783319478456, 9783319478463
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Formware2015

    • Author(s)
      Taro Kurita, Fuyuki Ishikawa and Keijiro Araki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9109 Pages: 593-596

    • DOI

      10.1007/978-3-319-19249-9_40

    • ISBN
      9783319192482, 9783319192499
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析2015

    • Author(s)
      日下部茂、林信宏、大森洋一、荒木啓二郎
    • Journal Title

      日本ソフトウェア科学会論文誌 コンピュータソフトウェア

      Volume: 32

    • NAID

      130005097120

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Centrality Analysis of Related Process Areas in a Process Improvement Model CMMI-DEV2015

    • Author(s)
      日下部茂,林信宏,大森洋一,荒木啓二郎
    • Journal Title

      Computer Software

      Volume: 32 Issue: 3 Pages: 3_126-3_136

    • DOI

      10.11309/jssst.32.3_126

    • NAID

      130005097120

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001, KAKENHI-PROJECT-25330084
  • [Journal Article] Developing Core Software Requirements of Energy Management System for Smart Campus with Advanced Software Engineering2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Journal Title

      International Journal of New Computer Architectures and their Applications

      Volume: 4 Pages: 48-55

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] 形式手法導入のための産学連携PBLの活用2012

    • Author(s)
      荒木啓二郎
    • Journal Title

      SEC journal

      Volume: Vol.3, Vol.7, No.4 Pages: 177-182

    • NAID

      130002139270

    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] ソフトウェア開発現場への形式手法導入-形式手法適用の実経験から得られた知見-2010

    • Author(s)
      荒木啓二郎
    • Journal Title

      SEC journal

      Volume: Vol.6, No.2 Pages: 104-107

    • NAID

      130002138900

    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] ソフトウェア開発現場への形式手法導入.形式手法適用の実経験から得られた知見2010

    • Author(s)
      荒木啓二郎
    • Journal Title

      SEC journal

      Volume: Vol.6, No.2 Pages: 104-107

    • NAID

      130002138900

    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて2010

    • Author(s)
      荒木啓二郎
    • Journal Title

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

      Volume: Vol.3, No.5 Pages: 18-28

    • NAID

      110007970944

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Synthesizing State-Based Objects from a Regular Set of Action Sequences2010

    • Author(s)
      Kazuhide Dougome, Keijiro Araki
    • Journal Title

      Proc.IEEE Region 10 Conference (TENCON2010)

      Volume: (CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて2010

    • Author(s)
      大森洋一、荒木啓二郎
    • Journal Title

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

      Volume: Vol.3, No.5 Pages: 18-25

    • NAID

      110007970944

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] A Framework for Formal Specification Considering Review and Specification-Based Testing2010

    • Author(s)
      Yasumasa Nakatsugawa, Taro Kurita, Keijiro Araki
    • Journal Title

      Proc.IEEE Region 10 Conference (TENCON2010)

      Volume: (CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Validation of Stepwise Refinement with Test Cases Generated from Formal Specification2010

    • Author(s)
      Shinya Yamada, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori
    • Journal Title

      Proc.IEEE Region 10 Conference (TENCON2010)

      Volume: (CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] 実行可能性と可読性を考慮した形式仕様記述スタイル2010

    • Author(s)
      中津川泰正, 栗田太郎, 荒木啓二郎
    • Journal Title

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

      Volume: Vol.27, No.2 Pages: 130-135

    • NAID

      130004549169

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Tool Support for Domain Analysis of the Software Specification in Natural Language2010

    • Author(s)
      Yoichi Omori, Keijiro Araki
    • Journal Title

      Proc.IEEE Region 10 Conference (TENCON2010)

      Volume: (CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] モデル規範型形式手法VDMと仕様記述言語VDM++.高信頼性システムの開発に向けて2009

    • Author(s)
      栗田太郎, 荒木啓二郎
    • Journal Title

      日本信頼性学会誌「信頼性」

      Volume: Vol.31, No.6 Pages: 394-403

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets2007

    • Author(s)
      Eleazar Jimenez, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.IMECS 2007 Vol.II

      Pages: 1516-1521

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] VDMToo1s for Object Oriented Specification Language VDM++2007

    • Author(s)
      Shin Sahara, Keijiro Araki
    • Journal Title

      Computer Software(in Japanese) Vol.24, No.2

      Pages: 14-20

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Controlled Dan/Petri Nets for Modeling Multiple and Simultaneous Control of Discrete Event Systems2006

    • Author(s)
      Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Asian Journal of Information Technology Vol.5, No.10

      Pages: 1117-1125

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Derivative Subnets of the Valid MSC Subnet Σc(q) of Conrolled Dan/Petri Nets2006

    • Author(s)
      Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.European Modeling and Simulation Symposium

      Pages: 171-179

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Extracting State Machines from Model-based Formal Specifications by Focusing on Data Types2006

    • Author(s)
      Kengo Miyoshi, Shideru Kusakabe, Keijiro Araki
    • Journal Title

      Computer Software(in Japanese) Vol.23, No.2

      Pages: 211-224

    • NAID

      130004892058

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Analyzing Behaviors in VDM Specifications by Focusing on User-defined Types2005

    • Author(s)
      Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.2005 International Conference on Dependable Systems and Networks, Workshop on Dependable Software-Tools and Methods

      Pages: 235-240

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Behavial Verification for VDM Specifications with Functional Languages and Model Checking2004

    • Author(s)
      Satoru Hirachi, Kengo Miyoshi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.Software Symposium 2004(in Japanese)

      Pages: 48-52

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] 形式手法に基づく組み込みシステム開発事例2004

    • Author(s)
      荒木 啓二郎
    • Journal Title

      ソフトウェアシンポジウム論文集 Vol.24

      Pages: 211-211

    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Software Development with EMbedded UML and VDM2004

    • Author(s)
      Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.Software Japan 2004(in Japanese)

      Pages: 23-30

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] 形式手法に基づく組み込みシステム開発事例2004

    • Author(s)
      荒木 啓二郎
    • Journal Title

      ソフトウェアシンポジウム論文集 Vol. 24

      Pages: 211-211

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] A Case Study of Software Development with eUML and VDM++2004

    • Author(s)
      Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.of 3rd International Workshop on Critical Systems Development with UML

      Pages: 155-156

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Reusable Formal Specification for Embedded Systems2004

    • Author(s)
      Yuji Arichika, Keijiro Araki
    • Journal Title

      Proc.International Workshop on Adopting Product Line Software Engineering

      Pages: 557-558

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM-SL2004

    • Author(s)
      Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      International Symposium on Future Software Technology 2004

      Pages: 200-205

    • NAID

      120006655352

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Presentation] 農場観測を目的としたエッジノードを用いたシステムのモデル化2017

    • Author(s)
      村上 武史、大森 洋一、荒木 啓二郎
    • Organizer
      情報処理学会 火の国シンポジウム 2017
    • Place of Presentation
      鹿児島市
    • Year and Date
      2017-03-01
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 形式仕様記述を用いた系統的なプロパティベーステストの活用2017

    • Author(s)
      馬場 勇輔、荒木 啓二郎、日下部 茂、大森 洋一
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 要求辞書としての形式手法詳細化手法の提案2017

    • Author(s)
      幡 亮介、大森 洋一、荒木 啓二郎、日下部 茂
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] STAMP/STPA を活用した VDM 仕様記述の構築2017

    • Author(s)
      藤崎 淳史、荒木 啓二郎、大森 洋一
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 形式仕様記述のプロパティベーステストへの活用2016

    • Author(s)
      馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一
    • Organizer
      情報処理学会 火の国シンポジウム
    • Place of Presentation
      宮崎市
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ソフトウェア工学概説 ー 上流工程を中心に ー2016

    • Author(s)
      荒木啓二郎
    • Organizer
      情報処理素新機構 (IPA) SEC高信頼化技術セミナー
    • Place of Presentation
      東京
    • Year and Date
      2016-01-15
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Nationality Based Context-Aware Scenario of Cultural Heritage Guidance as Informal Learning2016

    • Author(s)
      Abdul Kadir Jailani, Keijiro Araki, Shigeru Kusakabe
    • Organizer
      Fifth International Conference on E-Learning and E-Technologies in Education
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Year and Date
      2016-09-06
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 仕様記述の役割を意識したフォーマルメソッド学習2016

    • Author(s)
      西岡 貴史、大森 洋一、荒木 啓二郎
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2016
    • Place of Presentation
      東京
    • Year and Date
      2016-08-31
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] KAOSからのモデル変換に基づく形式仕様構築手法の一般化2016

    • Author(s)
      岩本侑也、大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      吹田市
    • Year and Date
      2016-03-14
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 細粒度アクセス制御を行うためのフォーマルなソフトウェア仕様に対する分析事例2016

    • Author(s)
      小林 竜大、大森 洋一、荒木 啓二郎
    • Organizer
      日本ソフトウェア科学会第 33 回大会
    • Place of Presentation
      仙台市
    • Year and Date
      2016-09-06
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] DevOps を想定した実行可能仕様によるソフトウェア保守2016

    • Author(s)
      大森 洋一、荒木 啓二郎
    • Organizer
      日本ソフトウェア科学会 FOSE 2016
    • Place of Presentation
      香川県 琴平町
    • Year and Date
      2016-12-01
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM-SL 仕様からの Smalltalk プログラムの自動生成2016

    • Author(s)
      小田朋宏、荒木啓二郎
    • Organizer
      ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム
    • Place of Presentation
      米子市
    • Year and Date
      2016-06-05
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling2016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      14th Overture Workshop
    • Place of Presentation
      Limmasol, Cyprus
    • Year and Date
      2016-11-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case2016

    • Author(s)
      Keijiro Araki, Taro Kurita
    • Organizer
      18th International Conference on Formal Engineering Methods
    • Place of Presentation
      Tokyo, JAPAN
    • Year and Date
      2016-11-14
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Pre-Formal メソッドとしてのSTAMP モデリング2016

    • Author(s)
      日下部茂, 荒木啓二郎
    • Organizer
      第13回クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-01-20
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4}2016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      11th International Workshop on Smalltalk Technologies
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-08-23
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDMPad: a Lightweight IDE for Exploratory VDM-SL Specification2015

    • Author(s)
      Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      2015 IEEE/ACM 3rd Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      イタリア フィレンツェ
    • Year and Date
      2015-05-18
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法2015

    • Author(s)
      荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2015-12-16
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM++仕様から自動生成したJavaコードの振る舞い検証手法の提案2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      川崎市
    • Year and Date
      2015-06-04
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM Animation for a Wider Range of Stakeholders2015

    • Author(s)
      Tomohiro Oda, Yasuhiro Yamamoto, Kumiyo Nakakoji, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      13th Overture Workshop
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-23
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDMPad: a Lightweight IDE for Exploratory VDM-SL Specification2015

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      FormaliSE: FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      イタリア フィレンツェ
    • Year and Date
      2015-05-18
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Spinを用いたVDM仕様に対するモデル検査適用手法2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      札幌市
    • Year and Date
      2015-07-22
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Adaptive Context-Awareness Model for Cultural Heritage Information based on User Needs2015

    • Author(s)
      Abdul Kadir Jailani, Shigeru Kusakabe and Keijiro Araki
    • Organizer
      4th International Conference on Learning Technologies and Learning Environments
    • Place of Presentation
      岡山市
    • Year and Date
      2015-07-15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Visualizing Centrality of Process Area Networks in CMMI-DEV2015

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori and Keijiro Araki
    • Organizer
      International Conference on Software and Systems Process
    • Place of Presentation
      エストニア タリン
    • Year and Date
      2015-08-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Using Hazard Analysis STAMP/STPA in Developing Model-oriented Formal Specifications Toward Reliable Cloud Service2015

    • Author(s)
      Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin-Hung Lin
    • Organizer
      International Conference on Platform Technology and Service
    • Place of Presentation
      韓国 済州島
    • Year and Date
      2015-01-28
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 自然言語ドキュメントの形式化モデリングについて2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2015-12-15
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Architecture Oriented Formal Approaches to High Quality Software Development2015

    • Author(s)
      Keijiro Araki
    • Organizer
      Symposium on Architecture Oriented Formal Methods
    • Place of Presentation
      名古屋市
    • Year and Date
      2015-09-12
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認2015

    • Author(s)
      大森洋一、林信宏、荒木啓二郎、日下部茂
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] JODTool on the Overture Tool to Manage Formal Requirement Dictionaries2015

    • Author(s)
      Yoichi Omori, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      13th Overture Workshop
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-23
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM-SL 実行可能仕様による Web API プロトタイピング環境2015

    • Author(s)
      小田朋宏, 荒木啓二郎
    • Organizer
      ソフトウェア技術者協会 ソフトウェアシンポジウム
    • Place of Presentation
      和歌山市
    • Year and Date
      2015-06-15
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] アジアにおけるソフトウェア工学分野の産官学国際連携の取組みについて2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      CKP-QGPOP 合同研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2014-12-03
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] IT 分野における産学連携による実践型教育と課題2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      To-collabo プログラム 中間報告会
    • Place of Presentation
      熊本市
    • Year and Date
      2014-11-22
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 安全安心な社会基盤としての IT システム構築のための有用性の高いフォーマルメソッド2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      情報処理学会九州支部
    • Place of Presentation
      福岡市
    • Year and Date
      2014-04-25
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      2nd FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      インド ハイデラバード
    • Year and Date
      2014-06-03
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Requirements Development of Energy Management System for a Unit in Smart Campus2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      3rd International Conference on Institutional Research and Institutional Management
    • Place of Presentation
      北九州市
    • Year and Date
      2014-09-02
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] フォーマルメソッドに基づく安全安心な社会基盤としての ICT システム開発について2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      IEEE Hiroshima Section
    • Place of Presentation
      岡山市
    • Year and Date
      2014-11-05
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ソフトウェアの開発現場で使える適用性と有用性の高いフォーマルメソッド2013

    • Author(s)
      荒木 啓二郎
    • Organizer
      第16回組込みシステム開発技術展
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Effective Introduction of Rigorous Specification to High-Quality Software Development2013

    • Author(s)
      Keijiro Araki
    • Organizer
      7th Asia-Pacific Council on Systems Engineering Conference
    • Place of Presentation
      Yokohama, Japan
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 形式手法導入の際の考慮事項2012

    • Author(s)
      荒木啓二郎
    • Organizer
      形式手法導入パイロット教育コース
    • Place of Presentation
      熊本市
    • Year and Date
      2012-01-16
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Approaches to Software Development. Practice and Experience2011

    • Author(s)
      Keijiro Araki
    • Organizer
      Software Engineering Seminar, POSTECH, Pohang Korea, December
    • Place of Presentation
      Pohang Korea
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] システム開発におけるフォーマルメソッド適用の実践について2011

    • Author(s)
      荒木啓二郎
    • Organizer
      第14回組込みシステム開発技術展
    • Place of Presentation
      東京都
    • Year and Date
      2011-05-12
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア開発におけるフォーマルメソッド入門-「モデル」と記述-2011

    • Author(s)
      荒木啓二郎
    • Organizer
      テクマトリクス 形式手法入門セミナー
    • Place of Presentation
      東京
    • Year and Date
      2011-01-14
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法って何?-その特質と効用について-2011

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア品質管理研究会
    • Place of Presentation
      東京都(特別講演)
    • Year and Date
      2011-11-18
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法に基づく高信頼性システム開発2011

    • Author(s)
      荒木啓二郎
    • Organizer
      SEC特別セミナー
    • Place of Presentation
      東京都
    • Year and Date
      2011-07-04
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Approaches to Software Development-Practice and Experience-2011

    • Author(s)
      Keijiro Araki
    • Organizer
      POSTECH Software Engineering Seminar
    • Place of Presentation
      韓国浦項市(Invited Talk)
    • Year and Date
      2011-12-30
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法導入の際の考慮事項2011

    • Author(s)
      荒木啓二郎
    • Organizer
      形式手法導入パイロット教育コース
    • Place of Presentation
      札幌市
    • Year and Date
      2011-09-05
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア検証分野における産学連携への要請2011

    • Author(s)
      荒木啓二郎
    • Organizer
      第1回ソフトウェア工学の若手研究者の育成に関するワークショップ北陸先端科学技術大学院大学
    • Place of Presentation
      能美市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア検証分野における産学連携への要請2011

    • Author(s)
      荒木啓二郎
    • Organizer
      第1回ソフトウェア工学の若手研究者の育成に関するワークショップ
    • Place of Presentation
      石川県能美市
    • Year and Date
      2011-04-23
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法導入の際の考慮事項2011

    • Author(s)
      荒木啓二郎
    • Organizer
      IPA/SEC形式手法人材育成部会
    • Place of Presentation
      広島市
    • Year and Date
      2011-03-24
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア開発現場への形式手法の現場での適用について2011

    • Author(s)
      荒木啓二郎
    • Organizer
      日本電気 形式手法研究会
    • Place of Presentation
      東京
    • Year and Date
      2011-03-09
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 産学連携によるフォーマルメソッド導入事例-仕様の品質向上を目指して-2011

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア・シンポジウム2011
    • Place of Presentation
      長崎市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア品質技術者の育成について2010

    • Author(s)
      荒木啓二郎、芦原秀一、小黒龍一、誉田直美
    • Organizer
      日本科学技術連盟,「今こそ考えよう!ソフトウェア品質」特別セミナー
    • Place of Presentation
      福岡
    • Year and Date
      2010-07-30
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Approaches to System Development. Practice and Experience2010

    • Author(s)
      Keijiro Araki
    • Organizer
      Hanyang University
    • Place of Presentation
      Seoul Korea.(invited speech)
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ドキュメントの品質と開発プロセスにおけるコミュニケーションでのフォーマルメソッドの有用性2010

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア技術者協会「次世代型オフショアのあり方」ワークショップ
    • Place of Presentation
      中国 無錫市
    • Year and Date
      2010-07-24
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法に基くシステム開発2010

    • Author(s)
      荒木啓二郎
    • Organizer
      日本電気 形式手法研究会
    • Place of Presentation
      東京
    • Year and Date
      2010-04-20
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア開発における「モデル」雑感2010

    • Author(s)
      荒木啓二郎
    • Organizer
      IPA/SEC形式手法人材育成部会
    • Place of Presentation
      東京
    • Year and Date
      2010-10-29
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Methodsの課題と今後の展開2010

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア技術者協会形式手法分科会
    • Place of Presentation
      横浜市
    • Year and Date
      2010-03-29
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010

    • Author(s)
      和田祐介、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      ソフトウェア・シンポジウム2010
    • Place of Presentation
      横浜
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ドキュメントの品質と開発プロセスにおけるコミュニケーションでのフォーマルメソッドの有用性2010

    • Author(s)
      荒木啓二郎
    • Organizer
      「次世代型オフショアのあり方」ワークショップ,ソフトウェア技術者協会
    • Place of Presentation
      中国無錫市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] システム開発の現場でのフォーマルメソッド適用に向けての課題と方策2010

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア・シンポジウム2010
    • Place of Presentation
      横浜市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] フォーマルメソッドの課題と今後の展開2010

    • Author(s)
      荒木啓二郎
    • Organizer
      富士通九州ネットワークテクノロジーズ フォーマルメソッド技術交流会
    • Place of Presentation
      福岡
    • Year and Date
      2010-04-22
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] ソフトウェア開発におけるフォーマルメソッド入門-概要-2010

    • Author(s)
      荒木啓二郎
    • Organizer
      テクマトリクス 形式手法入門セミナー
    • Place of Presentation
      東京
    • Year and Date
      2010-12-15
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上手法2010

    • Author(s)
      大森洋一、荒木啓二郎
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      東京
    • Year and Date
      2010-06-14
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 高品質高信頼ソフトウェア開発の動向と今後の仮題-今、やるべきことは-2010

    • Author(s)
      荒木啓二郎
    • Organizer
      日本科学技術連盟,「今こそ考えよう!ソフトウェア品質」特別セミナー
    • Place of Presentation
      福岡
    • Year and Date
      2010-07-30
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010

    • Author(s)
      和田祐介、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Year and Date
      2010-06-01
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 状態遷移図の同期モデルへの詳細化および検証手法2010

    • Author(s)
      大森洋一、園田貴大、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      大阪
    • Year and Date
      2010-11-11
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Methodsの課題と今後の展開2010

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア技術者協会形式手法分科会(SIG-FM)
    • Place of Presentation
      横浜市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] システム開発の現場でのフォーマルメソッド適用に向けての課題と方策2010

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア・シンポジウム2010
    • Place of Presentation
      横浜(招待講演)
    • Year and Date
      2010-06-09
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Formal Approaches to System Development-Practice and Experience-2010

    • Author(s)
      Keijiro Araki
    • Organizer
      Hanyang University ICT Seminar(Invited Talk)
    • Place of Presentation
      韓国ソウル
    • Year and Date
      2010-03-05
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Application of Formal Methods to Practical System Development-Ten Commandments of Formal Methods Revisited2009

    • Author(s)
      Keijiro Araki
    • Organizer
      International Workshop on Future Software Technologies
    • Place of Presentation
      インドムンバイ
    • Year and Date
      2009-12-10
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Application of Formal Methods to Practical System Development. Ten Commandments of Formal Methods Revisited2009

    • Author(s)
      Keijiro Araki
    • Organizer
      International Workshop on Future Software Technologies
    • Place of Presentation
      December
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法の開発現場への導入について2009

    • Author(s)
      荒木啓二郎
    • Organizer
      ソフトウェア技術者協会 上海Software Forum
    • Place of Presentation
      中国上海市
    • Year and Date
      2009-07-21
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] フォーマルメソッドに基づくシステム開発事例2009

    • Author(s)
      荒木啓二郎
    • Organizer
      北九州産業学術推進機構 フォーマルメソッド研究会
    • Place of Presentation
      北九州市
    • Year and Date
      2009-07-27
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 形式手法の開発現場への導入について, SEA上海Software Forum2009

    • Author(s)
      荒木啓二郎
    • Organizer
      最新のソフトウェアの課題とその方策
    • Place of Presentation
      中国上海市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Feature Models and Formal Methods: How to Formalize Feature Models?

    • Author(s)
      Keijiro Araki
    • Organizer
      Software Engineering Seminar, POSTECH
    • Place of Presentation
      Pohang, Korea
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Good Practice of Applying Formal Metohds to Software Development

    • Author(s)
      Keijiro Araki
    • Organizer
      POSTECH Software Engineering Seminar
    • Place of Presentation
      Pohang, Korea
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Overview of Architecture-Oriented Formal Methods

    • Author(s)
      Keijiro Araki
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware

    • Author(s)
      Taro Kurita, Fuyuki Ishikawa, Keijiro Araki
    • Organizer
      20th International Symposium on Formal Methods
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-24 – 2015-06-26
    • Data Source
      KAKENHI-PROJECT-24220001
  • 1.  FUKUDA Akira (80165282)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 0 results
  • 2.  SAISHO Keizo (50170486)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 3.  OKAMURA Koji (70252830)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 4.  YOSHIDA Norihiko (00182775)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  TAKAGI Toshihisa (30110836)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 6.  CHANG Han-myun (90329756)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  MIYAMOTO Eiichi (00001173)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 8.  CHENG Jingde (30217228)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  NAKANISHI Tsuneo (70311785)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 10.  USHIJIMA Kazuo (40037750)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 11.  KUSKABE Shigeru (70234416)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 33 results
  • 12.  MOCHIO Hiroshi (60331013)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 13.  LIU Shaoying (90264960)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 14.  FURUKAWA Zengo (30190135)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 15.  OMORI Yoichi (20309727)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 30 results
  • 16.  KATAYAMA Tetsuro (50283932)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 17.  TAMAI Tetsuo (60217172)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 18.  前野 年紀 (00062670)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 19.  宇津宮 孝一 (70037878)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 20.  KITASUKA Teruaki (70343332)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 21.  HIRABARU Masaki (10192717)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 22.  MURAKAMI Kazuaki (10200263)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 23.  ARAI Noriko (40264931)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 24.  OHBA Mitsuru (50264966)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 25.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 26.  SUEYOSHI Toshinori (00117136)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 27.  小板 隆浩 (60319580)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 28.  SAKURAI Kouichi (60264066)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  HISAZUMI Keinji (10380685)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  YAMAFUJI Kaoru (90037721)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  HAYASHI Kenshi (50202263)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  TOKO Kiyoshi (50136529)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  SUEZAKI Yukio (80069484)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  YAMAMOTO Kazuhiko (50263439)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  SASAKURA Mariko (30284087)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  SATO Syuuko (20225999)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  SHIBAYAMA Kiyoshi (70127091)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  ISHIDA Tohru (20252489)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  YASUURA Hirohito (80135540)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  HAGIWARA Ken-ichi (00133140)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  YOKOYA Naokazu (10252834)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  AJISAKA Tsuneo (30175864)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  OCHIMIZU Koichiro (10022310)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  TOHMA Yoshihiro (50016317)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  UEDA Kazunori (10257206)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  TOGASHI Atsushi (20172140)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  TAGUCHI Kenji (30294903)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  GOTO Yukinori (40315130)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 51.  FUJIMURA Naomi (40117239)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  溝口 文雄 (50084463)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  荒川 豊 (30424203)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 54.  山本 修一郎 (20523294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 55.  児玉 靖司 (30266910)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 56.  緒方 和博 (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 57.  緒方 惟昭 (00194423)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 58.  坂部 俊樹 (60111829)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  鳥居 宏次 (10172222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 60.  佐伯 元司 (80162254)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 61.  LIN Hsin-Hung
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 13 results
  • 62.  ODA Tomohiro
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 8 results
  • 63.  NAKAJIMA shin
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 64.  KUMENO fumihiro
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  IKEZAKI Hidekazu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  HAGHIGHAT Mohammad
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  VEIDENBAUM Alex
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 68.  HINCHEY Michael
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 69.  HO-STUART Chris
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 70.  SUN Yong
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 71.  OFFUTT A Jeff
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 72.  ISHII Hiroshi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 73.  POLYCHRONOPO コンスタンチン
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 74.  POLYCHRONOPOULOS Constan
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 75.  MOHAMMAD Hag
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 76.  ALEX Veidenb
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 77.  CONSTANTINE ポリクロノポーラス
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 78.  BECHMAN Carl
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 79.  CONSTANTINE ポリクロノポーロス
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 80.  MICHAEL Hinc
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 81.  CHRIS HoーStu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 82.  YONG Sun
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 83.  A Jeff Offut
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 84.  GLENN Evans
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 85.  JIAN Chen
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 86.  CHANG Hang-myung
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi