SEINO TAKAHIRO 清野貴博

… Alternative Names

SEINO Takahiro 清野貴博

Less

Researcher Number	10397226
Affiliation (based on the past Project Information) *help	2015: 産業技術総合研究所, 社会知能研究ラボ, 特別研究員 2010: 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 2009 – 2010: 独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 特別研究員 2008: 独立行政法人産業技術総合研究所, サービス工学研究センター, 特別研究員 2007: National Institute of Advanced Industrial Science and Technology, 情報技術研究部門, 研究員 2006: 独立行政法人産業技術総合研究所, システム検証研究センター, 契約職員 2005: 独立行政法人産業技術総合研究所, システム検証研究センター, 産総研特別研究員
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Software
Keywords	Principal Investigator 観測遷移機械 / CafeOBJ / 項書換え / 代数仕様 / ユーザインターフェイス / ソフトウェア開発効率化・安 / 形式手法 / ユーザインターフェース / ソフトウェア開発効率化・安定化 Except Principal Investigator 形式手法 … More / 定理証明 / CafeOBJ / 証明スコア / 代数仕様 / ソフトウェア工学 / 仕様記述・仕様検証 / サービスプロセス / 医療情報システム / ビジネスプロセス / 医療サービス / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / オントロジー / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム Less

Development of the Innovative Specification Verification System based on Proof Scores
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Design-assistance system of large scale information systems based on formal method and web ontology
- Principal Investigator
  
  TAKAKI Osamu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
形式仕様開発支援環境の研究Principal Investigator
- Principal Investigator
  
  清野貴博
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology

All 2010 2009 2008 2007 2006 2005

All Journal Article Presentation

[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
- Journal Title
  
  International Journal On Advances in Software 2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Generating test cases from proof scores in the OTS/CafeOBJ method2009
- Author(s)
  Masaki Nakamura, Takahiro Seino
- Journal Title
  
  電子情報通信学会論文誌.D,情報・システム E92-D
  
  Pages: 1012-1021
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009
- Author(s)
  Masaki Nakamura, Takahiro Seino
- Journal Title
  
  IEICE Transactions on Information and Systems 5(掲載予定)
- NAID
  10026809324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009
- Author(s)
  Masaki Nakamura, Takahiro Seino
- Journal Title
  
  IEICE Transactions on Information and Systems vol.5
  
  Pages: 1012-1021
- NAID
  10026809324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International Journal On Advances in Software vol.2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software 1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software vol.1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] 形式仕様開発支援環境の研究2006
- Author(s)
  清野貴博
- Journal Title
  
  システム検証研究センター 2005年度(平成17年度)研究報告集 PS-2006-006
  
  Pages: 57-60
- Data Source
  KAKENHI-PROJECT-17700028
[Journal Article] A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method.2006
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Electronic Notes in Theoretical Computer Science. Vol.147
  
  Pages: 57-72
- Data Source
  KAKENHI-PROJECT-17700028
[Journal Article] Mechanically supporting case analysis for verification of distributed systems.2005
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Journal of Pervasive Computing and Communications. Vol.1, No.2
  
  Pages: 135-145
- Data Source
  KAKENHI-PROJECT-17700028
[Presentation] 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計2010
- Author(s)
  岡本圭史, 清野貴博, 和泉憲明, 橋田浩一, 木下佳樹, 高村博記
- Organizer
  第42回情報システム学
- Place of Presentation
  大阪府立大学(大阪)
- Year and Date
  2010-05-28
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 情報システムの構造化仕様のための業務オントロジーの試作2010
- Author(s)
  清野貴博, 岡本圭史, 和泉憲明, 橋田浩一
- Organizer
  知能ソフトウェア工学研究会(KBSE)
- Place of Presentation
  静岡大学(静岡)
- Year and Date
  2010-11-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] オントロジーに基づくサービスプロセスからの共通構造抽出法2010
- Author(s)
  清野貴博, 玉川奨, 飯島千絵, 岡本圭史, 和泉憲明, 橋田浩一, 山口高平
- Organizer
  第42回情報システム学会
- Place of Presentation
  大阪府立大学(大阪)
- Year and Date
  2010-05-28
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] A Design for an Assessment Process for Dependability based on a Formal Model2010
- Author(s)
  K.Okamoto, Y.Kinoshita, T.Seino, N.Izumi, K.Hasida, H.Takamura
- Organizer
  The 2nd IASTED International Conference onAdvances in Management Science and RiskAssessment(AMSRA 2010)
- Place of Presentation
  プーケット(タイ)
- Year and Date
  2010-11-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計2010
- Author(s)
  岡本圭史, 清野貴博, 和泉憲明, 橋田浩一, 木下佳樹, 高村博記
- Organizer
  第42回情報システム学会
- Place of Presentation
  大阪府立大学(大阪)
- Year and Date
  2010-05-28
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] OTS/CafeOBJ法に基づく並行システムの実装とテスト生成2010
- Author(s)
  清野貴博, 中村正樹
- Organizer
  システム数理と応用研究会(MSS)
- Place of Presentation
  金沢大学(石川)
- Year and Date
  2010-08-05
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] A Design for an Assessment Process for Dependability based on a Formal Model2010
- Author(s)
  岡本圭史, 木下佳樹, 清野貴博, 和泉憲明, 橋田浩一, 高村博記
- Organizer
  The 2nd TASTED International Conference on Advances in Management Science and Risk, Assessment(AMSRA 2010)
- Place of Presentation
  プーケット(タイ)
- Year and Date
  2010-11-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008
- Author(s)
  清野貴博, 高木理, 和泉憲明, 橋田浩一
- Organizer
  知能ソフトウェア工学研究会 (KBSE)
- Place of Presentation
  札幌
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances(ICSEA 2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKRSE 08)
- Place of Presentation
  アテネ(ギリシャ)
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 医療情報システム設計のための業務知識の記述法と形式的検証2008
- Author(s)
  高木理, 清野貴博, 和泉憲明, 鈴木斎王, 荒木賢二, 新見隆彦, 橋田浩一
- Organizer
  第28回医療情報連合大会
- Place of Presentation
  横浜
- Year and Date
  2008-11-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enterprise Information Systems(ICEIS 2008)
- Place of Presentation
  バルセロナ(スペイン)
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008
- Author(s)
  清野貴博, 高木理, 和泉憲明, 橋田浩一
- Organizer
  知能ソフトウェア工学研究会(KBSE)
- Place of Presentation
  札幌
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE08)
- Place of Presentation
  アテネ
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances (ICSEA2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enter prise Information Systems (ICEIS 2008)
- Place of Presentation
  バルセロナ
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] OTS/CafeOBJ法における証明譜からのテスト生成2007
- Author(s)
  中村正樹, 清野貴博
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  島根大学
- Year and Date
  2007-12-17
- Data Source
  KAKENHI-PROJECT-17700028

1. TAKAKI Osamu (30388011)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
2. TAKEUTI Izumi (20264583)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
3. IZUMI Noriyuki (50293593)

# of Collaborated Projects: 1 results

# of Collaborated Products: 19 results
4. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. OGATA KAZUHIRO (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. AOKI TOSHIAKI (20313702)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. NAKAMURA MASAKI (40345658)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. CHIBA YUKI (10509756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 高橋孝一 (40357372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
10. PREINING Norbert (60571247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. GAINA Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SEINO TAKAHIRO 清野 貴博

SEINO Takahiro 清野 貴博

Research Projects

Research Products

Co-Researchers

Development of the Innovative Specification Verification System based on Proof Scores

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design-assistance system of large scale information systems based on formal method and web ontology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

形式仕様開発支援環境の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

Author(s)

Journal Title

Data Source

[Journal Article] Generating test cases from proof scores in the OTS/CafeOBJ method2009

Author(s)

Journal Title

Data Source

[Journal Article] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

Author(s)

Journal Title

Data Source

[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008

Author(s)

Journal Title

Data Source

[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008

Author(s)

Journal Title

Data Source

[Journal Article] 形式仕様開発支援環境の研究2006

Author(s)

Journal Title

Data Source

[Journal Article] A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method.2006

Author(s)

Journal Title

Data Source

[Journal Article] Mechanically supporting case analysis for verification of distributed systems.2005

Author(s)

Journal Title

Data Source

[Presentation] 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 情報システムの構造化仕様のための業務オントロジーの試作2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] オントロジーに基づくサービスプロセスからの共通構造抽出法2010

Author(s)

Organizer

SEINO TAKAHIRO 清野貴博

SEINO Takahiro 清野貴博