FURUKAWA Zengo 古川善吾

… Alternative Names

古川善吾

Less

Researcher Number	30190135
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2005: Kagawa University, Faculty of Engineering, Professor, 工学部, 教授 2004: 国立大学法人香川大学, 工学部, 教授 2003: 香川大学, 工学部, 教授 1992 – 1997: 九州大学, 情報処理教育センター, 助教授 1989 – 1991: 九州大学, 工学部, 講師 1988: Kyushu University, Research Associate, 工学部, 助手 1986: 九州大学, 工学部, 助手
Review Section/Research Field	Principal Investigator 計算機科学 / Informatics Except Principal Investigator 計算機科学 / Informatics / 情報工学 / Computer system/Network / 計算機工学
Keywords	Principal Investigator 並行処理プログラム / テストケース / Forced Execution / Coverage / Testing Criterion / Cooperative Path / Event Synchronization Model / Test-case / Software Testing / Concurrent Programs … More / テスト充分性評価 / 事象相互作用モデル / 強制実行 / 被覆率 / テスト基準 / 協調路 / 事象同期モデル / ソフトウェアテスト / 探針影響 / 広域データフロー / ランテブー通路 / テスト充分性 / テスト法 / ソフトウェア工学 … More Except Principal Investigator プログラム従属性 / デバッグ / テスト / ASIS / Ada95 / Integrated support environment / テストケース自動生成 / スライシング / 並行型プログラム開発支援環境 / プログラム従属性理論 / 統一的プログラム抽象表現 / プロセス従属ネット / 並行プログラム / Personal Computer / Textual Analysis / Writing Tools / テキスト処理 / 日本語文書処理 / 字面解析 / 推敲支援 / Concurrent Programs / Japanese Document Processing / Text Processing / ワークステーション / マンマシンインターフェース / 正規化日本語文字 / 推敲支援ツール / 日本語文章処理 / プロトタイピング / ユーザインタフェース / パーソナルコンピュータ / Software Testing / Network Management / Dynamical Mirroring / Access Number Control / Incremental Cache / Media Control / Parallel Access / Web Services / テスト法 / 脆弱性情報 / 階層化 / MPEG動画像 / UDP / TCP / ミラーリング / アクセス数制限 / ソフトウェアテスト / ネットワーク管理 / 動的ミラーリング / アクセス数制御 / インクリメンタルキャッシュ / メディアコントロール / 並列アクセス / Webサービス / Program dependence theory / Concurrent Programming / テスト充分性 / システム従属ネット / 定義使用ネット / 統合開発環境 / Ada 95 / ソフトウェア開発支援 / 従属性理論 / 並行型プログラム / OSC / Testing adequacy / Automatic test case generation / Slicing / Program dependencies / CFN / Unified Program representations / Ada / 開発環境 / 順序列テスト基準 / テスト十分性 / テスケース自動生成 / 非決定的定義使用ネット / Maintenance / Complexity Metrics / Debug / Test / Program Analysis / Program Dependencies / プロセス支配ネット / 通信従属性 / 同期従属性 / 非決定的並列定義使用ネット / 非決定的並列制御流れネット / 保守 / 複雑さ評価 / プログラム解析 / Human-Computer Interface / Work Station / Portability / Japanese Text Processing / 利用者インタフェ-ス / ワ-クステ-ション / パ-ソナルコンピュ-タ / ソフトウェアの移植 / Distributed RunーTime Environment / Distributed Cooperative Processing / Deadlock / Debugging / Testing / Validation / Specification / プログラム変換 / 実時間処理 / 分散実行環境 / 分散協調処理 / デッドロック / 検証 / 仕様記述 / 並列型プログラム / Miranda / 関数型プログラミング言語 / ストリーム / 並行動作プログラム / 分散処理システム / 並列オペレーティングシステム / 仕様スライス / 仕様記述言語Z / 実行可能仕様 / 形式的仕様 / ストリーム並列 / 並行動作システム Less

Research on Constructing a Flexible Communication System Adapting to Network Variation.
- Principal Investigator
  
  SAISHO Keizo
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Kagawa University
Integrated Environment to Support Development of Concurrent Programs Based on Software Dependence Theory
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Integrated Environment to Support Software Development of Concurrent Programs.
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
Basic Research about a Test-case Generation Method for Concurrent Programs Based on Program StructurePrincipal Investigator
- Principal Investigator
  
  FURUKAWA Zengo
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
- Principal Investigator
  
  ARAKI Keijiro
