清野貴博 SEINO TAKAHIRO

研究者番号	10397226
所属 (過去の研究課題情報に基づく) *注記	2015年度: 産業技術総合研究所, 社会知能研究ラボ, 特別研究員 2010年度: 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 2009年度 – 2010年度: 独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 特別研究員 2008年度: 独立行政法人産業技術総合研究所, サービス工学研究センター, 特別研究員 2007年度: 産業技術総合研究所, 情報技術研究部門, 研究員 2006年度: 独立行政法人産業技術総合研究所, システム検証研究センター, 契約職員 2005年度: 独立行政法人産業技術総合研究所, システム検証研究センター, 産総研特別研究員
審査区分/研究分野	研究代表者ソフトウエア研究代表者以外ソフトウエア
キーワード	研究代表者観測遷移機械 / CafeOBJ / 項書換え / 代数仕様 / ユーザインターフェイス / ソフトウェア開発効率化・安 / 形式手法 / ユーザインターフェース / ソフトウェア開発効率化・安定化研究代表者以外形式手法 … もっと見る / 定理証明 / CafeOBJ / 証明スコア / 代数仕様 / ソフトウェア工学 / 仕様記述・仕様検証 / サービスプロセス / 医療情報システム / ビジネスプロセス / 医療サービス / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / オントロジー / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム隠す

証明スコア法に基づく革新的仕様検証システムの構築
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
形式的検証とウェブオントロジーの融合による大規模情報システム設計支援
- 研究代表者
  
  高木理
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
形式仕様開発支援環境の研究研究代表者
- 研究代表者
  
  清野貴博
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  独立行政法人産業技術総合研究所

すべて 2010 2009 2008 2007 2006 2005

すべて雑誌論文学会発表

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

1. 高木理 (30388011)

共同の研究課題数: 1件

共同の研究成果数: 13件
2. 竹内泉 (20264583)

共同の研究課題数: 1件

共同の研究成果数: 10件
3. 和泉憲明 (50293593)

共同の研究課題数: 1件

共同の研究成果数: 19件
4. 二木厚吉 (50251971)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 緒方和博 (30272991)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 青木利晃 (20313702)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 中村正樹 (40345658)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 千葉勇輝 (10509756)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 高橋孝一 (40357372)

共同の研究課題数: 1件

共同の研究成果数: 10件
10. PREINING Norbert (60571247)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. GAINA Daniel (80595778)

共同の研究課題数: 1件

共同の研究成果数: 0件

清野 貴博 SEINO TAKAHIRO

研究課題

研究成果

共同研究者

証明スコア法に基づく革新的仕様検証システムの構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式仕様開発支援環境の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Generating test cases from proof scores in the OTS/CafeOBJ method2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] 形式仕様開発支援環境の研究2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method.2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Mechanically supporting case analysis for verification of distributed systems.2005

著者名/発表者名

雑誌名

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

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

著者名/発表者名

学会等名

発表場所

清野貴博 SEINO TAKAHIRO