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

Ogata Shinpei  小形 真平

… Alternative Names

OGATA Shinpei  小形 真平

Less
Researcher Number 10589279
Other IDs
  • ORCIDhttps://orcid.org/0000-0001-6996-3073
Affiliation (Current) 2025: 信州大学, 学術研究院工学系, 准教授
Affiliation (based on the past Project Information) *help 2025: 信州大学, 学術研究院工学系, 准教授
2020 – 2023: 信州大学, 学術研究院工学系, 准教授
2014 – 2019: 信州大学, 学術研究院工学系, 助教
Review Section/Research Field
Principal Investigator
Basic Section 09070:Educational technology-related / Software
Except Principal Investigator
Software / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60050:Software-related / Intensification of Artifact Systems / Educational technology / Educational technology
Keywords
Principal Investigator
状態遷移図 / UML / モデリング教育 / 視線情報 / ログ解析 / 差分解析 / 躓き検出 / モデル検査 / 動的解析 / 静的解析 … More / 誤り検出 / ステートマシン図 / 教育支援 / モデリング / ソフトウェア工学教育 / 関心事の分離 / 評価プロセス / ヒューマンインタフェースガイドライン / レイアウト / ユーザインタフェース / メトリクス / ユーザモデリング / 操作ログ解析 / 操作性評価 / モデル駆動開発 / 評価支援 / プロトタイピング / パターン / 画面遷移モデル / シミュレーション / 操作ログ / 分析・設計 / ユーザビリティ … More
Except Principal Investigator
機械学習 / 自然語解析 / 形態素解析 / ソフトウェア工学 / ソフトウェア進化 / ソフトウェア保守 / ソフトウエア学 / アルゴリズム / モデリング / 情報システム / アルゴリズム的思考 / 情報の科学 / データ駆動 / プログラム品質評価改善 / 機械学習応用 / データ駆動ソフトウェア工学 / 反例解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / CPS / 自己適応 / 組み込みシステム / ロボット / 超能動型CPS / プログラミングフレームワーク / 自己適応システム / 適応性 / 人工物システム / 制約指向 / CYKアルゴリズム / モデル検査 / オートマトン / 形式記述 / 要求仕様 / 構文解析 / 状態遷移 / 要求仕様書 / NLP / 仕様記述解析 / モデル / 検証 / 仕様記述 / コンピューテーショナル・シンキング / 教育基盤 / 情報通信 / サイエンスイベント / 計測と制御 / 情報科学 / 教材パッケージ / IoT / 情報学 / 教育工学 / 地域コミュニティー / 教材 / 通信 / 教育用IoT基盤 / 符号化・通信 / 計測・制御 / 抽象化・モデル化 / 手続き・アルゴリズム / 学習パッケージ / 情報教育 / ソフトウェア開発環境 / ソフトウェアモジュール / ソフトウエア開発効率化・ 安定化 / ソフトウエア開発環境 / ソフトウエアモジュール / ソフトウエア開発効率化・安定化 / モデル化 / 情報科 / 授業支援ツール / 教材開発 / アルゴリズム的思考法 / 情報の表現 / 情報の科学的な理解 / 中高大連携 / 情報デザイン Less
  • Research Projects

    (10 results)
  • Research Products

    (131 results)
  • Co-Researchers

    (35 People)
  •  ソフトウェア分析・設計モデリング教育の裾野を広げる導入教育技術の開発と評価Principal Investigator

    • Principal Investigator
      小形 真平
    • Project Period (FY)
      2025 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09070:Educational technology-related
    • Research Institution
      Shinshu University
  •  自然語解析と反例解析を活用したソフトウェア開発

    • Principal Investigator
      岡野 浩三
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Shinshu University
  •  Foundation for data-driven software maintenance and evolution augmented by machine learning

    • Principal Investigator
      鷲崎 弘宜
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Waseda University
  •  Research on an automatic feedback generation method for learners to support state transition modeling learningPrincipal Investigator

    • Principal Investigator
      Ogata Shinpei
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09070:Educational technology-related
    • Research Institution
      Shinshu University
  •  A Study on Super Active CPS for Enhancing Adaptability of Artifacts

    • Principal Investigator
      Nakagawa Hiroyuki
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intensification of Artifact Systems
    • Research Institution
      Osaka University
  •  Trace ANY: tracing any software in any direction to support software system maintenance and evolution

    • Principal Investigator
      Washizaki Hironori
    • Project Period (FY)
      2016 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Waseda University
  •  Development of an "Informatics for All" oriented IoT learning package for understanding the fundamental concepts of information science

    • Principal Investigator
      Kayama Mizue
    • Project Period (FY)
      2016 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University
  •  Software Development based on Models and Constraints

    • Principal Investigator
      OKANO KOZO
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Shinshu University
  •  Research on model-based operability evaluation integrating manual evaluation with automatic evaluationPrincipal Investigator

    • Principal Investigator
      Ogata Shinpei
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Shinshu University
  •  Development of the learning program for core competence of computational/informatics scientific understanding based on the concept of sustainable learning

    • Principal Investigator
      KAYAMA Mizue
    • Project Period (FY)
      2010 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2012 Other