- 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
並行処理プログラムのテスト充分性評価技法の研究Principal Investigator
- Principal Investigator
  
  古川善吾
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Kyushu University
Program Dependence Theory of Concurrent Programs and Its Applications
- Principal Investigator
  
  CHENG Jingde
- Project Period (FY)
  1992 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  KYUSHU 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
Study on Enhancing Functions of the System of Writing Tools for Japanese Documents, and Expanding it's Application Area
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1989 – 1991
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research
- Research Field
  
  Informatics
- 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

All 2005 2004

All Journal Article

[Journal Article] UMLモデルの整合性検証2005
- Author(s)
  藤田将光, 古川善吾
- Journal Title
  
  平成17年度電機関係学会四国支部連合大会講演論文集
  
  Pages: 279-279
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] 割り込み処理のテストのためのモデル化2005
- Author(s)
  産賀寛之, 古川善吾
- Journal Title
  
  平成17年度電植関係学会四国支部連合大会講演論文集
  
  Pages: 280-280
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] 統計的テスト法による回帰テスト自動化に関する考察2005
- Author(s)
  高木智彦, 古川善吾
- Journal Title
  
  ソフトウェアテストシンポジウム2005
  
  Pages: 127-132
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] Constructing a Usage Model for Statistical Testing with Source Code Generation Methods2004
- Author(s)
  Takagi, T., Furukawa, Z.
- Journal Title
  
  Proc.APSEC2004
  
  Pages: 448-454
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] Constructing a Usage Model for Statistical Testing with Source Code Generation Methods2004
- Author(s)
  Takagi, T., Furukawa, Z.
- Journal Title
  
  Proc. APSEC2004
  
  Pages: 448-454
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] 侵入検知システムsnortの運用実験2004
- Author(s)
  石井博文, 古川善吾
- Journal Title
  
  平成16年度電気関係学会四国支部連合大会講演論文集
  
  Pages: 30-30
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] オブジェクト指向ソフトウェアアーキテクチャのソフトウェア無線への適用2004
- Author(s)
  吉田剛士, 古川善吾, 生越重章
- Journal Title
  
  平成16年度電気関係学会四国支部連合大会講演論文集
  
  Pages: 194-194
- Data Source
  KAKENHI-PROJECT-15500042
[Journal Article] Constructing a Usage Model for Statistical Testing with Source Code Generation Methods2004
- Author(s)
  Takagi, T., Furukawa, Z.
- Journal Title
  
  Proc.of APSEC2004
  
  Pages: 448-454
- Data Source
  KAKENHI-PROJECT-15500042

1. USHIJIMA Kazuo (40037750)

# of Collaborated Projects: 8 results

# of Collaborated Products: 0 results
2. CHENG Jingde (30217228)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. ARAKI Keijiro (40117057)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. SAISHO Keizo (50170486)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. YOSHIDA Norihiko (00182775)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. HIRABARU Masaki (10192717)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. TAKAGI Toshihisa (30110836)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. NOMURA Yoshinari (70274496)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. 岡村耕二 (70252830)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 福田晃 (80165282)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. SUGANUMA Akira (70235852)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. INADA Toshiaki (80108258)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. MATSUNAGA Toshiaki (10036999)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SHIMOZONO Kouichi (20253510)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 蒲池正幸 (90274498)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 末吉敏則 (00117136)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

FURUKAWA Zengo 古川 善吾

古川 善吾

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Basic Research about a Test-case Generation Method for Concurrent Programs Based on Program StructurePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

並行処理プログラムのテスト充分性評価技法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] UMLモデルの整合性検証2005

Author(s)

Journal Title

Data Source

[Journal Article] 割り込み処理のテストのためのモデル化2005

Author(s)

Journal Title

Data Source

[Journal Article] 統計的テスト法による回帰テスト自動化に関する考察2005

Author(s)

Journal Title

Data Source

[Journal Article] Constructing a Usage Model for Statistical Testing with Source Code Generation Methods2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] Constructing a Usage Model for Statistical Testing with Source Code Generation Methods2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] 侵入検知システムsnortの運用実験2004

FURUKAWA Zengo 古川善吾

古川善吾