JA

Profile

Research

Social

Other

Nakagawa Hiroyuki

中川 博之

Graduate School of Information Science and Technology Department of Information Systems Engineering, Associate Professor

keyword Requirements Engineering,agent technology,self-adaptive systems,Software engineering

Education

  • 2007/04 - 2008/03, The University of Tokyo
  • - 2008, The University of Tokyo, Graduate School of Information Science and Technology, Creative Informatics
  • 2005/04 - 2007/03, The University of Tokyo
  • - 2007, The University of Tokyo, Graduate School of Information Science and Technology, Creative Informatics
  • 1993/04 - 1997/03, Osaka University

Research History

  • 2014/01 - Present, Osaka University, Graduate School of Information Science and Technology, Associate Professor
  • 2008/04 - 2013/12, The University of Electro-Communications Graduate School of Information Systems Department of Social Intelligence and Informatics, Assistant Professor

Research Areas

  • Informatics, Intelligent informatics
  • Informatics, Software

Professional Memberships

  • IEEE CS
  • JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
  • THE INSTITUTE OF ELECTRONICS
  • INFORMATION PROCESSING SOCIETY OF JAPAN

Papers

  • トレーサビリティリンク生成における自然言語処理モデルの性能比較, 新田壮史,中川博之,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報KBSE2020-34, p. 1-6, 2021/03
  • 時間制約を実行時に検証可能な自己適応フレームワークに関する研究, 小島英春,中川博之, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE2020-31, p. 13-18, 2021/01
  • 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討, 有若新悟,中川博之,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報KBSE2020-25, p. 53-58, 2020/11
  • Using simulated annealing for locating array construction, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Information and Software Technology, Elsevier BV, Vol. 126, p. 106346-106346, 2020/10
  • グラフ化による制御ループに関する反例の可視化手法の提案, 青木善貴,小形真平,小林一樹,中川博之, ソフトウェアエンジニアリングシンポジウム(SES2020), p. 115-124, 2020/09
  • モデル検査における複雑な検査式に対する反例解析手法の提案, 大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三, ソフトウェアエンジニアリングシンポジウム(SES2020), p. 23-31, 2020/09
  • An Explainable Deep Learning Approach for Adaptation Space Reduction, Alhassan Boner Diallo,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), IEEE, 2020/08
  • An Automated Goal Labeling Method Based on User Reviews, Shuaicai Ren,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), p. 141-146, 2020/07
  • Interactive Goal Model Construction Based on a Flow of Questions, Hiroyuki Nakagawa,Hironori Shimada,Tatsuhiro Tsuchiya, IEICE Transactions on Information and Systems, Vol. E103-D, No. 06, p. 1309-1318, 2020/06
  • Finding Minimum Locating Arrays Using a CSP Solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Fundamenta Informaticae, IOS Press, Vol. 174, No. 1, p. 27-42, 2020/05/12
  • 安全性解析支援のための状態遷移系に基づくハザード近接状態検出法の提案, 鈴木悠介,小形真平,大池勇太郎,青木善貴,中川博之,小林一樹,岡野浩三, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, Vol. KBSE2019-47, p. 7-12, 2020/03
  • ゴール指向要求分析に基づくAI・データ分析案件業務の効率化, 奥谷大介,伊加田恵志,中川博之, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, Vol. KBSE2019-49, p. 19-24, 2020/03
  • 遺伝的プログラミングを用いた施設レイアウト自動生成の検討, 花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, Vol. KBSE2019-46, p. 1-6, 2020/03
  • Opinion Analysis and Organization of Mobile Application User Reviews, Long Wang,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020), Vol. 2584, p. 1-9, 2020/03
  • A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems, Hiroyuki Nakagawa,Shinpei Ogata,Yoshitaka Aoki,Kazuki Kobayashi, Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), p. 815-822, 2020/03
  • A Method of Refining Topic Models Based on Term and Document Frequencies, Kazuyuki Higashi,Hitoshi Takahashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, JSSST Journal Compupter Software, Vol. 36, No. 4, p. 25-31, 2019/11
  • 不具合原因特定に向けたNuSMV反例解析手法の試案, 大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, 2019/11
  • word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案, 石川公一,小形真平,中川博之,岡野浩三, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, 2019/11
  • 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討, 東和幸,中川博之,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, 2019/11
  • A proposal of Quantitative Verification of Control Loop Using Probabilistic Model Checker, Yoshitaka Aoki,Shinpei Ogata,Kazuki Kobayashi,Hiroyuki Nakagawa, p. 115-120, 2019/11
  • Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models, Hiroyuki Nakagawa,Hiromu Toyama,Tatsuhiro Tsuchiya, The Journal of Systems & Software, Vol. 156, p. 300-311, 2019/10
  • Applicability of an Agent-oriented Software Design Methodology to the Design of IoT Systems, Hiroyuki Nakagawa,Shinpei Ogata,Yoshitaka Aoki,Kazuki Kobayashi, p. 204-211, 2019/09
  • Finding minimum locating arrays using a CSP solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, arXiv, p. 1-16, 2019/09
  • Using simulated annealing for locating array construction, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, arXiv, p. 1-23, 2019/09
  • Towards Real-time Self-adaptation Using a Verification Mechanism, Hiroyuki Nakagawa,Hiroki Tsuda,Tatsuhiro Tsuchiya, Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), p. 10-12, 2019/07
  • NuSMVの反例に対する自動検証による解析支援ツールの試作, 大池勇太郎,小形真平,青木善貴,中川博之,岡野浩三, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, 2019/06
  • Self-Adaptation for Heterogeneous Client-Server Online Games, Satoru Yamagata,Hiroyuki Nakagawa,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 18th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2019), p. 65-79, 2019/06
  • 自己適応システムの動的検証法の高速化に関する研究, 妙見侑祐,中川博之,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, Vol. KBSE2018-66, p. 75-80, 2019/03
  • Practice and Evaluation of a Method to Calculate Similarity between Goals Using Word2Vec, Koichi Ishikawa,Shinpei Ogata,Hiroyuki Nakagawa,Kozo Okano, 2019/03
  • Goal Model Construction Based on User Review Classification, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), 2019/03
  • A Prototype Tool to Aid Analysis of Counterexamples Produced by NuSMV, Yutaro Oike,Shinpei Ogata,Yoshitaka Aoki,Hiroyuki Nakagawa,Kozo Okano, 2019/01
  • A Report on the 35th JSSST Annual Conference., MORIHATA Akimasa,INOUE Katsuro,KUSUMOTO Shinji,NAKAGAWA Hiroyuki,ITO Kei,HASEBE Koji, Computer Software, Japan Society for Software Science and Technology, Vol. 36, No. 2, p. 2_2-2_15, 2019
  • Verification of CPS Based on Control Loop using Model Checking, Yoshitaka Aoki,Shinpei Ogata,Kazuki Kobayashi,Hiroyuki Nakagawa, Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018/12
  • Verification of CPS Based on Control Loop using Model Checking, Yoshitaka Aoki,Shinpei Ogata,Kazuki Kobayashi,Hiroyuki Nakagawa, Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018/12
  • Constructing a Goal Model Based on Application User Reviews, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2018/11
  • Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討, 東和幸,中川博之,土屋達弘, 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) 信学技報, 2018/11
  • Constructing a Goal Model Based on Application User Reviews, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2018/11
  • A Template System for Modeling and Verifying Agent Behaviors, Shinpei Ogata,Yoshitaka Aoki,Hiroyuki Nakagawa,Kazuki Kobayashi, Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), 2018/10
  • A Template System for Modeling and Verifying Agent Behaviors, Shinpei Ogata,Yoshitaka Aoki,Hiroyuki Nakagawa,Kazuki Kobayashi, Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), 2018/10
  • コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察, 青木善貴,小形真平,小林一樹,中川博之, 2018/07
  • A Document-based Parameter Correlation Metric for Test Design, Hiroyuki Nakagawa,Nobukazu Ishii,Tatsuhiro Tsuchiya, Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), 2018/07
  • Improvement of User Reviews Classification Using Keyword Expansion, Kazuyuki Higashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), 2018/07
  • A Framework for Updating Functionalities Based on the MAPE Loop Mechanism, Shinya Tsuchida,Hiroyuki Nakagawa,Emiliano Tramontana,Andrea Fornaia,Tatsuhiro Tsuchiya, Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018), 2018/07
  • 組み込みシステムに対する安全な機能追加手法の考察, 土田真也,中川博之,土屋達弘, 2018/07
  • サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発, 小林一樹,小形真平,青木善貴,中川博之, 2018/05
  • 時間制約を考慮可能な自己適応システム実装フレームワークの検討, 津田宏軌,中川博之,土屋達弘, 2018/03
  • 質問フローに基づくゴールモデル構築手法の提案, 島田裕紀,中川博之,土屋達弘, 2018/03
  • 焼きなまし法によるロケーティングアレイの生成, 小西達也,小島英春,中川博之,土屋達弘, 2018/02
  • A Requirements Coverage Visualization Approach Based on Document Similarities, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, JSSST Journal Compupter Software, 2018/02
  • Constructing a goal model from requirements descriptions based on extraction rules, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Communications in Computer and Information Science, Springer Verlag, Vol. 809, p. 175-188, 2018
  • MAPEループを用いたIoTデバイスの効率的な再利用法の検討, 土田真也,中川博之,土屋達弘, 2018/01
  • TORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~, 小形真平,青木善貴,小林一樹,中川博之, 2018/01
  • MAPEループ構造に基づいた機能更新フレームワークに関する考察, 土田真也,中川博之,土屋達弘, 2018/01
  • A Requirements Coverage Visualization Viewer Based on a Spring Model, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2017/11
  • SATソルバを使用したロケーティングアレイの生成手法について, 小西達也,小島英春,中川博之,土屋達弘, 2017/11
  • STAMP/STPAを用いたCyber-Physical Systemsの検証, 青木善貴,小形真平,中川博之, 2017/11
  • STAMP/STPAを用いたCyber-Physical Systemsの検証, 青木善貴,小形真平,中川博之, IPA 第2回STAMPワークショップ (Japanese STAMP Workshop), 2017/11
  • A Tool to Edit and Verify IoT System Architecture Model, Shinpei Ogata,Hiroyuki Nakagawa,Yoshitaka Aoki,Kazuki Kobayashi,Yuko Fukushima, Proc. of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), 2017/09
  • Report on ER 2016, Hiroyuki Nakagawa,Tsutomu Kobayashi,Shinpei Hayashi,Nobukazu Yoshioka,Naoyasu Ubayashi, JSSST Journal Compupter Software, Vol. 34, No. 3, p. 75-80, 2017/08
  • IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価, 小形真平,青木善貴,中川博之,小林一樹,福島祐子, 2017/07
  • A visualization of specification coverage based on document similarity, Hiroyuki Nakagawa,Shori Matsui,Tatsuhiro Tsuchiya, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017, Institute of Electrical and Electronics Engineers Inc., p. 136-138, 2017/06/30
  • A visualization of specification coverage based on document similarity, Hiroyuki Nakagawa,Shori Matsui,Tatsuhiro Tsuchiya, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017, Institute of Electrical and Electronics Engineers Inc., p. 136-138, 2017/06/30
  • 文書中の単語出現頻度を利用したトピックモデル洗練化, 高橋仁,中川博之,土屋達弘, 2017/03
  • 抽出ルールに基づいた要求記述からのゴールモデルの構築支援, 島田裕紀,中川博之,小島英春,土屋達弘, 2017/03
  • キャッシュの効率利用による自己適応システムの動的モデル検査法改善, 外山大夢,中川博之,小島英春,土屋達弘, 2017/03
  • システム環境の変化傾向に基づいた効率的な構成切り替え手法, 妙見侑祐,中川博之,土屋達弘, 2017/03
  • Finding Minimum Locating Arrays Using a SAT Solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, IEEE, p. 276-277, 2017
  • Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry, Hiroyuki Nakagawa,Toshinobu Hasegawa,Shori Matsui,Tatsuhiro Tsuchiya, 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), IEEE, p. 77-80, 2017
  • IoTシステムの要求分析支援手法の実現に向けた取り組み ~アクタ関係に注目して~, 小形真平,中川博之,青木善貴,小林一樹, 2017/01
  • 要求の類似度に基づいたカバレッジ可視化手法の提案, 松井勝利,中川博之,土屋達弘, 2016/12
  • IoTシステムの安全性検証手法の提案, 青木善貴,小形真平,小林一樹,中川博之, 2016/12
  • Requirements Coverage Visualization for Test Cases, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2016/12
  • Layard: Model Diagram Centering Actors for Requirements Analysis of IoT System, Shinpei Ogata,Kazuki Kobayashi,Yoshitaka Aoki,Hiroyuki Nakagawa, 2016/12
  • Caching Strategies for Run-time Probabilistic Model Checking, Hiroyuki Nakagawa,Kento Ogawa,Tatsuhiro Tsuchiya, Proc. of the 11th International Workshop on Models@run.time (MRT 2016), 2016/10
  • A Search-Based Constraint Elicitation in Test Design, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99D, No. 9, p. 2229-2238, 2016/09
  • Towards a Framework for Self-Adaptive Systems Based on a Dynamic Veri cation Mechanism Considering Time Constraint, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2016/09
  • A Search-based Constraint Elicitation in Test Design, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, IEICE Transactions on Information and Systems, 2016/09
  • トピックモデリングを用いたテストケース記述クラスタリングに関する考察, 高橋仁,中川博之,土屋達弘, 2016/05
  • 大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法, 小川 賢人,中川博之,土屋達弘, 2016/03
  • Goal Oriented Refinement Pattern Driven Use Case Modelling, Kozo Honda,Hideaki Hirayama,Hiroyuki Nakagawa,Yasuyuki Tahara,Ohsuga Akihiko, IEICE TRANSACTIONS on Information and Systems, 2016/03
  • A Dynamic Verification Mechanism for Real-time Self-adaptive Systems, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), IEEE, p. 265-266, 2016
  • Caching Strategies for Run-time Probabilistic Model Checking., Hiroyuki Nakagawa,Kento Ogawa,Tatsuhiro Tsuchiya, Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016., CEUR-WS.org, p. 18-25, 2016
  • Iterative Improvement of Human Pose Classification Using Guide Ontology, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99D, No. 1, p. 236-247, 2016/01
  • A Dynamic Verification Mechanism for Real-time Self-adaptive Systems, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), IEEE, p. 265-266, 2016
  • Iterative Improvement of Human Pose Classification Using Guide Ontology, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99D, No. 1, p. 236-247, 2016/01
  • Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 6th International Workshop on Testing Techniques for Event Based Software (TESTBEDS 2015), 2015/11
  • Transformation of KAOS Goal Models to BPMN Models Using Re nement Patterns, Hiroki Horita,Kozo Honda,Hideaki Hirayama,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Ohsuga Akihiko, JSSST Journal Compupter Software, 2015/11
  • 主要語の変遷に着目した要求トピックの洗練化に関する考察, 高橋仁,中川博之,土屋達弘, 2015/09
  • 実世界ハードウェアに対する自己適応フレームワークのプロトタイプ実装, 津田宏軌,中川博之,土屋達弘, 2015/07
  • A Proposal of Recommendation Agents for Surprising Recipes, Kyosuke Ikejiri,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2015/06
  • Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 2nd International Workshop on Requirements Engineering and Testing (RET 2015), co-located with ICSE 2015, 2015/05
  • 自己適応システムにおける動的検証法の適用範囲向上に向けて, 小川賢人,中川博之,土屋達弘, 2015/03
  • A Performance Evaluation of BDD-Based Constraint Handling for Combinatorial Interaction Testing, Hiroki Sakano,Hiroyuki Nakagawa,Hideharu Kojima,Tatsuhiro Tsuchiya, IEICE TRANSACTIONS on Information and Systems, 2015/03
  • Analysis of flaming and its applications in CGM, Yuki Iwasaki,Ryohei Orihara,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Japanese Society for Artificial Intelligence, Vol. 30, No. 1, p. 152-160, 2015/01/06
  • Towards automatic requirements elicitation from feedback comments: Extracting requirements topics using LDA, Hitoshi Takahashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Knowledge Systems Institute Graduate School, Vol. 2015-, p. 489-494, 2015
  • An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities, Kento Ogawa,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), SPRINGER INT PUBLISHING AG, Vol. 9509, p. 253-265, 2015
  • Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS - SASO 2015, IEEE, p. 176-177, 2015
  • Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), IEEE, p. 58-61, 2015
  • Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2015 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET), IEEE, p. 34-36, 2015
  • An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities, Kento Ogawa,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), SPRINGER INT PUBLISHING AG, Vol. 9509, p. 253-265, 2015
  • Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS - SASO 2015, IEEE, p. 176-177, 2015
  • Towards automatic requirements elicitation from feedback comments: Extracting requirements topics using LDA, Hitoshi Takahashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Knowledge Systems Institute Graduate School, Vol. 2015-, p. 489-494, 2015
  • LDAを用いたフィードバックコメントからの要求獲得に関する一考, 高橋仁,中川博之,土屋達弘, 2015/01
  • ソフトウェア進化と自己適応システム, 中川博之, 生産と技術, 2015/01
  • Locating a faulty interaction in pair-wise testing, Takahiro Nagamoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, IEEE Computer Society, p. 155-156, 2014/12/03
  • Innovation in and through Requirements Engineering -A Report on the 22nd IEEE International Requirements Engineering Conference (RE2014)-, Shinobu Saito,Masahiro Ide,Shinpei Ogata,Hiroyuki Nakagawa,Mari Inoki,Takao Okubo,Mikio Aoyama, IPSJ SIG Technical Report, 2014/11
  • 洗練パターンによるゴール指向ユースケースモデリング, 本田耕三,中川博之,田原康之,大須賀昭彦, 2014/09
  • 多様なタスクスケジューリング問題への解集合プログラミングの適用, 小林弘幸,中川博之,小島英春,土屋達弘, 2014/07
  • A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games, Satoru Yamagata,Hiroyuki Nakagawa,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE2014), 2014/07
  • Surprising Ingredient Extraction based on Rarity and Generality, Kyosuke Ikejiri,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, JSSST Journal Compupter Software, 2014/07
  • Pose Estimation of Still Images using Human Pose Guide Ontology, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, JSSST Journal Compupter Software, 2014/07
  • Common Goal Identification for Software Reuse, Yuki Nakamura,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, JSSST Journal Compupter Software, 2014/04
  • Identification of Flaming and Its Applications in CGM: Case Studies toward Ultimate Prevention, Yuki Iwazaki,Ryohei Orihara,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), 2014/03
  • Surprising Recipe Extraction Based on Rarity and Generality of Ingredients, Kyosuke Ikejiri,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), 2014/03
  • Context-Aware Music Recommendation with Serendipity Using Semantic Relations, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, SEMANTIC TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 8388, p. 17-32, 2014
  • Refinement of Ontology-constrained Human Pose Classification, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, 2014 IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), IEEE, p. 60-67, 2014
  • A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games., Satoru Yamagata,Hiroyuki Nakagawa,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013., Knowledge Systems Institute Graduate School, p. 742-743, 2014
  • Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation, Hiroyuki Nakagawa,Takumitsu Kudo,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, 2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), IEEE, p. 203-204, 2014
  • Transformation approach from KAOS goal models to BPMN models using refinement patterns, Hiroki Horita,Kozo Honda,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, p. 1023-1024, 2014
  • Locating a Faulty Interaction in Pair-Wise Testing, Takahiro Nagamoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), IEEE, p. 155-156, 2014
  • Applying parameter value weighting to a practical application, Satoshi Fujimoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), IEEE, p. 130-131, 2014
  • Identification of Flaming and Its Applications in CGM - Case Studies toward Ultimate Prevention., Yuki Iwasaki,Ryohei Orihara,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014, SciTePress, p. 639-644, 2014
  • Surprising Recipe Extraction based on Rarity and Generality of Ingredients., Kyosuke Ikejiri,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014, SciTePress, p. 428-436, 2014
  • Music recommender adapting implicit context using 'renso' relation among Linked Data, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Journal of Information Processing, Information Processing Society of Japan, Vol. 22, No. 2, p. 279-288, 2014
  • Locating a Faulty Interaction in Pair-Wise Testing, Takahiro Nagamoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), IEEE, p. 155-156, 2014
  • Applying parameter value weighting to a practical application, Satoshi Fujimoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), IEEE, p. 130-131, 2014
  • Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation, Hiroyuki Nakagawa,Takumitsu Kudo,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, 2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), IEEE, p. 203-204, 2014
  • Refinement of Ontology-constrained Human Pose Classification, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, 2014 IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), IEEE, p. 60-67, 2014
  • Transformation approach from KAOS goal models to BPMN models using refinement patterns, Hiroki Horita,Kozo Honda,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, p. 1023-1024, 2014
  • Music recommender adapting implicit context using 'renso' relation among Linked Data, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Journal of Information Processing, Information Processing Society of Japan, Vol. 22, No. 2, p. 279-288, 2014
  • Context-Aware Music Recommendation with Serendipity Using Semantic Relations, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, SEMANTIC TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 8388, p. 17-32, 2014
  • 自動掃除ロボットの自己適応化に向けて, 工藤拓光,中川博之,清雄一,田原康之,大須賀昭彦, 2013/12
  • C/S型オンラインゲームの自己適応化に向けたMAPEループ構成パターンの提案, 山縣慧,中川博之,清雄一,田原康之,大須賀昭彦, 2013/12
  • Proposal of Social-Mass Media Triplification and Its Use Case, Takahiro Kawamura,Kenji Koshikawa,Hiroyuki Nakagawa,Yuichi Sei,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2013/12
  • Context-aware Music Recommendation with Serendipity Using Semantic Relations, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. The 3rd Joint International Semantic Technology Conference (JIST2013), Vol. JIST2013, p. 1-16, 2013/11
  • リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換, 堀田大貴,本田耕三,清雄一,中川博之,田原康之,大須賀昭彦, 2013/11
  • テンプレートを用いた法的要求抽出のための支援ツールの実装と評価, 吉田豊,本田耕三,清雄一,中川博之,田原康之,大須賀昭彦, 2013/11
  • Classification of Idol Photograpy Based on Pose Guide Ontology, Kazuhiro Tashiro,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 3rd Joint International Semantic Technology Conference (JIST2013), 2013/11
  • A Report on the 21st IEEE International Requirements Engineering Conference (RE2013), Shinobu Saito,Hiroyuki Nakagawa,Takako Nakatani,Mikio Aoyama, IPSJ SIG Technical Report, 2013/10
  • 要求工学の現状と展望 -ソフトウェア進化と自己適応にむけて-, 中川博之, 2013/09
  • A Context-Based Music Recommendation System Using 'renso' Relation among Linked Data, Mian Wang,Takahiro Kawamura,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, 2013/09
  • CGMにおける炎上の同定とその応用, 岩崎祐貴,折原良平,清雄一,中川博之,田原康之,大須賀昭彦, 2013/09
  • 動的ソフトウェア進化へのエージェント技術の活用, 中川博之,大須賀昭彦,本位田真一, 2013/09
  • 食材に基づいたレシピの意外度算出手法の提案, 池尻恭介,清雄一,中川博之,田原康之,大須賀昭彦, 2013/09
  • 食材の希少性に基づいた意外性のあるレシピの抽出エージェント, 池尻恭介,清雄一,中川博之,田原康之,大須賀昭彦, 2013/09
  • Human Pose Guide Ontology を用いたアイドル画像のポーズ分類エージェント, 田代和浩,川村隆浩,清雄一,中川博之,田原康之,大須賀昭彦, 2013/09
  • A Goal Model Elaboration for Localizing Changes in Software Evolution, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proc. of the 21st IEEE International Requirements Engineering Conference (RE 2013), 2013/07
  • CGMにおける炎上の同定とその応用, 岩崎祐貴,折原良平,清雄一,中川博之,田原康之,大須賀昭彦, 2013/06
  • Linked Dataを用いたソーシャルメディア×マスメディアの比較実験, 田代和浩,王冕,越川兼地,西村悟史,森田武史,長野伸一,清雄一,中川博之,田原康之,川村隆浩,大須賀昭彦, 2013/06
  • テンプレートを用いた法的要求抽出・モデリングの実現に向けて, 吉田豊,中川博之,田原康之,大須賀昭彦, 2013/03
  • GAを用いた適合度関数と相場変化に着目したシステムトレード, 新井佑弥,折原良平,中川博之,清雄一,田原 康之,大須賀 昭彦, 2013/03
  • Improving Recommendation Novelty based on Tag Cluster Diversification, Makoto FUJIWARA,Hiroyuki NAKAGAWA,Yasuyuki TAHARA,Akihiko OHSUGA, IEICE TRANSACTIONS on Information and Systems, 2013/03
  • Towards semi-automatic identification of functional requirements in legal texts for public administration, Yutaka Yoshida,Kozo Honda,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 259, p. 175-184, 2013
  • Towards semi-automatic identification of functional requirements in legal texts for public administration, Yutaka Yoshida,Kozo Honda,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Frontiers in Artificial Intelligence and Applications, Vol. 259, p. 175-184, 2013
  • Designing loss-aware fitness function for ga-based algorithmic trading, Yuya Arai,Ryohei Orihara,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Studies in Computational Intelligence, Springer Verlag, Vol. 489, p. 107-114, 2013
  • Towards solving an obstacle problem by the cooperation of UAVs and UGVs, Shigeo Nakamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 77-82, 2013
  • 非同期通信を行うWeb アプリケーションによる資源競合問題に対するモデル検査による検証, 都丸卓也,本田耕三,中川博之,田原康之,大須賀昭彦, 2013/01
  • ソフトウェア再利用に向けた共通ゴール判別手法の提案, 中村祐貴,本田耕三,中川博之,田原康之,大須賀昭彦, 2013/01
  • ゴール指向要求分析に基づく組込みボードエミュレータ開発効率化手法の考察, ジリエ陽子,本田耕三,中川博之,田原康之,大須賀昭彦, 2012/12
  • ゴールモデルの構造に基づいた共通ゴール判別手法の提案, 中村祐貴,本田耕三,中川博之,田原康之,大須賀昭彦, 2012/12
  • Support for Video Hosting Service Users Using Folksonomy and Social Annotation, Katsunori Ishino,Ryohei Orihara,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IPSJ Journal, 2012/11
  • Estimation and Evaluation of User's Favorite Design based on Fashion Ontology, Taiken Zen,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IPSJ Journal, 2012/11
  • CRFを用いたメディア情報の抽出とLinked Data化 ~ソーシャルメディアとマスメディアの比較事例~, 越川兼地,川村隆浩,中川博之,田原康之,大須賀昭彦, 2012/10
  • Twitter上のフォロー関係を用いた信頼性の高い未知コンテンツの推薦, 折笠裕樹,中川博之,田原康之,大須賀昭彦, 2012/10
  • GAを用いたシステムトレードにおける損失に着目した適合度関数の設定, 新井佑弥,折原良平,中川博之,田原康之,大須賀昭彦, 2012/10
  • UAVとUGVの協調動作による障害物撤去に向けて, 仲村滋夫,中川博之,田原康之,大須賀昭彦, 2012/10
  • A Software Evolution Method Based on Goal-Oriented Requirements Description Forming, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, IPSJ Journal, 2012/10
  • プロダクトラインの要求仕様を統合する要求分析モデルの提案, ジリエ陽子,本田耕三,中川博之,田原康之,大須賀昭彦, 2012/07
  • 特定ユーザの作曲ログデータと付加情報を用いた作曲支援, 金子裕司,中川博之,田原康之,大須賀昭彦, 2012/03
  • タグクラスタ多様化による未知性を考慮した推薦手法の提案, 藤原誠,中川博之,田原康之,大須賀昭彦, 2012/03
  • Support for video hosting service users using folksonomy and social annotation, Katsunori Ishino,Ryohei Orihara,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, p. 472-479, 2012
  • Towards dynamic evolution of self-Adaptive systems based on dynamic updating of control loops, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, International Conference on Self-Adaptive and Self-Organizing Systems, SASO, p. 59-68, 2012
  • Goal-Oriented Robustness Analysis, Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, KNOWLEDGE-BASED SOFTWARE ENGINEERING, IOS PRESS, Vol. 240, p. 171-180, 2012
  • Dynamic reconfiguration in self-adaptive systems considering non-functional properties, Hisayuki Horikoshi,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1144-1150, 2012
  • Goal-oriented approach to creating class diagrams with OCL constraints, Sombat Chanvilai,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1051-1056, 2012
  • A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance, Hiroyuki Nakagawa,Nobukazu Yoshioka,Akihiko Ohsuga,Shinichi Honiden, PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, SPRINGER-VERLAG BERLIN, Vol. 7057, p. 443-+, 2012
  • 作曲特徴を用いた作曲支援システムの実現に向けて, 金子裕司,中川博之,田原康之,大須賀昭彦, 2011/12
  • 服飾オントロジーを用いたECサイトにおけるユーザデザイン嗜好の推定と評価, 全泰賢,川村隆浩,中川博之,田原康之,大須賀昭彦, 2011/12
  • モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察, 吉池弘樹,本田耕三,中川博之,田原康之,大須賀昭彦, 2011/11
  • 非機能特性を考慮した自己適応システムの動的再構成手法の提案, 堀越永幸,中川博之,田原康之,大須賀昭彦, 2011/11
  • Support for Generating UML Class Diagrams and OCL Constraints from KAOS Model, Sombat Chanvilai,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, 2011/11
  • A Recommender Agent Providing Novelty and Serendipity on Social Media SNS, Soichiro Sumimoto,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • Green-Thumb Phone: Development of Plant Recommendation Agent Using Augmented Reality on Mobile Phone, Norihito Mishiro,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • Development of Web Agent to Extract Product Searching Intention according to Interaction Sequence, Takahiro Kawamura,Kora Va,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • System Presenting Primary Opinions Extracted from Blogs about the News Article Being Browsed, Daisuke Sato,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • Reputation Trend Extraction from Microblogging Using Sentiment Analysis and Topic Extraction, Kazuyuki Hashimoto,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • Opinion Extraction Using Supervised Learning for Reputation Analysis System, Toshiyuki Tanaka,The-Minh Nguyen,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, IEICE TRANSACTIONS on Information and Systems, 2011/11
  • フォークソノミーとソーシャルアノテーションを用いた動画シーンへのラベリング, 石野克徳,折原良平,中川博之,田原康之,大須賀昭彦, 2011/10
  • 服飾系ECサイトにおける商品閲覧履歴に基づいたデザイン嗜好の推定と商品検索システムの提案, 全 泰賢,川村 隆浩,中川 博之,田原 康之,大須賀 昭彦, 2011/10
  • 震災時の効率的な避難のための行動推薦エージェントReady for 87%の提案(1)~避難計画オントロジーの設計~, ミヤマエ イワナガ,イサベル シズ,グェン ミン テイ,川村 隆浩,中川 博之,田原 康之,大須賀 昭彦, 2011/10
  • 震災時の効率的な避難のための行動推薦エージェントReady for 87%の提案(2)~時系列避難行動ネットワークの構築~, グェン ミン テイ,越川 兼地,川村 隆浩,中川 博之,田原 康之,大須賀 昭彦, 2011/10
  • 震災時の効率的な避難のための行動推薦エージェントReady for 87%の提案(3)~行動ネットワークを用いた避難行動の推薦~, 伊藤 雅博,グェン ミン テイ,川村 隆浩,中川 博之,田原 康之,大須賀 昭彦, 2011/10
  • Visual-K: A Prototype for a Visualization Tool Modeling Goal-Oriented RE Methodology KAOS, Yoko Girier,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of the 2nd International Conference on Measurement and Control Engineering (ICMCE 2011), 2011/10
  • Visual-K:ゴール指向要求分析手法KAOSのモデリング可視化支援ツールの試作, ジリエ陽子,本田耕三,中川博之,田原康之,大須賀昭彦, 2011/05
  • アーキテクチャ記述言語を用いた自己適応システム設計手法の検討, 堀越永幸,中川博之,田原康之,大須賀昭彦, 2011/05
  • 未知性と意外性を考慮したイラスト推薦システムの提案: 3D表示を用いたイラスト推薦インタフェース, 住元宗一朗,中川博之,田原康之,大須賀昭彦, 2011/03
  • インタラクション・シーケンスに着目したユーザの商品検索 の目的の抽出に関する検討と実装, ワコラ,川村隆浩,中川博之,田原康之,大須賀昭彦, 2011/03
  • スマートフォン向け植物推薦サービスGreen-Thumb Phoneの開発 ~モバイルセンサーと拡張現実を用いた植栽環境との調和性推定~, 三代謙仁,川村隆浩,中川博之,田原康之,大須賀昭彦, 2011/03
  • シーソー型インタフェースを用いた評判比較システムの開発, 田中俊行,グェンミンティ,中川博之,田原康之,大須賀昭彦, 2011/03
  • Building an earthquake evacuation ontology from twitter, Isabel Shizu Miyamae Iwanaga,The-Minh Nguyen,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, p. 306-311, 2011
  • Gocc: A configuration compiler for self-adaptive systems using goal-oriented requirements description, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proceedings - International Conference on Software Engineering, p. 40-49, 2011
  • IMPULSE: A design framework for multi-agent systems based on model transformation, Hiroyuki Nakagawa,Nobukazu Yoshioka,Akihiko Ohsuga,Shinichi Honiden, Proceedings of the ACM Symposium on Applied Computing, p. 1411-1418, 2011
  • Automatic extraction and evaluation of human activity using conditional random fields and self-supervised learning, Nguyen Minh,Kawamura Takahiro,Nakagawa Hiroyuki,Tahara Yasuyuki,Ohsuga Akihiko, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 166-178, 2011
  • Development of ontology building service ONTOMO: Evaluation of ontology recommendation agent using proper noun extraction, Takahiro Kawamura,I. Shin,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 116-126, 2011
  • An architecture with planning for autonomic systems, Kazuhiko Nishimura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 107-115, 2011
  • An implementation framework for self-adaptive systems based on agent behaviors description, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 1-12, 2011
  • ケーススタディ:KAOS/UMLモデリング, 本田耕三,中川博之,田原康之,大須賀昭彦, 2010/11
  • 教師あり学習を用いたレビューサイトからの意見抽出, 田中俊行,グェンミンティ,中川博之,田原康之,大須賀昭彦, 2010/10
  • 閲覧中のニュース記事に対するブログの主張を提示するシステムの提案, 佐藤大輔,中川博之,田原康之,大須賀昭彦, 2010/10
  • マイクロブログを用いた評判傾向抽出法の提案, 橋本和幸,中川博之,田原康之,大須賀昭彦, 2010/10
  • コンテンツ投稿型SNS における未知性と意外性を考慮した推薦エージェントの提案, 住元宗一朗,中川博之,田原康之,大須賀昭彦, 2010/10
  • 携帯端末上での拡張現実を用いた植物推薦エージェントGreen-ThumbPhoneの開発, 三代謙仁,川村隆浩,中川博之,田原康之,大須賀昭彦, 2010/10
  • Towards Effective Use of Requirements Description in Self-adaptive System Development, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proc. of the International Workshop on Modern Science and Technology 2010 (IWMST2010), 2010/09
  • ONTOMO: Web Service for Ontology Building - Evaluation of Ontology Recommendation using Named Entity Extraction, Takahiro Kawamura,I Shin,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proc. of IADIS International Conference WWW/INTERNET 2010 (ICWI 2010), 2010/09
  • Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, IPSJ Journal, 2010/09
  • ニコニコ探検くらぶ:ソーシャルアノテーションとキーワード群に基づく動画要約, 多胡厚津史,中川博之,田原康之,大須賀 昭彦, 2010/03
  • ONTOMO: Web-based ontology building system - Instance recommendation using bootstrapping, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, ACM, p. 1442-1443, 2010
  • Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT I, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 5990, p. 140-149, 2010
  • Automatic mining of human activity attributes from weblogs, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010, p. 633-638, 2010
  • NicoScene: Video Scene Search by Keywords Based on Social Annotation, Yasuyuki Tahara,Atsushi Tago,Hiroyuki Nakagawa,Akihiko Ohsuga, ACTIVE MEDIA TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 6335, p. 461-474, 2010
  • Self-supervised Mining of Human Activity from CGM, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, KNOWLEDGE MANAGEMENT AND ACQUISITION FOR SMART SYSTEMS AND SERVICES, SPRINGER-VERLAG BERLIN, Vol. 6232, p. 61-72, 2010
  • AUTOMATIC MINING OF HUMAN ACTIVITY AND ITS RELATIONSHIPS FROM CGM, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, SCITEPRESS, p. 285-292, 2010
  • Cooperative Behaviors Description for Self-* Systems Implementation, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, SPRINGER-VERLAG BERLIN, Vol. 70, p. 69-+, 2010
  • ONTOMO: Web-based ontology building system - Instance recommendation using bootstrapping, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1442-1443, 2010
  • Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT I, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 5990, p. 140-149, 2010
  • Webからの自己教師あり学習を用いた人間行動マイニング, グェン・ミン・ティ,川村隆浩,中川博之,田原康之,大須賀昭彦, 2010/01
  • モデル検査によるAjax アプリケーション検証, 玉田和洋,中川博之,田原康之,大須賀昭彦, 2010/01
  • モデル検査によるAjaxアプリケーション検証のためのモデルの提案, 玉田和洋,中川博之,中山健,田原康之,大須賀昭彦, 2009/11
  • サービス合成時におけるプライバシ保護手法, 浜本一知,中川博之,中山健,田原康之,大須賀昭彦, 2009/10
  • オントロジー構築サービスONTOMOの開発 -固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価-, 沈偉,川村隆浩,中川博之,中山健,田原康之,大須賀昭彦, 2009/10
  • 条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価, Minh Nguyen The,川村隆浩,中川博之,中山健,田原康之,大須賀昭彦, 2009/10
  • ニコシーン: ソーシャルアノテーションとキーワード群に基づく動画シーン検索, 多胡厚津史,中川博之,中山健,田原康之,大須賀昭彦, 2009/10
  • 自律システム実現に向けたアーキテクチャの構築, 西村一彦,中川博之,中山健,田原康之,大須賀昭彦, 2009/10
  • 自己適応型セキュリティアーキテクチャの提案, 田原康之,中川博之,中山健,大須賀昭彦, 2009/10
  • Constructing Self-adaptive Systems Using Goal-Oriented Requirements Analysis, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Information Processing Society of Japan, 2009/10
  • オントロジー構築サービスONTOMOの開発 -インスタンス自動推薦の試作と評価-, 沈偉,川村隆浩,中川博之,中山健,田原康之,大須賀昭彦, 2009/05
  • ONTOMO: Development of Ontology Building Service Evaluation of Instance Recommendation Using Proper Noun Extraction, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, PRINCIPLES OF PRACTICE IN MULTI-AGENT SYSTEMS, SPRINGER-VERLAG BERLIN, Vol. 5925, p. 143-+, 2009
  • ONTOMO: Development of Ontology Building Service Evaluation of Instance Recommendation Using Proper Noun Extraction, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, PRINCIPLES OF PRACTICE IN MULTI-AGENT SYSTEMS, SPRINGER-VERLAG BERLIN, Vol. 5925, p. 143-+, 2009
  • A context sharing message broker architecture to enhance interoperability in changeable environments, Junichi Yamamoto,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services, and Technologies, UBICOMM 2009, p. 31-39, 2009
  • KAOSモデルを利用したself-adaptive システムの構築, 中川博之,大須賀昭彦,本位田真一, 2008/11
  • A Survey of Application Development in Ubiquitous Computing, Kenji Tei,Hiroyuki Nakagawa,Yojiro Kawamata,Nobukazu Yoshioka,Yoshiaki Fukazawa,Shinichi Honiden, JSSST Journal Compupter Software, 2008/11
  • オントロジー構築サービスONTOMOの開発, 沈偉,川村隆浩,中川博之,中山健,田原康之,大須賀昭彦, 2008/10
  • コンポーネントモデルを用いたJADE ビヘイビア実装手法の提案, 中川博之,大須賀昭彦,本位田真一, 2008/10
  • 階層プランニングによるWebサービスの自動合成, 西村一彦,中川博之,中山健,田原康之,大須賀昭彦, 2008/09
  • Constructing Formal Specifications from Requirements Specifications Based on Model Transformation, Hiroyuki Nakagawa,Kenji Taguchi,Shinichi Honiden, Transactions of Information Processing Society of Japan, 2008/07
  • Achievement of Carrying Objects by Small-Sized Humanoid Robot., Hiroyuki Nakagawa,Ryohei Nakatsu, Entertainment Computing - ICEC 2008, 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings, Springer, p. 106-115, 2008
  • Constructing Self-adaptive Systems Using a KAOS Model, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS, IEEE COMPUTER SOC, p. 132-+, 2008
  • 保守性に着目したリファクタリング方針の評価メトリクス, 川俣洋次郎,中川博之,本位田真一, 2007/11
  • モデル変換に基づく要求記述を利用した形式仕様記述の構築, 中川博之,吉岡信和,田口研治,本位田真一, 2007/11
  • ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向, 鄭顕志,中川博之,川俣洋次郎,吉岡信和,深澤良彰,本位田真一, 2007/10
  • Verification of Analysis Model for Multi-Agent Systems Based on Importance of Requirements, Hiroyuki Nakagawa,Nobukazu Yoshioka,Shinichi Honiden, IEICE TRANSACTIONS on Information and Systems, 2007/09
  • IMPULSE: Analysis of Multi-Agent Systems based on KAOS Modeling, Hiroyuki Nakagawa,Nobukazu Yoshioka,Shinichi Honiden, Transactions of Information Processing Society of Japan, 2007/08
  • Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models, Hiroyuki Nakagawa,Kenji Taguchi,Shinichi Honiden, ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering, ACM, p. 531-532, 2007
  • Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models, Hiroyuki Nakagawa,Kenji Taguchi,Shinichi Honiden, ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering, p. 531-532, 2007
  • 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告, 鷲崎弘宜,久保淳人,下滝亜里,中川博之,林晋平,丸山勝久,本位田真一, 2006/11
  • KAOSを利用したマルチエージェントシステムの分析モデル構築, 中川博之,本位田真一, 2006/11
  • 要求の重要度を用いたロール・組織構造の同定, 中川博之,本位田真一, 2006/10
  • 第28回ソフトウェア工学国際会議(ICSE2006)参加報告, 鷲崎弘宜,青山幹雄,中川博之,角田雅照,吉村健太郎, 2006/07
  • Analysis of Multi-Agent Systems based on KAOS Modeling, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proc. of the 28th International Conference on Software Engineering (ICSE2006), 2006/05
  • KAOSを用いたマルチエージェントシステムの分析支援, 中川博之,苅部卓哉,本位田真一, 2005/11
  • A Goal Model Elaboration for Localizing Changes in Software Evolution, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, 21st IEEE International Requirements Engineering Conference (RE'13), 2003/07

Misc.

  • ニューノーマルな研究会に向けた実証評価報告, 菊地伸治,中川博之,木村功作,小形真平,中村匡秀,山登庸次,細野繁,村上陽平, 電子情報通信学会 情報・システムソサイエティ誌, Vol. 25, No. 4, p. 19-23, 2021/02
  • 実時間制約を遵守する適応型ソフトウェアの実装フレームワークに関する研究, 中川博之, 旭硝子財団助成研究成果報告, p. 1-9, 2019/07
  • 日本ソフトウェア科学会第35回大会報告, 森畑明昌,井上克郎,楠本真二,中川博之,伊藤恵,長谷部浩二,稲葉一浩, 日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』, Vol. 36, No. 2, p. 2-15, 2019/05
  • 実世界指向自己適応フレームワークにおける動的検証メカニズムに関する調査研究(継続), 中川博之, 公益財団法人電気通信普及財団 第33号2018年度 情報通信に関する技術分野における研究調査, No. 33, p. 1-11, 2018/07
  • 知能ソフトウェア工学の深化(真価), 中川博之, 電子情報通信学会誌, Vol. 100, No. 10, p. 1085-1085, 2017/10
  • 実世界指向自己適応フレームワークにおける動的検証メカニズムに関する調査研究, 中川博之, 公益財団法人電気通信普及財団 第32号2017年度 情報通信に関する技術分野における研究調査, No. 32, p. 1-11, 2017/07
  • 文書中の単語出現頻度を利用したトピックモデル洗練化, 高橋仁,中川博之,土屋達弘, 情報処理学会研究報告(Web), Vol. 2017, No. SE-195, 2017/03/05
  • 抽出ルールに基づいた要求記述からのゴールモデルの構築支援, 島田裕紀,中川博之,小島英春,土屋達弘, 情報処理学会研究報告(Web), Vol. 2017, No. SE-195, 2017/03/05
  • Improvement of Efficient Runtime Model Checking for Self-adaptive Systems Using Cashe, 外山大夢,中川博之,小島英春,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 493(KBSE2016 39-51), 2017/02/24
  • An Efficient Configuration Switching Method Based on System Environmental Monitoring, 妙見侑祐,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 493(KBSE2016 39-51), 2017/02/24
  • An Empirical Study on Topic Model Refinement Based on Stop Word Extraction, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 284(KBSE2016 24-30), 2016/10/27
  • 時間制約を考慮可能な動的検証機能を備えた自己適応システム実装フレームワーク, 津田宏軌,中川博之,土屋達弘, 情報科学技術フォーラム講演論文集, Vol. 15th, 2016/08/23
  • An Empirical Study on Test Case Clustering Based on Topic Modeling, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 67(KBSE2016 1-6), 2016/05/19
  • 大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法, 小川賢人,中川博之,土屋達弘, 情報処理学会研究報告(Web), Vol. 2016, No. SE-191, 2016/03/07
  • ゴール指向洗練パターン駆動によるユースケースモデリング, 本田耕三,平山秀昭,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D(Web), Vol. J99-D, No. 3, 2016/03/01
  • An Empirical Study on Requirements Topic Elaboration Based on Temporal Changes of Top Words, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 115, No. 231(KBSE2015 28-34), p. 27-31, 2015/09/17
  • 意外性のあるレシピを推薦するエージェントの提案, 池尻恭介,清雄一,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D(Web), Vol. J98-D, No. 6, 2015/06/01
  • A Preliminary Programing Framework for Self-Adaptive Systems on Real-World Hardware, 津田宏軌,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 115, No. 54(KBSE2015 1-8), p. 33-38, 2015/05/18
  • 組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価, 坂野宏樹,中川博之,小島英春,土屋達弘, 電子情報通信学会論文誌 D(Web), Vol. J98-D, No. 3, 2015/03/01
  • Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems, 小川賢人,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 114, No. 501(KBSE2014 52-64), p. 65-70, 2015/02/26
  • ミニブログを利用した避難行動推薦(2)―自己適応システム技術の適用―, 田原康之,大須賀昭彦,川村隆浩,清雄一,中川博之,吉岡信和,松本一教,一色正男, 電子情報通信学会大会講演論文集(CD-ROM), Vol. 2015, 2015/02/24
  • ミニブログを利用した避難行動推薦(3)―プライバシ保護データマイニングの適用―, 清雄一,大須賀昭彦,田原康之,川村隆浩,中川博之,吉岡信和,松本一教,一色正男, 電子情報通信学会大会講演論文集(CD-ROM), Vol. 2015, 2015/02/24
  • ミニブログを利用した避難行動推薦(1)―システム概要―, 大須賀昭彦,田原康之,川村隆浩,清雄一,中川博之,吉岡信和,松本一教,一色正男, 電子情報通信学会大会講演論文集(CD-ROM), Vol. 2015, 2015/02/24
  • An Empirical Study on Requirements Elicitation from Feedback Comments Using LDA, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 114, No. 420(KBSE2014 39-51), p. 1-6, 2015/01/19
  • ソフトウェア進化と自己適応ソフトウェア, 中川博之, 生産と技術, Vol. 67, No. 1, p. 73-76, 2015/01/10
  • Analysis of flaming and its applications in CGM, Yuki Iwasaki,Ryohei Orihara,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Japanese Society for Artificial Intelligence, Vol. 30, No. 1, p. 152-160, 2015/01/06
  • Transformation of KAOS Goal Models to BPMN Models Using Refinement Patterns, 堀田大貴,本田耕三,平山秀昭,清雄一,中川博之,田原康之,大須賀昭彦, コンピュータソフトウェア, Vol. 32, No. 4, 2015
  • Innovation in and through Requirements Engineering - A Report on the 22<sup>st</sup> IEEE International Requirements Engineering Conference (RE2014) -, Shinobu Saito,Masahiro Ide,Shinpei Ogata,Hiroyuki Nakagawa,Mari Inoki,Takao Okubo,Mikio Aoyama, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2014, No. 9, p. 1-8, 2014/11/06
  • Application of Answer Set Programming to Various Forms of the Task Scheduling Problem, 小林弘幸,中川博之,小島英春,土屋達弘, 電子情報通信学会技術研究報告, Vol. 114, No. 127(SS2014 9-24), p. 25-30, 2014/07/02
  • A Requirements Analysis Method for potential customers with Morphological Analysis, GIRIER Yoko,本田耕三,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(Web), Vol. 2014, No. SE-183, 2014/03/12
  • Surprising Ingredient Extraction based on Rarity and Generality, 池尻恭介,清雄一,中川博之,田原康之,大須賀昭彦, コンピュータソフトウェア, Vol. 31, No. 3, 2014
  • Pose Estimation of Still Images using Human Pose Guide Ontology, 田代和浩,川村隆浩,清雄一,中川博之,田原康之,大須賀昭彦, コンピュータソフトウェア, Vol. 31, No. 3, 2014
  • Common Goal Identification for Software Reuse, 中村祐貴,本田耕三,中川博之,田原康之,大須賀昭彦, コンピュータソフトウェア, Vol. 31, No. 2, 2014
  • メディア情報のLinked Data化と活用事例の提案, 川村隆浩,越川兼地,中川博之,清雄一,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J96-D, No. 12, p. 2987-2999, 2013/12/01
  • C/S型オンラインゲームの自己適応化に向けたMAPEループ構成パターンの提案, 山縣慧,中川博之,清雄一,田原康之,大須賀昭彦, 情報処理学会シンポジウムシリーズ(CD-ROM), Vol. 2013, No. 6, 2013/11/27
  • Toward Self-Adaptation of the Automatic Cleaning Robot, 工藤拓光,中川博之,清雄一,田原康之,大須賀昭彦, 情報処理学会研究報告(Web), Vol. 2013, No. EMB-31, 2013/11/26
  • A Report on the 21st IEEE International Requirements Engineering Conference (RE2013), SAITO SHINOBU,NAKAGAWA HIROYUKI,NAKATANI TAKAKO,AOYAMA MIKIO, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 269, p. 123-130, 2013/10/24
  • A Report on the 21st IEEE International Requirements Engineering Conference (RE2013), 斎藤忍,中川博之,中谷多哉子,青山幹雄, 電子情報通信学会技術研究報告, Vol. 113, No. 269(SS2013 36-47), p. 123-130, 2013/10/17
  • A Report on the 21<sup>st</sup> IEEE International Requirements Engineering Conference (RE2013), Shinobu Saito,Hiroyuki Nakagawa,Takako Nakatani,Mikio Aoyama, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2013, No. 19, p. 1-8, 2013/10/17
  • A Proposal of Calculation Method of Surprising Value of Recipe Based on Ingredient, 池尻恭介,清雄一,中川博之,田原康之,大須賀昭彦, 電子情報通信学会技術研究報告, Vol. 113, No. 214(DE2013 33-48), p. 1-6, 2013/09/05
  • Towards Legal Requirements Elicitation and Modeling using Templates, 吉田豊,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2012, No. 6, 2013/04/15
  • Towards Legal Requirements Elicitation and Modeling using Templates, 吉田 豊,中川 博之,田原 康之,大須賀 昭彦, 研究報告ソフトウェア工学(SE), Vol. 2013-SE-179, No. 27, p. 1-8, 2013/03/04
  • タグクラスタ多様化による未知性を考慮した推薦手法の提案, 藤原誠,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J96-D, No. 3, p. 531-542, 2013/03/01
  • Considerations on an Embedded Board Emulator Development Efficiency Method Based on Goal-oriented Requirements Analysis, GIRIER Yoko,本田耕三,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2012, No. 5, 2013/02/15
  • Verification by model checking for resource contention issues by the Web applications with asynchronous communication, 都丸卓也,本田耕三,中川博之,田原康之,大須賀昭彦, 電子情報通信学会技術研究報告, Vol. 112, No. 419(KBSE2012 58-68), p. 53-58, 2013/01/21
  • CGMにおける炎上の同定とその応用, 岩崎祐貴,折原良平,清雄一,中川博之,田原康之,大須賀昭彦, 人工知能学会全国大会論文集(CD-ROM), Vol. 27th, 2013
  • Linked Dataを用いたソーシャルメディア×マスメディアの比較実験, 田代和浩,王冕,越川兼地,西村悟史,森田武史,長野伸一,清雄一,中川博之,田原康之,川村隆浩,大須賀昭彦, 人工知能学会全国大会論文集(CD-ROM), Vol. 27th, 2013
  • Towards solving an obstacle problem by the cooperation of UAVs and UGVs, Shigeo Nakamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 77-82, 2013
  • Designing loss-aware fitness function for ga-based algorithmic trading, Yuya Arai,Ryohei Orihara,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Studies in Computational Intelligence, Springer Verlag, Vol. 489, p. 107-114, 2013
  • A goal model elaboration for localizing changes in software evolution, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings, IEEE Computer Society, p. 155-164, 2013
  • Towards solving an obstacle problem by the cooperation of UAVs and UGVs, Shigeo Nakamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 77-82, 2013
  • A goal model elaboration for localizing changes in software evolution, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings, IEEE Computer Society, p. 155-164, 2013
  • Support for Video Hosting Service Users Using Folksonomy and Social Annotation, 石野克徳,折原良平,中川博之,田原康之,大須賀昭彦, 情報処理学会論文誌ジャーナル(CD-ROM), Vol. 53, No. 11, p. 2494-2506, 2012/11/15
  • A Software Evolution Method Based on Goal-oriented Requirements Description Forming, 中川博之,大須賀昭彦,本位田真一, 情報処理学会論文誌ジャーナル(CD-ROM), Vol. 53, No. 10, p. 2328-2344, 2012/10/15
  • A Software Evolution Method Based on Goal-oriented Requirements Description Forming, 中川 博之,大須賀 昭彦,本位田真一, 情報処理学会論文誌, 情報処理学会, Vol. 53, No. 10, p. 2328-2344, 2012/10/15
  • Requirements Analysis Models to Integrate Requirements Specifications for Software Product Lines, GIRIER Yoko,本田耕三,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2012, No. 2, 2012/08/15
  • Improving Recommendation Novelty based on Tag Cluster Diversification, 藤原誠,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2011, No. 6, 2012/04/15
  • 特定ユーザの作曲ログデータと付加情報を用いた作曲支援, 金子裕司,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2012, No. 3 (CD-ROM), 2012/03/08
  • Goal-oriented approach to creating class diagrams with OCL constraints, Sombat Chanvilai,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1051-1056, 2012
  • Dynamic reconfiguration in self-adaptive systems considering non-functional properties, Hisayuki Horikoshi,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1144-1150, 2012
  • Goal-Oriented Robustness Analysis, Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, KNOWLEDGE-BASED SOFTWARE ENGINEERING, IOS PRESS, Vol. 240, p. 171-180, 2012
  • Support for video hosting service users using folksonomy and social annotation, Katsunori Ishino,Ryohei Orihara,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, p. 472-479, 2012
  • Goal-oriented approach to creating class diagrams with OCL constraints, Sombat Chanvilai,Kozo Honda,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1051-1056, 2012
  • Dynamic reconfiguration in self-adaptive systems considering non-functional properties, Hisayuki Horikoshi,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings of the ACM Symposium on Applied Computing, p. 1144-1150, 2012
  • 携帯端末上での拡張現実を用いた植物推薦エージェントGreen‐Thumb Phoneの開発, 三代謙仁,川村隆浩,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1791-1799, 2011/11/01
  • 閲覧中のニュース記事に対するブログ記事から主張を抽出して提示するシステムの提案, 佐藤大輔,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1773-1782, 2011/11/01
  • 評判分析システムのための教師あり学習を用いた意見抽出, 田中俊行,NGUYEN The‐Minh,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1751-1761, 2011/11/01
  • センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出, 橋本和幸,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1762-1772, 2011/11/01
  • インタラクションシーケンスに着目した商品検索目的抽出エージェントの開発, 川村隆浩,VA Kora,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1783-1790, 2011/11/01
  • コンテンツ投稿型SNSにおける未知性と意外性を考慮した推薦エージェントの提案, 住元宗一朗,中川博之,田原康之,大須賀昭彦, 電子情報通信学会論文誌 D, Vol. J94-D, No. 11, p. 1800-1811, 2011/11/01
  • Design Technique for Self-adaptive Systems Using Architecture Description Language, 堀越永幸,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2011, No. 1, 2011/06/15
  • Visual-K: a prototype for a visualization tool modeling goal-oriented RE methodology KAOS, ジリエ陽子,本田耕三,中川博之,田原康之,大須賀昭彦, 情報処理学会研究報告(CD-ROM), Vol. 2010, No. 6, 2011/04/15
  • シーソー型インタフェースを用いた評判比較システムの開発, 田中俊行,NGUYEN The‐Minh,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2011, No. 3, p. 479-482, 2011/03/03
  • スマートフォン向け植物推薦サービスGreen‐Thumb Phoneの開発~モバイルセンサーと拡張現実を用いた植栽環境との調和性推定~, 三代謙仁,川村隆浩,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2011, No. 3, p. 449-452, 2011/03/03
  • 未知性と意外性を考慮したイラスト推薦システムの提案:3D表示を用いたイラスト推薦インターフェース, 住元宗一朗,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2011, No. 3, p. 519-522, 2011/03/03
  • インタラクション・シーケンスに着目したユーザの商品検索の目的の抽出に関する検討と実装, VA Kora,川村隆浩,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2011, No. 3, p. 577-580, 2011/03/03
  • Building an earthquake evacuation ontology from twitter, Isabel Shizu Miyamae Iwanaga,The-Minh Nguyen,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, p. 306-311, 2011
  • An implementation framework for self-adaptive systems based on agent behaviors description, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 1-12, 2011
  • Automatic extraction and evaluation of human activity using conditional random fields and self-supervised learning, Nguyen Minh,Kawamura Takahiro,Nakagawa Hiroyuki,Tahara Yasuyuki,Ohsuga Akihiko, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 166-178, 2011
  • Development of ontology building service ONTOMO: Evaluation of ontology recommendation agent using proper noun extraction, Takahiro Kawamura,I. Shin,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 116-126, 2011
  • An architecture with planning for autonomic systems, Kazuhiko Nishimura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Transactions of the Japanese Society for Artificial Intelligence, Vol. 26, No. 1, p. 107-115, 2011
  • Building an earthquake evacuation ontology from twitter, Isabel Shizu Miyamae Iwanaga,The-Minh Nguyen,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, p. 306-311, 2011
  • Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes, 中川博之,大須賀昭彦,本位田真一, 情報処理学会論文誌ジャーナル(CD-ROM), Vol. 51, No. 9, p. 1751-1764, 2010/09/15
  • Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes, 中川 博之,大須賀 昭彦,本位田真一, 情報処理学会論文誌, Vol. 51, No. 9, p. 1751-1764, 2010/09/15
  • ニコニコ探検くらぶ:ソーシャルアノテーションとキーワード群に基づく動画要約, 多胡厚津史,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2010, No. 4, p. 47-50, 2010/02/22
  • モデル検査によるAjaxアプリケーション検証, 玉田和洋,中川博之,田原康之,大須賀昭彦, 情報処理学会シンポジウム論文集, Vol. 2010, No. 3, p. 139-140, 2010/01/21
  • Self-Supervised Mining Human Activity from the Web, MINH THE Nguyen,川村隆浩,中川博之,田原康之,大須賀昭彦, 電子情報通信学会技術研究報告, Vol. 109, No. 386(AI2009 19-29), p. 19-24, 2010/01/15
  • CGMからの自己教師あり学習と条件付確率場を用いた人間行動マイニング, THE Nguyen Minh,川村隆浩,中川博之,田原康之,大須賀昭彦, 人工知能学会全国大会論文集(CD-ROM), Vol. 24th, 2010
  • Human activity mining using conditional radom fields and self-supervised learning, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5990, No. 1, p. 140-149, 2010
  • NicoScene: Video Scene Search by Keywords Based on Social Annotation, Yasuyuki Tahara,Atsushi Tago,Hiroyuki Nakagawa,Akihiko Ohsuga, ACTIVE MEDIA TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 6335, p. 461-474, 2010
  • Self-supervised mining of human activity from CGM, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6232, p. 61-72, 2010
  • Human activity mining using conditional radom fields and self-supervised learning, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5990, No. 1, p. 140-149, 2010
  • Automatic mining of human activity attributes from weblogs, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010, p. 633-638, 2010
  • NicoScene: Video scene search by keywords based on social annotation, Yasuyuki Tahara,Atsushi Tago,Hiroyuki Nakagawa,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6335, p. 461-474, 2010
  • Self-supervised mining of human activity from CGM, Nguyen Minh The,Takahiro Kawamura,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6232, p. 61-72, 2010
  • Constructing Self-adaptive Systems Using Goal-oriented Requirements Analysis, 中川博之,大須賀昭彦,本位田真一, 情報処理学会論文誌ジャーナル(CD-ROM), Vol. 50, No. 10, p. 2500-2513, 2009/10/15
  • Constructing Self-adaptive Systems Using Goal-oriented Requirements Analysis, 中川 博之,大須賀 昭彦,本位田真一, 情報処理学会論文誌, Vol. 50, No. 10, p. 2500-2513, 2009/10/15
  • Development of Ontology Building Service ONTOMO Evaluation of instance recommendation prototype, SHIN I,川村隆浩,中川博之,中山健,田原康之,大須賀昭彦, 電子情報通信学会技術研究報告, Vol. 108, No. 382(AI2008 41-44), p. 13-19, 2009/01/09
  • A context sharing message broker architecture to enhance interoperability in changeable environments, Junichi Yamamoto,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services, and Technologies, UBICOMM 2009, p. 31-39, 2009
  • ONTOMO: Development of Ontology Building Service Evaluation of Instance Recommendation Using Proper Noun Extraction, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, PRINCIPLES OF PRACTICE IN MULTI-AGENT SYSTEMS, SPRINGER-VERLAG BERLIN, Vol. 5925, p. 143-+, 2009
  • A context sharing message broker architecture to enhance interoperability in changeable environments, Junichi Yamamoto,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services, and Technologies, UBICOMM 2009, p. 31-39, 2009
  • ONTOMO: Development of ontology building service evaluation of instance recommendation using proper noun extraction, I. Shin,Takahiro Kawamura,Hiroyuki Nakagawa,Ken Nakayama,Yasuyuki Tahara,Akihiko Ohsuga, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5925, p. 143-158, 2009
  • Constructing Formal Specifications from Requirements Specifications Based on Model Transformation, 中川博之,田口研治,本位田真一, 情報処理学会論文誌ジャーナル(CD-ROM), Vol. 49, No. 7, p. 2304-2318, 2008/07/15
  • Constructing Formal Specifications from Requirements Specifications Based on Model Transformation, 中川 博之,田口 研治,本位田真一, Transactions of Information Processing Society of Japan, 情報処理学会, Vol. 49, No. 7, p. 2304-2318, 2008/07/15
  • Constructing self-adaptive systems using a KAOS model, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008, p. 132-137, 2008
  • Constructing self-adaptive systems using a KAOS model, Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008, p. 132-137, 2008
  • 要求の重要度を用いたマルチエージェントシステムの分析モデル検証, 中川博之,吉岡信和,本位田真一, 電子情報通信学会論文誌 D, Vol. J90-D, No. 9, p. 2281-2292, 2007/09/01
  • Verification of Analysis Model for Multi-Agent Systems Based on Importance of Requirements, NAKAGAWA Hiroyuki,YOSHIOKA Nobukazu,HONIDEN Shinichi, The IEICE transactions on information and systems, 一般社団法人電子情報通信学会, Vol. J90-D, No. 9, p. 2281-2292, 2007/09/01
  • IMPULSE: Analysis of Multi-agent Systems Based on KAOS Modeling, 中川博之,吉岡信和,本位田真一, 情報処理学会論文誌, Vol. 48, No. 8, p. 2551-2565, 2007/08/15
  • IMPULSE: Analysis of Multi-agent Systems Based on KAOS Modeling, NAKAGAWA HIROYUKI,YOSHIOKA NOBUKAZU,HONIDEN SHINICHI, IPSJ journal, 一般社団法人情報処理学会, Vol. 48, No. 8, p. 2551-2565, 2007/08/15
  • Report on the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006), 鷲崎弘宜,久保淳人,下滝亜里,中川博之,林晋平,丸山勝久,本位田真一, 情報処理学会研究報告, Vol. 2006, No. 125(SE-154), p. 81-88, 2006/11/27
  • Report on the 21st IEEE / ACM International Conference on Automated Software Engineering (ASE2006), WASHIZAKI Hironori,KUBO Atsuto,SHIMOTAKI Asato,NAKAGAWA Hiroyuki,HAYASHI Shinpei,MARUYAMA Katsuhisa,HONIDEN Shinichi, IPSJ SIG Notes, 一般社団法人情報処理学会, Vol. 2006, No. 125, p. 81-88, 2006/11/27
  • Report on the 28th International Conference on Software Engineering (ICSE2006), 鷲崎弘宜,青山幹雄,中川博之,角田雅照,吉村健太郎, 情報処理学会研究報告, Vol. 2006, No. 75(SE-153), p. 55-62, 2006/07/10
  • Report on the 28th International Conference on Software Engineering (ICSE2006), WASHIZAKI Hironori,AOYAMA Mikio,NAKAGAWA Hiroyuki,TSUNODA Masateru,YOSHIMURA Kentaro, Information Processing Society of Japan, 一般社団法人情報処理学会, Vol. 2006, No. 75, p. 55-62, 2006/07/10
  • 空間と搬送経路を考慮したレイアウト設計支援システム, 中川博之,寺師元裕,佐々木孝行,上田尊史,高橋輝男, IMS研究成果講演論文集, Vol. 2000, p. 57-60, 2000/07/11
  • Efficiency of Packing Pattern Creation with Genetic Programming by introduced Module Acquisition., 中川博之,渡辺克彦, 人工知能学会全国大会論文集, Vol. 12th, p. 209-210, 1998/06
  • Acquiring the Incomplete Knowledge with Inductive Logic Programming., 大原剛三,中川博之,北橋忠宏, 人工知能学会全国大会論文集, Vol. 11th, p. 159-162, 1997/06

Publications

  • The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020), Maria Virvou,Hiroyuki Nakagawa,Lakhmi C. Jain, Springer, 2020/08
  • Intelligent Software Design and Development Based on Multi-Agent Technology, Akihiko Ohsuga,Yasuyuki Tahara,Hiroyuki Nakagawa,Takahiro Kawamura, Corona Publishing Co., Ltd., ISBN:9784339028188, 2017/07

Awards

  • 学生論文特集秀逸論文, 中川博之, 電子情報通信学会論文誌, 2016/03
  • Best Poster & Demo Award, Nakagawa Hiroyuki, The 3rd Joint International Semantic Technology Conference (JIST2013), 2013/11
  • 研究会推薦博士論文, 中川 博之, 情報処理学会, 2013/05
  • 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)学生奨励賞, 2010
  • 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)ベストポスター賞, 2010
  • 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)学生奨励賞, 2010
  • 第8回 合同エージェントワークショップ&シンポジウム2009(JAWS2009)優秀論文賞, 2009

Presentations

  • モデル検査の基礎と自己適応システムへの応用-[第2部]自己適応システムとモデル検査の応用, 中川博之, IT連携フォーラムOACIS 第64回技術座談会, 2021/02/19
  • (Journal presentation) Expression caching for runtime verification based on parameterized probabilistic models, Hiroyuki Nakagawa,HiromuToyama,Tatsuhiro Tsuchiya, The 41st IEEE Real-Time Systems Symposium (RTSS 2020), 2020/12/03
  • 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ, 中川博之,外山大夢,土屋達弘, 情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2020), 2020/09/11
  • 自己適応システムはなぜ動くのか:自己適応化技術とその応用, 中川博之, 大阪大学情報科学研究科2019年度第5回ランチセミナー, 2020/01/23
  • 自ら考え適応するソフトウェアの実現に向けて, 中川博之, 大阪大学基礎工学部 第38回公開講座「未来を拓く先端科学技術」, 2016/08/04
  • 自己適応システムはなぜ動くのか, 中川博之, 電子情報技術産業協会 (JEITA) ソフトウェアエンジニアリング技術ワークショップ2015 ~ソフトウェアエンジニアリング 基盤と革新/理論と実践~, 2015/12/17
  • ソフトウェア工学の最新動向 -要求駆動型開発のすすめ-, 中川博之, 株式会社 カジマアイシーティ 招待講演, 2015/09/04
  • 要求工学の最新動向, 中川博之, IT連携フォーラムOACIS 第47回技術座談会, 2015/01/20
  • 自己適応システムの研究動向, 中川博之, 平成26年度 SSR(産学戦略的研究フォーラム):大規模複雑な自己適応システムの適応進化制御手法に関する調査研究, 2014/07/18
  • 要求工学の現状と展望 -ソフトウェア進化と自己適応にむけて-, 中川博之, 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE), 2013/09/13

Social Activities

  • スマートエスイー : スマートシステム&サービス技術の産学連携イノベーティブ人材育成 第3期, 文部科学省 平成29年度「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」 enPiT-Pro, 2020/07 - 2020/10
  • スマートエスイー : スマートシステム&サービス技術の産学連携イノベーティブ人材育成 第2期, 文部科学省 平成29年度「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」 enPiT-Pro, 2019/07 - 2019/10
  • スマートエスイー : スマートシステム&サービス技術の産学連携イノベーティブ人材育成 第1期, 文部科学省 平成29年度「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」 enPiT-Pro, 2018/07 - 2018/10

Committee Memberships

  • The 24th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2021), Local Arrangements Chairs, 2021/01 - Present
  • IEICE Transactions on Information and Systems: Special Section on Knowledge-Based Software Engineering, Guest Editor-in-Chief, 2020/10 - Present
  • IEICE SIG-KBSE, Chairman, 2020/05 - Present
  • The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020), General Chair, 2019/08 - Present
  • 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D), 幹事, 2018/04 - Present
  • 情報処理学会 ソフトウェア工学研究会 (SIGSE), 運営委員, 2017/04 - Present
  • The 36th ACM/SIGAPP Symposium On Applied Computing (SAC2021), Technical Program committee member, 2020/09 - 2021/03
  • The 27th Asia-Pacific Software Engineering Conference (APSEC2020), Program committee member, 2020/01 - 2020/12
  • 第27回 ソフトウェア工学の基礎 ワークショップ(FOSE2020), プログラム委員, 2020/04 - 2020/11
  • The 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020), Program committee member, 2019/10 - 2020/11
  • ソフトウェアエンジニアリングシンポジウム(SES2020), 出版委員長, 2020/04 - 2020/09
  • ソフトウェアエンジニアリングシンポジウム(SES2020), プログラム委員, 2020/04 - 2020/09
  • The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020), Program chair, 2019/08 - 2020/08
  • The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE2020), Program committee member, 2019/12 - 2020/07
  • IEICE Transactions on Information and Systems: Special Section on Knowledge-Based Software Engineering, Guest Editor, 2018/11 - 2020/05
  • IEICE SIG-KBSE, Vice Chairman, 2018/05 - 2020/05
  • 電子情報通信学会2020年総合大会, プログラム編成委員, 2019/10 - 2020/03
  • The 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020), Technical Program committee member, 2019/09 - 2020/03
  • The 26th Asia-Pacific Software Engineering Conference (APSEC2019), Program committee member, 2019/07 - 2019/12
  • 第26回 ソフトウェア工学の基礎 ワークショップ(FOSE2019), プログラム委員, 2019/04 - 2019/11
  • ソフトウェアエンジニアリングシンポジウム(SES2019), プログラム委員, 2019/04 - 2019/09
  • The 31st International Conference on Software Engineering & Knowledge Engineering (SEKE2019), Program committee member, 2018/12 - 2019/07
  • 電子情報通信学会 英文論文誌D編集委員会, 英文論文誌編集委員, 2015/06 - 2019/05
  • The 25th Asia-Pacific Software Engineering Conference (APSEC2018), Program committee, 2018/04 - 2018/12
  • 第25回 ソフトウェア工学の基礎 ワークショップ(FOSE2018), プログラム委員, 2018/04 - 2018/11
  • ソフトウェアエンジニアリングシンポジウム(SES2018), プログラム委員, 2018/04 - 2018/09
  • 日本ソフトウェア科学会第35回大会, 運営副委員長, 2017/09 - 2018/08
  • 電子情報通信学会 「知能ソフトウェア工学」特集(英文論文誌D), 英文論文誌編集委員(リエゾン), 2017/06 - 2018/07
  • The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE2018), Program committee, 2017/03 - 2018/07
  • 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE), 専門委員, 2016/06 - 2018/04
  • 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D), 幹事, 2017/04 - 2018/03
  • ソフトウェアエンジニアリングシンポジウム(SES2017), プログラム委員, 2017/04 - 2017/08
  • The 29th International Conference on Software Engineering & Knowledge Engineering (SEKE2017), Program committee, 2017/02 - 2017/07
  • The 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud2017), Program committee, 2016/10 - 2017/04
  • The 32nd ACM/SIGAPP Symposium On Applied Computing (SAC2017), Technical Program committee member, 2016/09 - 2017/04
  • 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D), 幹事, 2016/04 - 2017/03
  • The Third Asia-Pacific Requirements Engineering Symposium (APRES2016), Program committee, 2015/12 - 2016/11
  • The 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2016), Program committee, 2016/02 - 2016/09
  • 電子情報通信学会 「知能ソフトウェア工学」特集(英文論文誌D), 編集委員会幹事, 2015/06 - 2016/09
  • ソフトウェアエンジニアリングシンポジウム(SES2016), プログラム委員, 2016/04 - 2016/08
  • The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE2016), Program committee, 2016/01 - 2016/07
  • 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE), 幹事, 2015/06 - 2016/05
  • The 31st ACM/SIGAPP Symposium On Applied Computing (SAC2016), Program committee, 2015/09 - 2016/04
  • The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER2016), Poster session chair, 2015/12 - 2016/03
  • 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D), 幹事, 2015/06 - 2016/03
  • 情報処理学会 ソフトウェア工学研究会 (SIGSE), 運営委員, 2012/04 - 2016/03
  • ソフトウェアエンジニアリングシンポジウム(SES2015), プログラム委員, 2015/01 - 2015/09
  • The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015), Program committee, 2015/01 - 2015/09
  • 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE), 幹事補佐, 2014/05 - 2015/05
  • The 30th ACM/SIGAPP Symposium On Applied Computing (SAC2015), Program committee, 2014/10 - 2015/04
  • The 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2014), Program committee, 2014/01 - 2014/09
  • ソフトウェアエンジニアリングシンポジウム(SES2014), プログラム委員, 2014/01 - 2014/09
  • ソフトウェアエンジニアリングシンポジウム(SES2013), プログラム委員, 2013/01 - 2013/09
  • The 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2013), Program committee, 2013/01 - 2013/09
  • ソフトウェアエンジニアリングシンポジウム(SES2012), プログラム委員, 2012 - 2012
  • 電子情報通信学会 人工知能と知識処理研究専門委員会 (SIG-AI), 幹事補佐, 2009/05 - 2009/11
  • 合同エージェントワークショップ&シンポジウム(JAWS2009), プログラム委員, 2009 - 2009
  • 合同エージェントワークショップ&シンポジウム(JAWS2008), プログラム委員, 2008 - 2008
  • The 21st IEEE/ACM International Conference on Automated Software Engineering(ASE2006), Poster Session Chair, 2006 - 2006