All Journal Article Presentation

  • [Journal Article] Verification of Shell Script Behavior by Comparing Execution Log2023

    • Author(s)
      Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 14 Pages: 55-64

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Journal Article] Im- prove Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning2023

    • Author(s)
      Hitoshi Kiryu, Nobutoshi Todoroki, Satoshi Suda, Shinpei Ogata, and Kozo Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 15 Pages: 15-22

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Journal Article] Comparative Evaluation of NLP-Based Approaches for Linking CAPEC Attack Patterns from CVE Vulnerability Information2022

    • Author(s)
      Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
    • Journal Title

      Applied Sciences

      Volume: 12(7) Issue: 7 Pages: 1-15

    • DOI

      10.3390/app12073400

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-21KK0179
  • [Journal Article] Executable Counterexample for Java Model Checker2022

    • Author(s)
      Chellet Marwan Bernard Hassan, Shinpei Ogata, Kozo Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 13 Pages: 107-114

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Journal Article] xecutable Counterexample for Java Model Checker,2022

    • Author(s)
      Chellet Marwan Bernard Hassan, Shinpei Ogata, Kozo Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 13, No,3 Pages: 107-114

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Journal Article] Investigation of Aesthetic Criteria for Creating Highly Readable Class Diagram Layouts2021

    • Author(s)
      大宮 拓馬, 小形 真平, 岡野 浩三
    • Journal Title

      Computer Software

      Volume: 38 Issue: 4 Pages: 4_33-4_39

    • DOI

      10.11309/jssst.38.4_33

    • NAID

      130008132025

    • ISSN
      0289-6540
    • Year and Date
      2021-10-22
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Systematic Literature Review of Security Pattern Research2021

    • Author(s)
      Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi
    • Journal Title

      Information

      Volume: 12(1) Issue: 1 Pages: 1-27

    • DOI

      10.3390/info12010036

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-18H03340, KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-21K11837
  • [Journal Article] Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques2021

    • Author(s)
      Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
    • Journal Title

      Information

      Volume: 12(8) Issue: 8 Pages: 1-15

    • DOI

      10.3390/info12080298

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-18H03340
  • [Journal Article] 異粒度指向反例解析に向けて2021

    • Author(s)
      小形真平,大池勇太郎,中川博之,青木善貴,小林一樹,岡野浩三
    • Journal Title

      ソフトウェア工学の基礎ワークショップ FOSE 2021

      Volume: - Pages: 45-50

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development2021

    • Author(s)
      Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
    • Journal Title

      International Journal of Systems and Software Security and Protection

      Volume: 12(2) Issue: 2 Pages: 1-18

    • DOI

      10.4018/ijsssp.20210101.oa1

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Journal Article] Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees2021

    • Author(s)
      Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sek
    • Journal Title

      International Journal of Informatics Society

      Volume: 12, No.3 Pages: 143-156

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Journal Article] 安全性解析支援のための状態遷移系に基づくハザード近接状態検出法の提案2020

    • Author(s)
      鈴木悠介,小形真平,大池勇太郎,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-47 Pages: 7-12

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems2020

    • Author(s)
      Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi
    • Journal Title

      Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020)

      Volume: - Pages: 815-822

    • DOI

      10.1145/3341105.3374033

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-16H03074
  • [Journal Article] グラフ化による制御ループに関する反例の可視化手法の提案2020

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム(SES2020)

      Volume: - Pages: 115-124

    • NAID

      170000183333

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] モデル検査における複雑な検査式に対する反例解析手法の提案2020

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム(SES2020)

      Volume: - Pages: 23-31

    • NAID

      170000183323

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Tool to Manage Traceability on Several Models and Its Use Case2020

    • Author(s)
      Kaiya Haruhiko、Tatsui Shogo、Hazeyama Atsuo、Ogata Shinpei、Okubo Takao、Yoshioka Nobukazu、Washizaki Hironori
    • Journal Title

      Procedia Computer Science

      Volume: 176 Pages: 1449-1458

    • DOI

      10.1016/j.procs.2020.09.155

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-16H03074
  • [Journal Article] Landscape of Architecture and Design Patterns for IoT Systems2020

    • Author(s)
      Washizaki Hironori、Ogata Shinpei、Hazeyama Atsuo、Okubo Takao、Fernandez Eduardo B.、Yoshioka Nobukazu
    • Journal Title

      IEEE Internet of Things Journal

      Volume: 7 Issue: 10 Pages: 10091-10101

    • DOI

      10.1109/jiot.2020.3003528

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074, KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-18H03340
  • [Journal Article] モデル駆動開発方法論に基づくUMLプログラミング教育環境2019

    • Author(s)
      香山 瑞恵、小形 真平、永井 孝
    • Journal Title

      教育システム情報学会誌

      Volume: 36(2) Pages: 118-130

    • NAID

      130007632214

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Journal Article] NuSMVの反例解析支援ツールの試作2019

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,岡野浩三
    • Journal Title

      ウィンターワークショップ2018・イン・福島飯坂(WWS2019)

      Volume: - Pages: 13-14

    • NAID

      170000179094

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 確率的モデル検査器を用いたFRAM モデル理解の支援2019

    • Author(s)
      青木善貴, 小形真平
    • Journal Title

      ソフト ウェアエンジニアリングシンポジウム2019 (SES 2019)

      Volume: - Pages: 116-125

    • NAID

      170000150607

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] エージェント指向設計に基づいたCPS/IoTシステム設計の有効性に関する考察2019

    • Author(s)
      中川博之,小形真平,青木善貴,小林一樹
    • Journal Title

      合同エージェントワークショップ&シンポジウム2019(JAWS2019)論文集

      Volume: - Pages: 204-211

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 確率的モデル検査器を用いたFRAM支援手法の試案2019

    • Author(s)
      青木善貴, 小形真平
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-8 Pages: 49-56

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 確率的モデル検査器を用いた制御ループの定量的検証の試案2019

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

      ソフトウェア工学の基礎ワークショップ FOSE 2019

      Volume: - Pages: 115-120

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案2019

    • Author(s)
      石川公一,小形真平,中川博之,岡野浩三
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-23, SC2019-20 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 不具合原因分析支援のためのNuSMV反例解析手法の試案2019

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-24, SC2019-21 Pages: 7-12

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Verification of CPS Based on Control Loop using Model Checking2018

    • Author(s)
      Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
    • Journal Title

      Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

      Volume: - Pages: 678-682

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察2018

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2018-21 Pages: 61-66

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] word2vecによるゴール間類似度算出手法の実践と評価2018

    • Author(s)
      石川公一,小形真平,中川博之,岡野浩三
    • Journal Title

      情報処理学会 研究報告ソフトウェア工学(SE)

      Volume: 2019-SE-201 No.14 Pages: 1-8

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Template System for Modeling and Verifying Agent Behaviors2018

    • Author(s)
      Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
    • Journal Title

      Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018)

      Volume: - Pages: 576-584

    • DOI

      10.1007/978-3-030-03098-8_44

    • ISBN
      9783030030971, 9783030030988
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] ORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~2018

    • Author(s)
      小形真平,小林一樹,青木善貴,中川博之
    • Journal Title

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      Volume: - Pages: 72-73

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A rule-based method of stepwise evaluating class diagrams2017

    • Author(s)
      S. Ogata, K. Miyajima, M. Kayama, K. Okano
    • Journal Title

      Proc. of the International Workshop on Informatics (IWIN 2017)

      Volume: - Pages: 141-146

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案2017

    • Author(s)
      矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2017

      Volume: - Pages: 167-174

    • NAID

      170000175832

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] On the Generation of Human-oriented Counter-examples using a Test Automaton2017

    • Author(s)
      C. Yanagisawa, S. Ogata, K. Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 9(1) Pages: 41-50

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 共同作業における概念モデル洗練支援ツールの試作2017

    • Author(s)
      丸山美咲, 小形真平, 岡野浩三, 香山瑞恵
    • Journal Title

      第24回ソフトウェア工学の基礎ワークショップ FOSE 2017

      Volume: - Pages: 251-252

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Tool to Edit and Verify IoT System Architecture Model2017

    • Author(s)
      Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
    • Journal Title

      Proc. of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), (Tools and Demonstrations track)

      Volume: - Pages: 571-575

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] SMart-Learning: State Machine Simulators for Developing Thinking Skills2017

    • Author(s)
      S. Ogata, M. Kayama, K. Okano
    • Journal Title

      Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017)

      Volume: - Pages: 81-83

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Traceability Link Mining - Focusing on Usability -2017

    • Author(s)
      Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki
    • Journal Title

      Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Fast Abstract

      Volume: - Pages: 286-287

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements2015

    • Author(s)
      Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri
    • Journal Title

      Proc. of the 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI)

      Volume: 1 Pages: 8-13

    • DOI

      10.1109/acit-csi.2015.11

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Journal Article] モデルベース設計における初学者の誤り分析とそれに基づく教育方法の検討-クラス図の記述・読解を対象として2012

    • Author(s)
      増元健人・香山瑞恵・小形真平・伊東一典・橋本昌巳・大谷真
    • Journal Title

      情報処理学会組込みシステムシンポジウム2012論文集

      Volume: 2012 Pages: 101-109

    • NAID

      120007101172

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300286
  • [Presentation] Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces2023

    • Author(s)
      Takuma Ikeda, Kozo Okano, Shinpei Ogata, and Shin Nakajima
    • Organizer
      Proceedings of 2nd In- ternational Workshop on Intelligent Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Temporal relation identification in functional requirements2023

    • Author(s)
      Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
    • Organizer
      Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] ソフトウェア要求仕様書からのCausal Component Model 作成のための自動抽出手法の比較2023

    • Author(s)
      二ノ宮健来, 大戸柾之介, 高岡俊希, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 深層学習を用いた情報システムの非機能要求の効率的な自動分類 ~ BERT、GPT2 の精度比較 ~2023

    • Author(s)
      向田和弘, 福居誠二, 長岡武志, 北川貴之, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 差分プライバシーを用いた機械学習であるDP-SGD のロバスト性の傾向2023

    • Author(s)
      神吉孝洋, 小形真平, 岡野浩三, 中島震
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] DNN-based Fault Localization with Virtual Coverage based on Number of Executions2023

    • Author(s)
      Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
    • Organizer
      Proceedings of Inter- national Workshop on Informatics 2023 (IWIN2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案2023

    • Author(s)
      木村拓馬, 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      第9回 実践的IT教育シンポジウム rePiT2023 in 函館
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 統計的なメタモルフィック・テスティングを利用したCNN モデルの歪みを示す指標の調査2023

    • Author(s)
      土屋拓実, 小形真平, 岡野浩三, 中島震
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 静的解析と動的解析の組み合わせによる UMLステートマシン図答案の誤り特定自動化手法の提案2022

    • Author(s)
      五島光祥,小形真平,槇原絵里奈,岡野浩三
    • Organizer
      第29回ソフトウェア工学の基礎ワークショップ FOSE 2022
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] アブレーションによる故障箇所特定における符号化方法とアブレーション方法の改善2022

    • Author(s)
      池田拓真, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 視線情報と編集ログに基づくステートマシン図課題の躓き調査2022

    • Author(s)
      木村拓馬,小形真平,槇原絵里奈,岡野浩三
    • Organizer
      信学技報
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] A Method for Matching Patterns Based on Event Semantics with Requirements2022

    • Author(s)
      Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
    • Organizer
      14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 時相論理式の生成に向けた時間関係認識手法の検討2022

    • Author(s)
      大西舞子, 小形真平, 岡野浩三, 戸次大介
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022

    • Author(s)
      南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022

    • Author(s)
      Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
    • Organizer
      26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] ステートマシン図課題における学習者が満たせなかった要求文の特定・計測自動化に向けて2022

    • Author(s)
      木村拓馬,五島光祥,小形真平,槇原絵里奈,岡野浩三
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2022 WS3 ソフトウェア工学教育の自動化・最適化に向けて
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning2022

    • Author(s)
      Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
    • Organizer
      16th International Workshop on Informatics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 畳み込みニューラルネットワークにおける評価データの網羅性指標の比較2022

    • Author(s)
      横山友杜, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications2022

    • Author(s)
      Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
    • Organizer
      29th Asia-Pacific Software Engineering Conference (APSEC)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar2022

    • Author(s)
      Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, and Kozo Okano
    • Organizer
      16th International Workshop on Informatics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 静的解析によるUMLステートマシン図答案の誤り特定自動化手法の評価2022

    • Author(s)
      五島光祥,小形真平,槇原絵里奈,岡野浩三
    • Organizer
      第8回 実践的IT教育シンポジウム (rePiT2022)
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 畳み込みニューラルネットワーク(CNN)における学習プログラムの欠陥とモデルの歪みの関係性2022

    • Author(s)
      土屋拓実, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Analysis of IoT Pattern Descriptions2021

    • Author(s)
      Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
    • Organizer
      2021 IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] Property Lifecycle Diagram for Tracing State Machine Diagram Changes2021

    • Author(s)
      Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
    • Organizer
      16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] テスト実行結果を自動分類するためのメソッドにおける近接情報を活用した実行トレースの符号化2021

    • Author(s)
      池田拓真, 小形真平, 岡野浩三, 中島震
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 仕様書の条件文における状態遷移関係の抽出方法2021

    • Author(s)
      大西舞子,井浩也,小形真平, 岡野浩三, 戸
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] ステートマシン図における編集時間に基づいた学習者の躓き調査2021

    • Author(s)
      北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      電子情報通信学会 総合大会 2021
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis,2021

    • Author(s)
      Masanosuke Ohto, Hiroya Ii, Kozo Okano, and Shinpei Ogata
    • Organizer
      Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Software edutainment systems and analysis of learners’ data based docker and edutainment2021

    • Author(s)
      Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, and Kozo Okano
    • Organizer
      Proceedings of International Workshop on Informatics 2021 (IWIN2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] UMLステートマシン図学習における答案の誤り特定自動化手法の提案2021

    • Author(s)
      五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      電子情報通信学会 総合大会 2021
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] テスト実行結果を自動分類するための機械学習モデルにおける実行トレースのアブレーション2021

    • Author(s)
      池田拓真, 小形真平, 岡野浩三, 中島 震
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique2021

    • Author(s)
      Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
    • Organizer
      54th Hawaii International Conference on System Sciences (HICSS)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] 遷移モデル自動導出を考慮した要求仕様書と導出方法の提案2021

    • Author(s)
      井浩也, 大戸柾之介, 桐生仁司, 小形真平, 岡野浩
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Verification of shell script behavior by comparing execution log2021

    • Author(s)
      Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
    • Organizer
      Proceedings of International Workshop on Informatics 2021 (IWIN2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] ステートマシン図学習者の躓き特定手法の提案に向けて2021

    • Author(s)
      北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      信学技報
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案2021

    • Author(s)
      青木善貴,小形真平,中川博之,小林一樹
    • Organizer
      ソフトウェア工学の基礎ワークショップ FOSE 2021
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] Property Lifecycle Diagram for Tracing State Machine Diagram Changes2021

    • Author(s)
      Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
    • Organizer
      the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] UMLステートマシン図の教育的フィードバック自動生成に向けた答案の誤り特定自動化手法の提案 ~ 特定すべき誤りの種類とその特定結果への着目 ~2021

    • Author(s)
      五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      信学技報
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作2021

    • Author(s)
      五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
    • Organizer
      信学技報
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 静的解析によるUMLステートマシン図答案の誤り特定自動化手法の提案2021

    • Author(s)
      五島光祥,小形真平,槇原絵里奈,岡野浩三
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2021 (SES 2021)
    • Data Source
      KAKENHI-PROJECT-20K03146
  • [Presentation] 機械学習を用いたCVEからCAPECへの関連付け手法の提案2020

    • Author(s)
      鹿子木健太, 野寄祐樹, 鷲崎弘宜, 深澤良彰, 小形真平, 大久保隆夫, 加藤岳久, 鹿糠秀行, 櫨山淳雄, 吉岡信和
    • Organizer
      情報処理学会 第182回DPS・第88回CSEC合同研究発表会
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] A Tool to Manage Traceability on Several Models and Its Use Case2020

    • Author(s)
      Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Hironori Washizaki
    • Organizer
      24th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling2020

    • Author(s)
      Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, and Hironori Washizaki
    • Organizer
      13th International Joint Conference on Knowledge-based Software Engineering (JCKBSE2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] 学習済みWebサイトの操作ログに基づく有効性・効率性評価の実践2019

    • Author(s)
      青木亮太, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会 KBSE研究会
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques2019

    • Author(s)
      Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
    • Organizer
      23rd International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] Landscape of IoT Patterns2019

    • Author(s)
      Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez
    • Organizer
      2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] 制御ループの振る舞いの定量化によるFRAMモデルの可読性 向上の試案2019

    • Author(s)
      青木善貴, 小形真平
    • Organizer
      第17回ディペンダブルシステムワークショップ(DSW 2019)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] NuSMVの反例に対する 自動検証による解析支援ツールの試作2019

    • Author(s)
      大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三
    • Organizer
      第51回組込みシステム研究発表会
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] FRAMモデルの可読性向上のための支援2019

    • Author(s)
      青木善貴, 小形真平
    • Organizer
      AI/IoTシステムの ための安全性シンポジウム FRAMワークショップ
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] Approach to Testing Many State Machine Models in Education2019

    • Author(s)
      Shinpei Ogata, Mizue Kayama, Kozo Okano
    • Organizer
      11th the International Conference on Computer Supported Education
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education2019

    • Author(s)
      Shinpei Ogata, Mizue Kayama
    • Organizer
      ACM / IEEE 22rd International Conference on Model Driven Engineering Languages and Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model2018

    • Author(s)
      Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki
    • Organizer
      12th Joint Conference on Knowledge-Based Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] 多人数教育におけるUMLステートマシン図の調査・分析2018

    • Author(s)
      小形真平, 香山瑞恵, 岡野浩三
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] Analysis of Specification in Japanese using Natural Language Processing2018

    • Author(s)
      Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    • Organizer
      12th Joint Conference on Knowladge-Based Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] Support Tool for Refining Conceptual Model in Collaborative Learning2018

    • Author(s)
      Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama
    • Organizer
      12th Joint Conference on Knowledge-Based Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発2018

    • Author(s)
      小林一樹,小形真平,青木善貴,中川博之
    • Organizer
      農業情報学会 2018年度年次大会
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察2018

    • Author(s)
      岡野浩三, 小形真平, Pan Yang, 岡本圭史
    • Organizer
      電子情報通信学会技術研究報告SS
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~2018

    • Author(s)
      岩堀航平, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会技術研究報告KBSE
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法2018

    • Author(s)
      岡野浩三 高橋一真 仲悠介 小形真平 関澤俊弦
    • Organizer
      知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] Taxonomy and Literature Survey of Security Pattern Research2018

    • Author(s)
      Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamaoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi
    • Organizer
      IEEE Conference on Applications, Information and Network Security (AINS)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~2018

    • Author(s)
      岩堀航平, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会 KBSE研究会
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] Cloud Security and Privacy Metamodel: Metamodel for Security and Privacy Knowledge in Cloud Services2017

    • Author(s)
      Tian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
    • Organizer
      6th International Conference on Model-Driven Engineering and Software Development
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] Traceability Link Mining - Focusing on Usability -2017

    • Author(s)
      Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki
    • Organizer
      the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] Kuromoji と構文解析による要求仕様書から状態遷移系への自動変換の試み2017

    • Author(s)
      田幸玄陽,小形真平,岡野浩三,関澤俊弦
    • Organizer
      ウィンターワークショップ2017・イン・飛騨高山
    • Place of Presentation
      高山 高山市民文化会館
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案2017

    • Author(s)
      矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2017
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ~ 複数インスタンスのシミュレーション ~2017

    • Author(s)
      小形真平, 岡野浩三, 香山瑞恵
    • Organizer
      電子情報通信学会技術研究報告KBSE
    • Place of Presentation
      東京都港区機械振興会館
    • Year and Date
      2017-01-23
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価2017

    • Author(s)
      小形真平,青木善貴,中川博之,小林一樹,福島祐子
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS),情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 共同作業における概念モデル洗練支援ツールの試作2017

    • Author(s)
      丸山美咲, 小形真平, 岡野浩三, 香山瑞恵
    • Organizer
      第24回ソフトウェア工学の基礎ワークショップ FOSE 2017
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] IoTシステムのアーキテクチャモデルを用いた安全性の検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      ソフトウェア工学の基礎ワークショップ(FOSE2017)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] SMart-Learning: State Machine Simulators for Developing Thinking Skills2017

    • Author(s)
      S. Ogata, M. Kayama, K. Okano
    • Organizer
      2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] Preliminary Systematic Literature Review of Software and Systems Traceability2017

    • Author(s)
      Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki
    • Organizer
      21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] A rule-based method of stepwise evaluating class diagrams2017

    • Author(s)
      S. Ogata, K. Miyajima, M. Kayama, K. Okano
    • Organizer
      International Workshop on Informatics (IWIN) 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] ヘルプデスク補助に向けたWeb UI操作ログ収集ツールの試作2017

    • Author(s)
      中島徳雅, 小形真平, 岡野浩三
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋大学(愛知県・名古屋市)
    • Year and Date
      2017-03-16
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] STAMP/STPAを用いたCyber-Physical Systemsの検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      IPA 第2回STAMPワークショップ (Japanese STAMP Workshop)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果2017

    • Author(s)
      但馬将貴,香山瑞恵,小形真平, 橋本昌巳
    • Organizer
      電子情報通信学会技術研究報告KBSE
    • Place of Presentation
      東京都港区機械振興会館
    • Year and Date
      2017-01-23
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] Traceability Link Mining – Focusing on Usability -2017

    • Author(s)
      Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
    • Organizer
      41st IEEE Computer Society Signature Conference on Computers, Software, and Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] Traceability Link Mining - Focusing on Usability -2017

    • Author(s)
      Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
    • Organizer
      41st IEEE Computer Society Signature Conference on Computers, Software, and Applications
    • Place of Presentation
      Torino, Turin, Italy
    • Year and Date
      2017-07-04
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02804
  • [Presentation] ユーザビリティに着目した画面遷移モデルの分離の試み2016

    • Author(s)
      矢澤幸也, 小形真平, 岡野浩三
    • Organizer
      第23回ソフトウェア工学の基礎ワークショップ FOSE 2016
    • Place of Presentation
      ことひら温泉 琴参閣(香川県・仲多度郡 琴平町)
    • Year and Date
      2016-12-01
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] MDDにおける操作記録プロトタイプによるユーザビリティ評価支援2016

    • Author(s)
      小形 真平, 紙森 翔平, 後藤 祐吾, 岡野 浩三
    • Organizer
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2016・イン・逗子
    • Place of Presentation
      湘南国際村センター(神奈川県・三浦郡葉山町)
    • Year and Date
      2016-02-04
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] A New Prop osal of Generating Counter -example in Model Checking Using Test Automaton2016

    • Author(s)
      Chikyu Yanagisawa, Shinpei Ogata, and Kozo Okano
    • Organizer
      iwin2016
    • Place of Presentation
      Riga, Latovia
    • Year and Date
      2016-08-29
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] 画面遷移モデルと整合性を保つGUI設計支援手法2016

    • Author(s)
      赤瀬智也,小形真平,岡野浩三
    • Organizer
      電子情報通信学会KBSE研究会
    • Place of Presentation
      湯布院公民館(大分県・由布市)
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] モデリング学習用モデルコンパイラを用いたIchigoJamBASIC コード生成ツールの開発2016

    • Author(s)
      但馬 将貴, 香山 瑞恵, 小形 真平, 橋本 昌巳
    • Organizer
      第41回教育システム情報学会全国大会
    • Place of Presentation
      栃木県宇都宮市帝京大学
    • Year and Date
      2016-08-29
    • Data Source
      KAKENHI-PROJECT-16H03074
  • [Presentation] Human Interface Guidelineに基づくGUIのユーザエラー防止性自動評価手法2016

    • Author(s)
      片桐健吾,小形真平,岡野浩三
    • Organizer
      情報処理学会第78回全国大会
    • Place of Presentation
      慶應義塾大学(神奈川県・横浜市)
    • Year and Date
      2016-03-10
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] モデル駆動開発におけるユーザビリティ評価支援構想2016

    • Author(s)
      小形 真平
    • Organizer
      電子情報通信学会KBSE研究会
    • Place of Presentation
      機械振興会館(東京都・港区)
    • Year and Date
      2016-01-25
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] Framework for Relative Web Usability Evaluation on Usability Features in MDD2016

    • Author(s)
      S. Ogata, Y. Goto, K. Okano
    • Organizer
      6th International Working Conference on Human-Centred Software Engineering and 8th International Working Conference on Human Error, Safety, and System Development
    • Place of Presentation
      Stockholm(Sweden)
    • Year and Date
      2016-08-29
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] 要求分析におけるユーザ操作記録によるユーザビリティ評価支援手法2016

    • Author(s)
      後藤祐吾,小形真平,岡野浩三
    • Organizer
      電子情報通信学会KBSE研究会
    • Place of Presentation
      湯布院公民館(大分県・由布市)
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] 画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して2015

    • Author(s)
      小形 真平,紙森 翔平,海谷 治彦,岡野 浩三
    • Organizer
      電子情報通信学会KBSE研究会
    • Place of Presentation
      大阪大学(大阪府・吹田市)
    • Year and Date
      2015-09-24
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] 画面遷移モデルに基づくシナリオ作成支援手法の検討2015

    • Author(s)
      小形 真平,中村 哲真,岡野 浩三
    • Organizer
      電子情報通信学会KBSE研究会
    • Place of Presentation
      機械振興会館(東京都・港区)
    • Year and Date
      2015-05-25
    • Data Source
      KAKENHI-PROJECT-15K15972
  • [Presentation] 状態遷移図作成に際する初学者の誤り分析とそれに基づく教育方法の検討2012

    • Author(s)
      香山瑞恵,小形真平,増元健人,伊東一典,橋本昌巳,大谷真
    • Organizer
      情報処理学会研究報告. コンピュータと教育研究会報告,2012-CE-117
    • Place of Presentation
      熊本大学
    • Data Source
      KAKENHI-PROJECT-22300286
  • [Presentation] A Practical Conceptual Modeling Teaching Method based on Quantitative Error Analyses for Novices Learning to Create Error-free Simple Class Diagrams

    • Author(s)
      Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto Makoto Otani
    • Organizer
      12th International Conference on Software Engineering Research, Management and Applications (ACIS SERA 2014)
    • Place of Presentation
      Kitakyushu International Conference Center, Kitakyushu, Japan
    • Year and Date
      2014-08-31 – 2014-09-04
    • Data Source
      KAKENHI-PROJECT-22300286
  • [Presentation] Effectiveness of Model-Driven Development Method in Conceptual Modeling Education for University Freshmen

    • Author(s)
      Kayama Mizue; Ogata Shinpei; Nagai Takashi; Yokota Hiroaki; Masumoto Kento; Hashimoto Masami
    • Organizer
      6th IEEE Global Engineering Education Conference (EDUCON2015)
    • Place of Presentation
      Tallinn University of Technology, Tallinn, Estonia
    • Year and Date
      2015-03-18 – 2015-03-20
    • Data Source
      KAKENHI-PROJECT-22300286
  • [Presentation] Quantitative Analysis based Criteria for Evaluating Simple Class Diagrams made by Novices for Conceptual Modeling

    • Author(s)
      Kayama, M., Masumoto, K., Ogata, S., Asano, D., Hashimoto, M.,Otani
    • Organizer
      2014 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE2014)
    • Place of Presentation
      Te Papa Tongarewa National Museum of New Zealand, Wellington, New Zealand
    • Year and Date
      2014-12-08 – 2014-12-10
    • Data Source
      KAKENHI-PROJECT-22300286
  • 1.  KAYAMA Mizue (70233989)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 18 results
  • 2.  OKANO KOZO (70252632)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 45 results
  • 3.  FUWA Yasushi (00165507)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  HISAZUMI Kenji (10380685)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  FUSE Izumi (70271806)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  NAGATA Naomi (50582293)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  KAYATSU Rika (70242667)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  KUNIMUNE Yoshihisa (90377648)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  Washizaki Hironori (70350494)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 16 results
  • 10.  二上 貴夫 (60459477)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  本田 澄 (40732938)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  関澤 俊弦 (10549314)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 13.  IIDA Shuusaku (80338590)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  YAMAMOTO Tatsuki (30535266)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  KAMIHIRA Takahito (20339807)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  Nakagawa Hiroyuki (40508834)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 23 results
  • 17.  吉岡 信和 (20390601)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 13 results
  • 18.  海谷 治彦 (30262596)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 12 results
  • 19.  櫨山 淳雄 (70313278)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 14 results
  • 20.  大久保 隆夫 (80417518)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 14 results
  • 21.  坂本 一憲 (60609139)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  舘 伸幸 (30710256)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  永井 孝 (90835175)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 24.  小林 一樹 (00434895)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 16 results
  • 25.  土屋 達弘 (30283740)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 26.  冨沢 哲雄 (60549707)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  槇原 絵里奈 (90822875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 13 results
  • 28.  岡本 圭史 (00308214)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 29.  林 晋平 (40541975)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  齋藤 大輔 (80779091)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  HIYA Shuhei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  TASAKI Takeharu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  KONNO Atsushi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  STARRETT Cortland
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  MELLOR Stephen J.
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi