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

MOCHIO Hiroshi  持尾 弘司

ORCIDConnect your ORCID iD *help
… Alternative Names

持尾 弘司  モチオ ヒロシ

MOCHIO Koji  持尾 弘司

Less
Researcher Number 60331013
Other IDs
Affiliation (Current) 2025: 筑紫女学園大学, 人間科学部, 准教授
Affiliation (based on the past Project Information) *help 2012 – 2016: 筑紫女学園大学, 人間科学部, 准教授
2011: 筑紫女学園大学, 文学部, 准教授
2011: 筑紫女学院大学, 文学部, 准教授
2009 – 2010: 九州大学, 文学部, 准教授
2000 – 2001: 筑紫女学園大学, 文学部, 講師
Review Section/Research Field
Except Principal Investigator
Software / 計算機科学
Keywords
Except Principal Investigator
形式仕様記述 / ソフトウェア工学 / Diagram Analyzer / Case Studies / Formal Specification Testing / System Behavior Description / Statecharts / Formal Methods / Domain Modeling / Formal Specification … More / 段階的詳細化設計 / 図式表現 / 図式分析ツール / システム記述事例研究 / 形式仕様の検査 / システム動作記述 / ステートチャート / 形式手法 / ドメインモデル構築 / 高信頼安心安全システム / 予備形式化 / 適用性の高い形式手法 / モデル化支援化ツール / 高適用形式手法 / モデル化支援ツール / ソフトウェアライフサイクル / アーキテクチャ指向モデル化 / 高適用性形式手法 / 高信頼安全安心システム / 導入方法 / ソフトウェア開発法プロセス / 文書品質改善支援 / 形式手法導入方法 / 形式手法人材育成 / 文書品質向上支援 / 形式手法適用支援ツール / 形式手法導入ガイド / 非形式的システム記述 / 形式的システム記述 / フォーマルメソッド適用 / 開発文書品質向上 / 産学連携 / ソフトウェア開発プロセス / フォーメルメソッド適用 Less
  • Research Projects

    (3 results)
  • Research Products

    (2 results)
  • Co-Researchers

    (8 People)
  •  Architecture Oriented Formal Approaches to High Quality Software Development

    • Principal Investigator
      Araki Keijiro
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Study on Formal Methods Applicable to Practical Software Development

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Basic Study on Formal Approaches to Systematic Development Methods of High-Quality Embedded Systems

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University

All 2011

All Journal Article Presentation

  • [Journal Article] VDM++ as a Basis of Scalable Agile Formal Software Development2011

    • Author(s)
      Hiroshi Mochio
    • Journal Title

      Proc.of the 9th Overture Workshop

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] VDM++ as a Basis of Scalable Agile Formal Software Development, Proc. 9th Overture Workshop2011

    • Author(s)
      Hiroshi Mochio
    • Organizer
      CD-ROM
    • Place of Presentation
      Limerick Ireland
    • Data Source
      KAKENHI-PROJECT-21300009
  • 1.  ARAKI Keijiro (40117057)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  KUSKABE Shigeru (70234416)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  OMORI Yoichi (20309727)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  CHANG Han-myun (90329756)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  山本 修一郎 (20523294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  片山 徹郎 (50283932)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  LIN Hsin-Hung
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  ODA Tomohiro
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi