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

Architecture Oriented Formal Approaches to High Quality Software Development

Research Project

Project/Area Number 24220001
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionKyushu University

Principal Investigator

Araki Keijiro  九州大学, システム情報科学研究院, 教授 (40117057)

Co-Investigator(Kenkyū-buntansha) 大森 洋一  九州大学, システム情報科学研究科(研究院, 助教 (20309727)
山本 修一郎  名古屋大学, 学内共同利用施設等, 教授 (20523294)
片山 徹郎  宮崎大学, 工学部, 准教授 (50283932)
持尾 弘司  筑紫女学園大学, 人間科学部, 准教授 (60331013)
日下部 茂  九州大学, システム情報科学研究科(研究院, 准教授 (70234416)
張 漢明  南山大学, 理工学部, 准教授 (90329756)
Research Collaborator LIN Hsin-Hung  
ODA Tomohiro  
Project Period (FY) 2012-05-31 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥158,860,000 (Direct Cost: ¥122,200,000、Indirect Cost: ¥36,660,000)
Fiscal Year 2016: ¥35,490,000 (Direct Cost: ¥27,300,000、Indirect Cost: ¥8,190,000)
Fiscal Year 2015: ¥33,150,000 (Direct Cost: ¥25,500,000、Indirect Cost: ¥7,650,000)
Fiscal Year 2014: ¥32,500,000 (Direct Cost: ¥25,000,000、Indirect Cost: ¥7,500,000)
Fiscal Year 2013: ¥32,110,000 (Direct Cost: ¥24,700,000、Indirect Cost: ¥7,410,000)
Fiscal Year 2012: ¥25,610,000 (Direct Cost: ¥19,700,000、Indirect Cost: ¥5,910,000)
Keywords形式仕様記述 / ソフトウェア工学 / 高信頼安全安心システム / 高適用性形式手法 / アーキテクチャ指向モデル化 / ソフトウェアライフサイクル / モデル化支援ツール / 高適用形式手法 / モデル化支援化ツール / 適用性の高い形式手法 / 予備形式化 / 高信頼安心安全システム
Outline of Final Research Achievements

We proposed highly applicable formal approaches to develop high quality software systems of reliability and safety. Based on our practice and experience with case studies of applying formal methods to a variety of system development such as contact-less IC chip firmware communication control system and so on, we presented highly applicable formal approaches to system modeling and analysis gradually constructing abstract and formal system descriptions through "preformal" approaches, which would be acceptable and effective for working engineers in specific development processes. We developed several tools which realize and support the above formal approaches, provided those tools to our specific customers, and make the tools open and available to the formal methods community in the world over the Internet as well.

Assessment Rating
Verification Result (Rating)

A

Assessment Rating
Result (Rating)

A-: Progress in the research is steadily towards the initial goal. However, further efforts are necessary as a part of the research progress is delayed.

Report

(9 results)
  • 2017 Research Progress Assessment (Verification Result) ( PDF )
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report   Abstract(Research Progress Assessment) ( PDF )   Research Progress Assessment (Result) ( PDF )
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (172 results)

All 2017 2016 2015 2014 2013 2012 Other

All Int'l Joint Research (7 results) Journal Article (23 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 23 results,  Open Access: 16 results,  Acknowledgement Compliant: 7 results) Presentation (127 results) (of which Int'l Joint Research: 27 results,  Invited: 9 results) Book (7 results) Remarks (6 results) Funded Workshop (2 results)

  • [Int'l Joint Research] 高麗大学校/漢城大学校/Samsung Electronics(韓国)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] Arhus University(デンマーク)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] MIT(米国)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] Lancaster University/Newcastle University(英国)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] Arhus University(デンマーク)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] Lancaster Universitu(英国)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] 漢城大学校(韓国)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] D-Caseを用いた安全分析結果の説明手法の提案2017

    • Author(s)
      小林 展英、森崎 修司、山本 修一郎
    • Journal Title

      情報処理学会論文誌

      Volume: 58 Pages: 521-530

    • NAID

      170000131216

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Formal Modeling Tool for Exploratory Modeling in Software Development2017

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Journal Title

      IEICE Transactions

      Volume: E100-D

    • NAID

      130005687709

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] 複数事象の発生を含意した区間振る舞い記述法とその検証法の提案2017

    • Author(s)
      張 漢明、野呂 昌満、沢田 篤史
    • Journal Title

      日本ソフトウェア科学会 コンピュータソフトウェア

      Volume: 印刷中

    • NAID

      130006855232

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Mobile Security Assurance through ArchiMate2016

    • Author(s)
      Shuitiro Yamamoto, Nobuhide Kobayashi
    • Journal Title

      IT Convergence Practice(INPRA)

      Volume: 4 Pages: 1-8

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Fairness and High Performance for Tasks in General Purpose Multicore Systems2016

    • Author(s)
      Samih M. Mostafa, Hirofumi Amano, Shigeru Kusakabe
    • Journal Title

      International Journal of Research and Reviews in Applied Sciences

      Volume: 29

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case2016

    • Author(s)
      Keijiro Araki, Taro Kurita
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10009 Pages: 18-25

    • DOI

      10.1007/978-3-319-47846-3_2

    • ISBN
      9783319478456, 9783319478463
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Quantitative Non Functional Requirements evaluation using softgoal weight2016

    • Author(s)
      Nobuhide Kobayashi, Shuji Morisaki, Noritoshi Atsumi and Shuichiro Yamamoto
    • Journal Title

      Journal of Internet Services and Information Security

      Volume: 6 Pages: 37-46

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Centrality Analysis of Related Process Areas in a Process Improvement Model CMMI-DEV2015

    • Author(s)
      日下部茂,林信宏,大森洋一,荒木啓二郎
    • Journal Title

      Computer Software

      Volume: 32 Issue: 3 Pages: 3_126-3_136

    • DOI

      10.11309/jssst.32.3_126

    • NAID

      130005097120

    • ISSN
      0289-6540
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Prototype of a Decision Table Generation Tool from the Formal Specification2015

    • Author(s)
      T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba, K. Aburada and N. Okazaki
    • Journal Title

      Journal of Robotics, Networking and Artificial Life

      Volume: 2 Issue: 3 Pages: 205-208

    • DOI

      10.2991/jrnal.2015.2.3.15

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Formware2015

    • Author(s)
      Taro Kurita, Fuyuki Ishikawa and Keijiro Araki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9109 Pages: 593-596

    • DOI

      10.1007/978-3-319-19249-9_40

    • ISBN
      9783319192482, 9783319192499
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Visualizing Betweenness Centrality of Process Area Networks in Process Improvement Model for Service Provider Organization, CMMI-SVC2015

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      International Journal of Information Engineering Express, International Institute of Applied Informatics

      Volume: 1 Pages: 131-140

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析2015

    • Author(s)
      日下部茂、林信宏、大森洋一、荒木啓二郎
    • Journal Title

      日本ソフトウェア科学会論文誌 コンピュータソフトウェア

      Volume: 32

    • NAID

      130005097120

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] ITシステムを利用するサービスのアシュアランスケース作成2015

    • Author(s)
      猿渡卓也、丹羽隆、山本修一郎
    • Journal Title

      情報処理学会 デジタルプラクティス

      Volume: 6 Pages: 159-168

    • NAID

      170000121446

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Developing Core Software Requirements of Energy Management System for Smart Campus with Advanced Software Engineering2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Journal Title

      International Journal of New Computer Architectures and their Applications

      Volume: 4 Pages: 48-55

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Towards Maximizing Throughput for Multithreaded Processes in Linux2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      International Journal of New Computer Architectures and their Applications

      Volume: 4 Pages: 70-78

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification2014

    • Author(s)
      Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
    • Journal Title

      Journal of Robotics, Networking and Artificial Life

      Volume: 1 Pages: 174-178

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] CC-Case as an Integrated Method of Security Analysis and Assurance over Life-cycle Process2014

    • Author(s)
      Tomoko Kaneko, Shuichiro Yamamoto, Hidehiko Tanaka
    • Journal Title

      International Journal of Cyber-Security and Digital Forensics

      Volume: 3 Pages: 49-62

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] EA-MDA Model to Resolve IS Characteristic Problems in Educational Institution2013

    • Author(s)
      Mardiana
    • Journal Title

      International Journal of Software Engineering & Applications

      Volume: 4 Issue: 3 Pages: 1-20

    • DOI

      10.5121/ijsea.2013.4301

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards Minimizing Processes Response Time in Interactive Systems2013

    • Author(s)
      Samih M. Mostafa
    • Journal Title

      International Journal of Computer Science and Information Technology Research

      Volume: 1 Pages: 65-73

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combinatorial Test Architecture Design Using Viewpoint Diagram2013

    • Author(s)
      Yasuharu Nishi
    • Journal Title

      Proc. 2nd Int'l Works. on Combinatorial Testing (IWCT 2013)

      Volume: 電子データのため巻なし

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards the Safety Properties of Moving Block Railway Interlocking System2012

    • Author(s)
      Nazir Ahmad Zafar
    • Journal Title

      International Journal pf Innovative Computing, Information & Control

      Volume: Vol. 8, No. 8 Pages: 5677-5690

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Initial Report of the Impact of Using Overture/VDM in a Development Process in an Architecture-Oriented Approach2012

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      Proc. of the 10th Overture Workshop

      Volume: CS-TR-1345 Pages: 38-41

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Internationalization of Domain Dictionary Management Tool2012

    • Author(s)
      Shinta Inoue
    • Journal Title

      Proc. Korea-Japan Joint Workshop on ICT

      Volume: 電子データのため巻なし Pages: 61-64

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Presentation] 農場観測を目的としたエッジノードを用いたシステムのモデル化2017

    • Author(s)
      村上 武史、大森 洋一、荒木 啓二郎
    • Organizer
      情報処理学会 火の国シンポジウム 2017
    • Place of Presentation
      鹿児島市
    • Year and Date
      2017-03-01
    • Related Report
      2016 Annual Research Report
  • [Presentation] Improvement of Decision Table Automatic Generation Tool VDTable for let in Statement2017

    • Author(s)
      Yinuo Huang, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
    • Organizer
      International Conference on Artificial Life and Robotics 2017
    • Place of Presentation
      Miyazaki, JAPAN
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM++2017

    • Author(s)
      Hiroki Tachiyama, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
    • Organizer
      International Conference on Artificial Life and Robotics 2017
    • Place of Presentation
      Miyazaki, JAPAN
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] STAMP/STPA を活用した VDM 仕様記述の構築2017

    • Author(s)
      藤崎 淳史、荒木 啓二郎、大森 洋一
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
  • [Presentation] 要求辞書としての形式手法詳細化手法の提案2017

    • Author(s)
      幡 亮介、大森 洋一、荒木 啓二郎、日下部 茂
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
  • [Presentation] 形式仕様記述を用いた系統的なプロパティベーステストの活用2017

    • Author(s)
      馬場 勇輔、荒木 啓二郎、日下部 茂、大森 洋一
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
  • [Presentation] システム理論的因果律モデルに基づくプロセス改善分2016

    • Author(s)
      日下部 茂
    • Organizer
      第 14 回クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-12-12
    • Related Report
      2016 Annual Research Report
  • [Presentation] DevOps を想定した実行可能仕様によるソフトウェア保守2016

    • Author(s)
      大森 洋一、荒木 啓二郎
    • Organizer
      日本ソフトウェア科学会 FOSE 2016
    • Place of Presentation
      香川県 琴平町
    • Year and Date
      2016-12-01
    • Related Report
      2016 Annual Research Report
  • [Presentation] 並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察2016

    • Author(s)
      張 漢明、野呂 昌満、沢田 篤史
    • Organizer
      日本ソフトウェア科学会 FOSE 2016
    • Place of Presentation
      香川県 琴平町
    • Year and Date
      2016-12-01
    • Related Report
      2016 Annual Research Report
  • [Presentation] Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case2016

    • Author(s)
      Keijiro Araki, Taro Kurita
    • Organizer
      18th International Conference on Formal Engineering Methods
    • Place of Presentation
      Tokyo, JAPAN
    • Year and Date
      2016-11-14
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling2016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      14th Overture Workshop
    • Place of Presentation
      Limmasol, Cyprus
    • Year and Date
      2016-11-07
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Actor Collaboration Matrix for Modeling Business Values in Archimate2016

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      Asia Pacific Conference on Information Management 2016
    • Place of Presentation
      Hanoi, Vietnam
    • Year and Date
      2016-10-20
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] System Thinking Approach to Create CONOPS for the Adaptive Enterprise Architecture2016

    • Author(s)
      Nada Olayan, Shuichiro Yamamoto
    • Organizer
      Asia Pacific Conference on Information Management 2016
    • Place of Presentation
      Hanoi, Vietnam
    • Year and Date
      2016-10-20
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 形式手法と、モバイルやアジャイル2016

    • Author(s)
      日下部 茂
    • Organizer
      長崎 Software Quality & Development Gathering 2016
    • Place of Presentation
      長崎市
    • Year and Date
      2016-10-07
    • Related Report
      2016 Annual Research Report
    • Invited
  • [Presentation] A Case Study on Architecture Quality Assurance Service using O-DA2016

    • Author(s)
      Shuichiro Yamamoto, Shuji Morisaki
    • Organizer
      Conference on ENTERprise Information Systems 2016
    • Place of Presentation
      Porto, Portugal
    • Year and Date
      2016-09-26
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] IT demand governance using Business Goal Structuring Notation2016

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      Sixth International Conference on IT Convergence and Security
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-09-26
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Nationality Based Context-Aware Scenario of Cultural Heritage Guidance as Informal Learning2016

    • Author(s)
      Abdul Kadir Jailani, Keijiro Araki, Shigeru Kusakabe
    • Organizer
      Fifth International Conference on E-Learning and E-Technologies in Education
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Year and Date
      2016-09-06
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 細粒度アクセス制御を行うためのフォーマルなソフトウェア仕様に対する分析事例2016

    • Author(s)
      小林 竜大、大森 洋一、荒木 啓二郎
    • Organizer
      日本ソフトウェア科学会第 33 回大会
    • Place of Presentation
      仙台市
    • Year and Date
      2016-09-06
    • Related Report
      2016 Annual Research Report
  • [Presentation] A Safety Knowledge Representation of the Automatic Driving System2016

    • Author(s)
      Hiroyuki Utsunomiya, Nobuhide Kobayashi, Shuichiro Yamamoto
    • Organizer
      20th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    • Place of Presentation
      York, UK
    • Year and Date
      2016-09-05
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The Evaluation Knowledge of Standard Software Asset using The Seven Samurai Framework2016

    • Author(s)
      Nobuhide Kobayashi, Hikari Yamada, Hiroyuki Utsunomiya, Shuji Morisaki, Shuichiro Yamamoto
    • Organizer
      20th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    • Place of Presentation
      York, UK
    • Year and Date
      2016-09-05
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 仕様記述の役割を意識したフォーマルメソッド学習2016

    • Author(s)
      西岡 貴史、大森 洋一、荒木 啓二郎
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2016
    • Place of Presentation
      東京
    • Year and Date
      2016-08-31
    • Related Report
      2016 Annual Research Report
  • [Presentation] ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4}2016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      11th International Workshop on Smalltalk Technologies
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-08-23
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A System Theoretic Assurance Case Review2016

    • Author(s)
      Shuichiro Yamamoto, Shuji Morisaki
    • Organizer
      11th International Conference on Computer Science & Education
    • Place of Presentation
      Nagoya, Japan
    • Year and Date
      2016-08-23
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Mobile Security Assurance through ArchiMate2016

    • Author(s)
      Shuichiro Yamamoto, Nobuhide Kobayashi
    • Organizer
      2016 International Symposium on Mobile Internet Security
    • Place of Presentation
      Taichung, Taiwan
    • Year and Date
      2016-07-13
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] VDM-SL 仕様からの Smalltalk プログラムの自動生成2016

    • Author(s)
      小田朋宏、荒木啓二郎
    • Organizer
      ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム
    • Place of Presentation
      米子市
    • Year and Date
      2016-06-05
    • Related Report
      2016 Annual Research Report
  • [Presentation] 保証ケース作成のフロンティア2016

    • Author(s)
      山本 修一郎
    • Organizer
      ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム
    • Place of Presentation
      米子市
    • Year and Date
      2016-06-05
    • Related Report
      2016 Annual Research Report
  • [Presentation] STAMP モデリングによるプロセス先行指標の活用2016

    • Author(s)
      日下部 茂
    • Organizer
      ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム
    • Place of Presentation
      米子市
    • Year and Date
      2016-06-05
    • Related Report
      2016 Annual Research Report
  • [Presentation] KAOSからのモデル変換に基づく形式仕様構築手法の一般化2016

    • Author(s)
      岩本侑也、大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      吹田市
    • Year and Date
      2016-03-14
    • Related Report
      2015 Annual Research Report
  • [Presentation] 自動販売機システム開発文書への形式仕様記述の適用事例2016

    • Author(s)
      寺西祐斗、張漢明、沢田篤史
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      吹田市
    • Year and Date
      2016-03-14
    • Related Report
      2015 Annual Research Report
  • [Presentation] 形式仕様記述のプロパティベーステストへの活用2016

    • Author(s)
      馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一
    • Organizer
      情報処理学会 火の国シンポジウム
    • Place of Presentation
      宮崎市
    • Year and Date
      2016-03-03
    • Related Report
      2015 Annual Research Report
  • [Presentation] Pre-Formal メソッドとしてのSTAMP モデリング2016

    • Author(s)
      日下部茂, 荒木啓二郎
    • Organizer
      第13回クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-01-20
    • Related Report
      2015 Annual Research Report
  • [Presentation] ソフトウェア工学概説 ー 上流工程を中心に ー2016

    • Author(s)
      荒木啓二郎
    • Organizer
      情報処理素新機構 (IPA) SEC高信頼化技術セミナー
    • Place of Presentation
      東京
    • Year and Date
      2016-01-15
    • Related Report
      2015 Annual Research Report
  • [Presentation] アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法2015

    • Author(s)
      荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2015-12-16
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2015-12-15
    • Related Report
      2015 Annual Research Report
  • [Presentation] 自然言語ドキュメントの形式化モデリングについて2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認2015

    • Author(s)
      大森洋一、林信宏、荒木啓二郎、日下部茂
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] オブジェクト間の相互作用の設計手法に関する考察2015

    • Author(s)
      張漢明、沢田篤史、野呂昌満
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] An assurance case review method using Systemigram2015

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      AAA 2015
    • Place of Presentation
      横浜市
    • Year and Date
      2015-11-17
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An approach for evaluating softgoals using weight2015

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      ASIAARES 2015
    • Place of Presentation
      韓国 太田
    • Year and Date
      2015-10-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An approach to assure Dependability through ArchiMate2015

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      Assure 2015
    • Place of Presentation
      オランダ デルフト
    • Year and Date
      2015-09-21
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Architecture Oriented Formal Approaches to High Quality Software Development2015

    • Author(s)
      Keijiro Araki
    • Organizer
      Symposium on Architecture Oriented Formal Methods
    • Place of Presentation
      名古屋市
    • Year and Date
      2015-09-12
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Systematic Knowledge Education Approach for Safety-Critical System Development2015

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      KES 2015
    • Place of Presentation
      シンガポール
    • Year and Date
      2015-09-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The effectiveness of D-Case application knowledge on a safety process2015

    • Author(s)
      Nobuhide Kobayashi and Shuichiro Yamamoto
    • Organizer
      KES 2015
    • Place of Presentation
      シンガポール
    • Year and Date
      2015-09-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Visualizing Centrality of Process Area Networks in CMMI-DEV2015

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori and Keijiro Araki
    • Organizer
      International Conference on Software and Systems Process
    • Place of Presentation
      エストニア タリン
    • Year and Date
      2015-08-26
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Assuring Security through Attribute GSN2015

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      5th International Conference on IT Convergence and Security
    • Place of Presentation
      マレーシア クアラルンプール
    • Year and Date
      2015-08-26
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Spinを用いたVDM仕様に対するモデル検査適用手法2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      札幌市
    • Year and Date
      2015-07-22
    • Related Report
      2015 Annual Research Report
  • [Presentation] Analyzing Key Process Areas in Process Improvement Model for Service Provider Organization2015

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      6th International Conference on E-Service and Knowledge Management
    • Place of Presentation
      岡山市
    • Year and Date
      2015-07-15
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Adaptive Context-Awareness Model for Cultural Heritage Information based on User Needs2015

    • Author(s)
      Abdul Kadir Jailani, Shigeru Kusakabe and Keijiro Araki
    • Organizer
      4th International Conference on Learning Technologies and Learning Environments
    • Place of Presentation
      岡山市
    • Year and Date
      2015-07-15
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware2015

    • Author(s)
      Taro Kurita, Fuyuki Ishikawa, Keijiro Araki
    • Organizer
      20th International Symposium on Formal Methods
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-24 – 2015-06-26
    • Related Report
      2014 Annual Research Report
  • [Presentation] JODTool on the Overture Tool to Manage Formal Requirement Dictionaries2015

    • Author(s)
      Yoichi Omori, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      13th Overture Workshop
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-23
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] VDM Animation for a Wider Range of Stakeholders2015

    • Author(s)
      Tomohiro Oda, Yasuhiro Yamamoto, Kumiyo Nakakoji, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      13th Overture Workshop
    • Place of Presentation
      ノルウェー オスロ
    • Year and Date
      2015-06-23
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] VDM-SL 実行可能仕様による Web API プロトタイピング環境2015

    • Author(s)
      小田朋宏, 荒木啓二郎
    • Organizer
      ソフトウェア技術者協会 ソフトウェアシンポジウム
    • Place of Presentation
      和歌山市
    • Year and Date
      2015-06-15
    • Related Report
      2015 Annual Research Report
  • [Presentation] 大学機関調査研究 IR へのデータ管理成熟度モデル DMM の軽量な適用2015

    • Author(s)
      日下部 茂,大石 哲也,森 雅生,高田 英一
    • Organizer
      ソフトウェア技術者協会 ソフトウェアシンポジウム
    • Place of Presentation
      和歌山市
    • Year and Date
      2015-06-15
    • Related Report
      2015 Annual Research Report
  • [Presentation] VDM++仕様から自動生成したJavaコードの振る舞い検証手法の提案2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      川崎市
    • Year and Date
      2015-06-04
    • Related Report
      2015 Annual Research Report
  • [Presentation] VDMPad: a Lightweight IDE for Exploratory VDM-SL Specification2015

    • Author(s)
      Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen
    • Organizer
      2015 IEEE/ACM 3rd Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      イタリア フィレンツェ
    • Year and Date
      2015-05-18
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] VDMPad: a Lightweight IDE for Exploratory VDM-SL Specification2015

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
    • Organizer
      FormaliSE: FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      イタリア フィレンツェ
    • Year and Date
      2015-05-18
    • Related Report
      2014 Annual Research Report
  • [Presentation] 式仕様記述からテスト設計してみた2015

    • Author(s)
      片山 徹郎、日下部 茂、栗田 太郎
    • Organizer
      ソフトウェアテストシンポジウム2015
    • Place of Presentation
      東京
    • Year and Date
      2015-02-20
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Using Hazard Analysis STAMP/STPA in Developing Model-oriented Formal Specifications Toward Reliable Cloud Service2015

    • Author(s)
      Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin-Hung Lin
    • Organizer
      International Conference on Platform Technology and Service
    • Place of Presentation
      韓国 済州島
    • Year and Date
      2015-01-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] Prototype of a Decision Table Generation Tool from the Formal Specification2015

    • Author(s)
      Kenta Nishikawa, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
    • Organizer
      International Conference on Artificial Life and Robotics
    • Place of Presentation
      大分
    • Year and Date
      2015-01-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] Monitoring Hadoop by Using IEEE1888 in Implementing Energy-Aware Thread Scheduling2014

    • Author(s)
      Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      IEEE International Conference on Scalable Computing and Communications
    • Place of Presentation
      インドネシア バリ
    • Year and Date
      2014-12-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] A Method to Design Exception Test Cases2014

    • Author(s)
      Shuichiro Yamamoto, Shuji Morisaki
    • Organizer
      8th International Conference on Project Management
    • Place of Presentation
      マレーシア クアラルンプール
    • Year and Date
      2014-12-04
    • Related Report
      2014 Annual Research Report
  • [Presentation] アジアにおけるソフトウェア工学分野の産官学国際連携の取組みについて2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      CKP-QGPOP 合同研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2014-12-03
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] IT 分野における産学連携による実践型教育と課題2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      To-collabo プログラム 中間報告会
    • Place of Presentation
      熊本市
    • Year and Date
      2014-11-22
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] フォーマルメソッドに基づく安全安心な社会基盤としての ICT システム開発について2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      IEEE Hiroshima Section
    • Place of Presentation
      岡山市
    • Year and Date
      2014-11-05
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Verifying Curve25519 Software2014

    • Author(s)
      Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
    • Organizer
      ACM SIGSAC Conference on Computer and Communications Security
    • Place of Presentation
      米国 アリゾナ
    • Year and Date
      2014-11-04
    • Related Report
      2014 Annual Research Report
  • [Presentation] An Evaluation of Assuring Test Case Sufficiency using A D-Case Pattern2014

    • Author(s)
      Shuichiro Yamamoto, Shuji Morisaki
    • Organizer
      4th Workshop on Open Systems Dependability
    • Place of Presentation
      イタリア ナポリ
    • Year and Date
      2014-11-03 – 2014-11-06
    • Related Report
      2014 Annual Research Report
  • [Presentation] The Method of D-Case Development Using HAZOP Analysis on UML Models2014

    • Author(s)
      Feng Ding, Shuichiro Yamamoto, Nada Olayan
    • Organizer
      11th Joint Conference on Knowledge-Based Software Engineering
    • Place of Presentation
      ロシア ボルゴグラード
    • Year and Date
      2014-09-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)2014

    • Author(s)
      Nada Olayan, Shuichiro Yamamoto
    • Organizer
      11th Joint Conference on Knowledge-Based Software Engineering
    • Place of Presentation
      ロシア ボルゴグラード
    • Year and Date
      2014-09-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] A Formalization of Assurance Case Development2014

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      11th Joint Conference on Knowledge-Based Software Engineering
    • Place of Presentation
      ロシア ボルゴグラード
    • Year and Date
      2014-09-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Requirements Development of Energy Management System for a Unit in Smart Campus2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      3rd International Conference on Institutional Research and Institutional Management
    • Place of Presentation
      北九州市
    • Year and Date
      2014-09-02
    • Related Report
      2014 Annual Research Report
  • [Presentation] Thread Weight Readjustment Scheduler: A Proportional Share CPU Scheduler for Multithreaded Processes2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      2nd International Conference on Smart Computing and Artificial Intelligence
    • Place of Presentation
      北九州市
    • Year and Date
      2014-09-02
    • Related Report
      2014 Annual Research Report
  • [Presentation] Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      2nd FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      インド ハイデラバード
    • Year and Date
      2014-06-03
    • Related Report
      2014 Annual Research Report
  • [Presentation] Applying Eco-Threading Framework to Memory-Intensive Hadoop Applications2014

    • Author(s)
      Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      5th International Conference on Information Science and Applications
    • Place of Presentation
      韓国 ソウル
    • Year and Date
      2014-05-06 – 2014-05-09
    • Related Report
      2014 Annual Research Report
  • [Presentation] 安全安心な社会基盤としての IT システム構築のための有用性の高いフォーマルメソッド2014

    • Author(s)
      荒木 啓二郎
    • Organizer
      情報処理学会九州支部
    • Place of Presentation
      福岡市
    • Year and Date
      2014-04-25
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Creation of Assurance Case Using Collaboration Diagram2014

    • Author(s)
      Takuya Saruwatari, Shuichiro Yamamoto
    • Organizer
      Information & Communication Technology-EurAsia Conference
    • Place of Presentation
      インドネシア バリ
    • Year and Date
      2014-04-14 – 2014-04-17
    • Related Report
      2014 Annual Research Report
  • [Presentation] An Evaluation of Argument Patterns Based on Data Flow2014

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      Information & Communication Technology-EurAsia Conference
    • Place of Presentation
      インドネシア バリ
    • Year and Date
      2014-04-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification2014

    • Author(s)
      K. Nishikawa
    • Organizer
      Int'l Conf. on Artificial Life and Robotics
    • Place of Presentation
      Oita, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] 新しいハザード分析手法STAMP/STPAのクラウドサービスへの適用試行2014

    • Author(s)
      日下部 茂
    • Organizer
      情報処理学会 九州支部 火の国情報シンポジウム2014
    • Place of Presentation
      大分市
    • Related Report
      2013 Annual Research Report
  • [Presentation] Prototyping Core Software of Energy Management System for Smart Campus with Advanced Software Engineering Methods2014

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      2nd International Conference on Green Computing, Technology and Innovation
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Related Report
      2013 Annual Research Report
  • [Presentation] 活動記述に基づく活動完了基準作成法の提案2014

    • Author(s)
      山本 修一郎
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Related Report
      2013 Annual Research Report
  • [Presentation] D-Caseを用いたビジネスプロセスの妥当性の考察2014

    • Author(s)
      村井 謙太
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      那覇市
    • Related Report
      2013 Annual Research Report
  • [Presentation] 要求モデルに基づくアーキテクチャ・モデルの作成法の提案2014

    • Author(s)
      山本 修一郎
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      那覇市
    • Related Report
      2013 Annual Research Report
  • [Presentation] 際どい実行順序を考慮した並行システム検証に関する考察2014

    • Author(s)
      張 漢明
    • Organizer
      情報処理学会 第165回SLDM・第32回EMB合同研究会
    • Place of Presentation
      沖縄県 石垣市
    • Related Report
      2013 Annual Research Report
  • [Presentation] ディペンダブルケースを中間表現としたフォーマルな仕様記述手法2014

    • Author(s)
      大森 洋一
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Related Report
      2013 Annual Research Report
  • [Presentation] Applying Eco-Threading Framework to Memory-Intensive Hadoop Applications2014

    • Author(s)
      Hiroaki Takasaki
    • Organizer
      5th International Conference on Information Science and Applications
    • Place of Presentation
      Seoul, Korea
    • Related Report
      2013 Annual Research Report
  • [Presentation] Preliminary Evaluation of Eco-Threading Framework for Commodity Platform2013

    • Author(s)
      Shouta Nagashima
    • Organizer
      IEEE International Green Computing Conference
    • Place of Presentation
      岐阜市
    • Related Report
      2013 Annual Research Report
  • [Presentation] プロセス改善における形式手法の活用の検討2013

    • Author(s)
      日下部 茂
    • Organizer
      ソフトウェア・シンポジウム 2013
    • Place of Presentation
      岐阜市
    • Related Report
      2013 Annual Research Report
  • [Presentation] パターンを用いたフォールト検出2013

    • Author(s)
      張 漢明
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2013
    • Place of Presentation
      東京
    • Related Report
      2013 Annual Research Report
  • [Presentation] An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol2013

    • Author(s)
      Xiaoyun Guo
    • Organizer
      2nd International Workshop on Formal Techniques for Safety-Critical Systems
    • Place of Presentation
      Queenstown, New Zealand
    • Related Report
      2013 Annual Research Report
  • [Presentation] Illustrating the Effect of Formal Methods on Software Process with a Standard Model2013

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      International Conference on Advanced Software Engineering and Information Systems
    • Place of Presentation
      Jakarta, Indonesia
    • Related Report
      2013 Annual Research Report
  • [Presentation] A Distributed Agile Formal Specification Environment2013

    • Author(s)
      Yoichi Omori
    • Organizer
      International Conference on Advanced Software Engineering and Information Systems
    • Place of Presentation
      Jakarta, Indonesia
    • Related Report
      2013 Annual Research Report
  • [Presentation] Tomohiro Oda and Keijiro Araki: Overview of VDMPad: An Interactive Tool for Formal Specification with VDM2013

    • Author(s)
      Tomohiro Oda
    • Organizer
      International Conference on Advanced Software Engineering and Information Systems
    • Place of Presentation
      Jakarta, Indonesia
    • Related Report
      2013 Annual Research Report
  • [Presentation] パターンを用いたフォールト検出法2013

    • Author(s)
      張 漢明
    • Organizer
      日本ソフトウェア科学会 20回ソフトェア工学の基礎ワークショップ
    • Place of Presentation
      石川県 加賀市
    • Related Report
      2013 Annual Research Report
  • [Presentation] SMT-based Bounded Model Checking for OSEK/VDX Applications2013

    • Author(s)
      Haitao Zhang
    • Organizer
      20th Asia-Pacific Software Engineering Conference
    • Place of Presentation
      Bangkok, Thailand
    • Related Report
      2013 Annual Research Report
  • [Presentation] Achieving Better Fairness for Multithreaded Programs in Linux using Group Threads Scheduler2013

    • Author(s)
      Samih M. Mostafa
    • Organizer
      International Workshop on ICT
    • Place of Presentation
      Beppu, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] ソフトウェアの開発現場で使える適用性と有用性の高いフォーマルメソッド2013

    • Author(s)
      荒木 啓二郎
    • Organizer
      第16回組込みシステム開発技術展
    • Place of Presentation
      東京
    • Related Report
      2013 Annual Research Report
  • [Presentation] 議論分解パターンに基づくディペンダビリティケースの作成実験2013

    • Author(s)
      山本 修一郎
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      横浜市
    • Related Report
      2013 Annual Research Report
  • [Presentation] Effective Introduction of Rigorous Specification to High-Quality Software Development2013

    • Author(s)
      Keijiro Araki
    • Organizer
      7th Asia-Pacific Council on Systems Engineering Conference
    • Place of Presentation
      Yokohama, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] SEMATと保証ケースの関係についての考察2013

    • Author(s)
      山本 修一郎
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      東京都 調布市
    • Related Report
      2013 Annual Research Report
  • [Presentation] 運用手順に対するアシュアランスケース作成法の比較評価2013

    • Author(s)
      高間 翔太
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      東京都 調布市
    • Related Report
      2013 Annual Research Report
  • [Presentation] A classification method in identifying security patterns for a dependable Security Case -- From Security Patterns to D-Case2013

    • Author(s)
      Vaise Patu
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      東京都 調布市
    • Related Report
      2013 Annual Research Report
  • [Presentation] VDM++を用いたデシジョンテーブル生成支援について2013

    • Author(s)
      西川 拳太
    • Organizer
      電気関係学会九州支部連合大会
    • Place of Presentation
      熊本市
    • Related Report
      2013 Annual Research Report
  • [Presentation] ソフトウェア開発プロセスモデルを用いた形式手法導入の検討2013

    • Author(s)
      日下部 茂
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      金沢市
    • Related Report
      2013 Annual Research Report
  • [Presentation] ドメイン用語辞書の再利用に向けたグループ化2013

    • Author(s)
      大森 洋一
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      金沢市
    • Related Report
      2013 Annual Research Report
  • [Presentation] 設計時の決定における依存関係の表記法2013

    • Author(s)
      大森 洋一
    • Organizer
      情報処理学会 プログラミング研究会
    • Place of Presentation
      鹿児島県奄美市
    • Related Report
      2012 Annual Research Report
  • [Presentation] ツールによる形式モデルの成熟度測定法の提案2013

    • Author(s)
      井上 心太
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Related Report
      2012 Annual Research Report
  • [Presentation] 規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告 ~ Openflowコントローラ開発への形式手法導入 ~2013

    • Author(s)
      金丸 将平
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Related Report
      2012 Annual Research Report
  • [Presentation] アーキテクチャ指向開発における形式手法の適用に関する考察2013

    • Author(s)
      張 漢明
    • Organizer
      情報処理学会研究報告 組込みシステム研究会
    • Place of Presentation
      長崎県対馬市
    • Related Report
      2012 Annual Research Report
  • [Presentation] パターンを用いたフォールトの検出に関する考察2012

    • Author(s)
      張 漢明
    • Organizer
      ソフトウェア・シンポジウム 2012
    • Place of Presentation
      福井市
    • Related Report
      2012 Annual Research Report
  • [Presentation] QN-GENの機能拡張に対する形 式手法導入のPBL事例2012

    • Author(s)
      三善 浩司
    • Organizer
      電子情報通信学会 第17回ネットワークソフトウェア研究会
    • Place of Presentation
      香川県小豆郡小豆島町
    • Related Report
      2012 Annual Research Report
  • [Presentation] ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討2012

    • Author(s)
      吉田 信明
    • Organizer
      電子情報通信学会 ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市
    • Related Report
      2012 Annual Research Report
  • [Presentation] 並行システム記述におけるフォールトパターンに関する考察2012

    • Author(s)
      張 漢明
    • Organizer
      電子情報通信学会 ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市
    • Related Report
      2012 Annual Research Report
  • [Presentation] QN-GENの拡張機能開発における 形式手法の適用事例2012

    • Author(s)
      三善 浩司
    • Organizer
      SDN Japan 2012
    • Place of Presentation
      東京
    • Related Report
      2012 Annual Research Report
  • [Presentation] フォールトパターンを用いたデバッグ支援2012

    • Author(s)
      張 漢明
    • Organizer
      日本ソフトウェア科学会 第19回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      大分県由布市
    • Related Report
      2012 Annual Research Report
  • [Presentation] Good Practice of Applying Formal Metohds to Software Development

    • Author(s)
      Keijiro Araki
    • Organizer
      POSTECH Software Engineering Seminar
    • Place of Presentation
      Pohang, Korea
    • Related Report
      2013 Annual Research Report
  • [Presentation] 高信頼性保証エンタープライズアーキテクチャ標準O-DAの概要と課題

    • Author(s)
      徳野 達也
    • Organizer
      人工知能学会 知識流通ネットワーク研究会
    • Place of Presentation
      名古屋市
    • Related Report
      2013 Annual Research Report
  • [Presentation] メソッド・アーキテクチャ手法に基づく重要安全ソフトウェア開発運用手法の提案

    • Author(s)
      山本 修一郎
    • Organizer
      人工知能学会 知識流通ネットワーク研究会
    • Place of Presentation
      名古屋市
    • Related Report
      2013 Annual Research Report
  • [Presentation] Overview of Architecture-Oriented Formal Methods

    • Author(s)
      Keijiro Araki
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Argument Algebra -- A Formalization of Assurance Case Development

    • Author(s)
      Shuichiro Yamamoto
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Illustrating the Effect of Formal Methods on Software Processes with Standard Process Models

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Tool support for traceabilty of semantic chunk between specifications

    • Author(s)
      Yoichi Omori
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Towards Model Checking VDM Specifications

    • Author(s)
      Hsin-Hung Lin
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] 議論パターンによるシステム高信頼性保証知識の再利用

    • Author(s)
      山本 修一郎
    • Organizer
      人工知能学会 知識流通ネットワーク研究会
    • Place of Presentation
      東京都 小金井市
    • Related Report
      2013 Annual Research Report
  • [Presentation] Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      2nd FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      Hyderabad, India
    • Related Report
      2013 Annual Research Report
  • [Presentation] アーキテクチャ指向検証ケースの研究構想について

    • Author(s)
      山本 修一郎
    • Organizer
      第3回形式手法の産業応用ワークショップ
    • Place of Presentation
      京都市
    • Related Report
      2012 Annual Research Report
    • Invited
  • [Presentation] Feature Models and Formal Methods: How to Formalize Feature Models?

    • Author(s)
      Keijiro Araki
    • Organizer
      Software Engineering Seminar, POSTECH
    • Place of Presentation
      Pohang, Korea
    • Related Report
      2012 Annual Research Report
  • [Presentation] アーキテクチャに基づく検証ケースの提案

    • Author(s)
      山本 修一郎
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Related Report
      2012 Annual Research Report
  • [Book] はじめての STAMP/STPA(実践編)~ システム思考に基づく新しい安全解析手法 ~2017

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      82
    • Publisher
      情報処理推進機構
    • Related Report
      2016 Annual Research Report
  • [Book] はじめての STAMP/STPA ~ システム思考に基づく新しい安全解析手法 ~2016

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      63
    • Publisher
      情報処理推進機構
    • Related Report
      2016 Annual Research Report
  • [Book] 現代エンタープライズ・アーキテクチャ概論 ー ArchiMate 入門2016

    • Author(s)
      山本 修一郎
    • Total Pages
      132
    • Publisher
      デザインエッグ社
    • Related Report
      2016 Annual Research Report
  • [Book] アーキテクチャ論2013

    • Author(s)
      山本修一郎
    • Total Pages
      173
    • Publisher
      三省堂書店(オンデマンド)
    • Related Report
      2013 Annual Research Report
  • [Book] 実務家のための形式手法 厳密な仕様記述を志すための形式手法入門 第二版2013

    • Author(s)
      荒木 啓二郎
    • Total Pages
      294
    • Publisher
      独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター
    • Related Report
      2012 Annual Research Report
  • [Book] 実務家のための形式手法 厳密な仕様記述を志すための形式手法入門 対象を如何にモデル化するか2013

    • Author(s)
      佐原 伸
    • Total Pages
      182
    • Publisher
      独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター
    • Related Report
      2012 Annual Research Report
  • [Book] 実務家のための形式手法 厳密な仕様記述を志すための形式手法入門 厳密な仕様記述入門2013

    • Author(s)
      酒匂 寛
    • Total Pages
      204
    • Publisher
      独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター
    • Related Report
      2012 Annual Research Report
  • [Remarks] アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化

    • URL

      http://aofa.csce.kyushu-u.ac.jp/

    • Related Report
      2016 Annual Research Report 2015 Annual Research Report
  • [Remarks] FMVDM

    • Related Report
      2016 Annual Research Report
  • [Remarks] VDMPad

    • URL

      http://vdmpad.csce.kyushu-u.ac.jp

    • Related Report
      2015 Annual Research Report
  • [Remarks] アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化

    • URL

      http://aofa.csce.kyushu-u.ac.jp

    • Related Report
      2014 Annual Research Report
  • [Remarks] VDMPad サーバー

    • URL

      http://vdmpad.csce.kyushu-u.ac.jp

    • Related Report
      2014 Annual Research Report
  • [Remarks] アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化

    • URL

      http://aofa.csce.kyushu-u.ac.jp/

    • Related Report
      2013 Annual Research Report
  • [Funded Workshop] 1st STAMP Workshop in Japan2016

    • Place of Presentation
      福岡市
    • Year and Date
      2016-12-05
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] Symposium on Architecture Oriented Formal Methods2015

    • Place of Presentation
      名古屋市 南山大学
    • Year and Date
      2015-09-11
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2012-11-27   Modified: 2022-02-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi