OMORI Yoichi 大森洋一

Researcher Number	20309727
External Links
Affiliation (based on the past Project Information) *help	2016: 九州大学, システム情報科学研究院, 助教 2012 – 2016: 九州大学, システム情報科学研究科(研究院, 助教 2011: 九州大学, 大学院システム情報科学研究院, 助教 2009 – 2011: 九州大学, システム情報科学研究院, 助教 2007: Kyushu University, 大学院・システム情報科学研究院, 助教 2005 – 2006: 九州大学, 大学院システム情報科学研究院, 助手 2004 – 2005: 九州大学, 大学院・システム情報科学研究院, 助手
Review Section/Research Field	Principal Investigator Computer system/Network Except Principal Investigator Software
Keywords	Principal Investigator 要求工学 / ソフトウェア工学 / ドメインモデリング / 仕様獲得 / 形式的仕様 / ドメインモデリング(3) / ソフトウェエア工学 Except Principal Investigator 形式仕様記述 / ソフトウェア工学 / aspect-orientation … More / behavioral analysis / highly reliable systems / case studies / manifold description and analysis / embedded software / formal specification / system modeling / モデル検査 / システム特性 / アスペクト志向 / アスペクト指向 / 振舞い分析 / 高信頼性 / 事例研究 / 多面的記述と分析 / 組込みソフトウェア / システムモデル構築 / 高信頼安心安全システム / 予備形式化 / 適用性の高い形式手法 / モデル化支援化ツール / 高適用形式手法 / モデル化支援ツール / ソフトウェアライフサイクル / アーキテクチャ指向モデル化 / 高適用性形式手法 / 高信頼安全安心システム / 導入方法 / ソフトウェア開発法プロセス / 文書品質改善支援 / 形式手法導入方法 / 形式手法人材育成 / 文書品質向上支援 / 形式手法適用支援ツール / 形式手法導入ガイド / 非形式的システム記述 / 形式的システム記述 / フォーマルメソッド適用 / 開発文書品質向上 / 産学連携 / ソフトウェア開発プロセス / フォーメルメソッド適用 Less

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
非形式的仕様記述の効率的形式化に関する研究Principal Investigator
- Principal Investigator
  
  大森洋一
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Kyushu University
System Modeling and Property Interference Analysis in Software Development
- Principal Investigator
  
  ARAKI Keijiro
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  KYUSHU UNIVERCITY

All 2017 2016 2015 2014 2013 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

[Book] 組込み現場の「C」プログラミング標準コーディングガイドライン2007
- Author(s)
  芦原秀一, 荒木啓二朗, 大森洋一, 他
- Total Pages
  216
- Publisher
  技術評論社
- Data Source
  KAKENHI-PROJECT-17700066
[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
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24220001, KAKENHI-PROJECT-25330084
[Journal Article] ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析2015
- Author(s)
  日下部茂、林信宏、大森洋一、荒木啓二郎
- Journal Title
  
  日本ソフトウェア科学会論文誌コンピュータソフトウェア
  
  Volume: 32
- NAID
  130005097120
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24220001
[Journal Article] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて2010
- Author(s)
  大森洋一、荒木啓二郎
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: Vol.3, No.5 Pages: 18-25
- NAID
  110007970944
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300009
[Journal Article] Validation of Stepwise Refinement with Test Cases Generated from Formal Specification2010
- Author(s)
  Shinya Yamada, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori
- Journal Title
  
  Proc.IEEE Region 10 Conference (TENCON2010)
  
  Volume: (CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300009
[Journal Article] Tool Support for Domain Analysis of the Software Specification in Natural Language2010
- Author(s)
  Yoichi Omori, Keijiro Araki
- Journal Title
  
  Proc.IEEE Region 10 Conference (TENCON2010)
  
  Volume: (CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300009
[Journal Article] 背表紙画像を用いたネシトワーク透過な仮想書架2006
- Author(s)
  宮川拓也, 山口恭平, 大森洋一, 池田大輔, 荒木啓二郎
- Journal Title
  
  電子情報通信学会ンフトウェアサイエンス研究会技術研究報告 Vol. 106, No. 426
  
  Pages: 49-54
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] UMLのクラフ図とステートマシン図かVDM++モテル生成の試み2006
- Author(s)
  田端一也, 篠原利幸, 大森洋一, 日下部茂, 荒木啓二郎
- Journal Title
  
  ンフトウェアシンポジウム2006予稿集 Vol. 22, No. 1
  
  Pages: 35-38
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] 仮想書架における背表紙画像生成の自動化2006
- Author(s)
  宮川拓也, 大森洋一, 池田大輔
- Journal Title
  
  ディジタル図書館 30
  
  Pages: 25-38
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] 形式仕様記述における階層アーキテクチャ2005
- Author(s)
  張暁晶, 大森洋一, 荒木啓二郎
- Journal Title
  
  電子情報通信学会技術研究報告 SS-105-491
  
  Pages: 43-48
- NAID
  110003488403
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] A forma specification of entrance system using contactless IC card2005
- Author(s)
  Tatsuo Sumida, Yoichi Omori, Keijiro Araki
- Journal Title
  
  The 7th Proceedings of International Workshop on Future Software Technologies 7
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] Exhaustive Formalization of First-step Requirements2005
- Author(s)
  Yoichi OMORI
- Journal Title
  
  Proceedings of the 7th International Workshop on Future Software Technologies
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] Web上における仮想書架の試作と評価2005
- Author(s)
  山口恭平, 宮川拓也, 大森洋一, 池田大輔
- Journal Title
  
  ディジタル図書館 28
  
  Pages: 27-39
- Data Source
  KAKENHI-PROJECT-17700066
[Journal Article] A Case Study of Software Development with eUML and VDM++2004
- Author(s)
  Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
- Journal Title
  
  Proc.of 3rd International Workshop on Critical Systems Development with UML
  
  Pages: 155-156
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] Software Development with EMbedded UML and VDM2004
- Author(s)
  Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
- Journal Title
  
  Proc.Software Japan 2004(in Japanese)
  
  Pages: 23-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300007
[Presentation] 形式仕様記述を用いた系統的なプロパティベーステストの活用2017
- Author(s)
  馬場勇輔、荒木啓二郎、日下部茂、大森洋一
- Organizer
  情報処理学会ウィンターワークショップ 2017
- Place of Presentation
  岐阜県高山市
- Year and Date
  2017-01-19
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 農場観測を目的としたエッジノードを用いたシステムのモデル化2017
- Author(s)
  村上武史、大森洋一、荒木啓二郎
- Organizer
  情報処理学会火の国シンポジウム 2017
- Place of Presentation
  鹿児島市
- Year and Date
  2017-03-01
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] STAMP/STPA を活用した VDM 仕様記述の構築2017
- Author(s)
  藤崎淳史、荒木啓二郎、大森洋一
- Organizer
  情報処理学会ウィンターワークショップ 2017
- Place of Presentation
  岐阜県高山市
- Year and Date
  2017-01-19
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 要求辞書としての形式手法詳細化手法の提案2017
- Author(s)
  幡亮介、大森洋一、荒木啓二郎、日下部茂
- Organizer
  情報処理学会ウィンターワークショップ 2017
- Place of Presentation
  岐阜県高山市
- Year and Date
  2017-01-19
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 形式仕様記述のプロパティベーステストへの活用2016
- Author(s)
  馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一
- Organizer
  情報処理学会火の国シンポジウム
- Place of Presentation
  宮崎市
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 仕様記述の役割を意識したフォーマルメソッド学習2016
- Author(s)
  西岡貴史、大森洋一、荒木啓二郎
- Organizer
  ソフトウェアエンジニアリングシンポジウム2016
- Place of Presentation
  東京
- Year and Date
  2016-08-31
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] KAOSからのモデル変換に基づく形式仕様構築手法の一般化2016
- Author(s)
  岩本侑也、大森洋一、林信宏、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  吹田市
- Year and Date
  2016-03-14
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 細粒度アクセス制御を行うためのフォーマルなソフトウェア仕様に対する分析事例2016
- Author(s)
  小林竜大、大森洋一、荒木啓二郎
- Organizer
  日本ソフトウェア科学会第 33 回大会
- Place of Presentation
  仙台市
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] DevOps を想定した実行可能仕様によるソフトウェア保守2016
- Author(s)
  大森洋一、荒木啓二郎
- Organizer
  日本ソフトウェア科学会 FOSE 2016
- Place of Presentation
  香川県琴平町
- Year and Date
  2016-12-01
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] Spinを用いたVDM仕様に対するモデル検査適用手法2015
- Author(s)
  林信宏、大森洋一、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  札幌市
- Year and Date
  2015-07-22
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] VDM++仕様から自動生成したJavaコードの振る舞い検証手法の提案2015
- Author(s)
  大森洋一、林信宏、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  川崎市
- Year and Date
  2015-06-04
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認2015
- Author(s)
  大森洋一、林信宏、荒木啓二郎、日下部茂
- Organizer
  日本ソフトウェア科学会ソフトウェア工学の基礎研究会
- Place of Presentation
  天童市
- Year and Date
  2015-11-26
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 自然言語ドキュメントの形式化モデリングについて2015
- Author(s)
  林信宏、大森洋一、日下部茂、荒木啓二郎
- Organizer
  日本ソフトウェア科学会ソフトウェア工学の基礎研究会
- Place of Presentation
  天童市
- Year and Date
  2015-11-26
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討2015
- Author(s)
  大森洋一、林信宏、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  福岡市
- Year and Date
  2015-12-15
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] ディペンダブルケースを中間表現としたフォーマルな仕様記述手法2014
- Author(s)
  大森洋一
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Data Source
  KAKENHI-PROJECT-24220001
[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
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] ドメイン用語辞書の再利用に向けたグループ化2013
- Author(s)
  大森洋一
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  金沢市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 設計時の決定における依存関係の表記法2013
- Author(s)
  大森洋一
- Organizer
  情報処理学会プログラミング研究会
- Place of Presentation
  鹿児島県奄美市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010
- Author(s)
  和田祐介、大森洋一、日下部茂、荒木啓二郎
- Organizer
  ソフトウェア・シンポジウム2010
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上手法2010
- Author(s)
  大森洋一、荒木啓二郎
- Organizer
  情報処理学会プログラミング研究会
- Place of Presentation
  東京
- Year and Date
  2010-06-14
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上手法2010
- Author(s)
  大森洋一
- Organizer
  第170回情報処理学会プログラミング研究会
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010
- Author(s)
  和田祐介、大森洋一、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  東京
- Year and Date
  2010-06-01
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] Tool Support for Domain Analysis of the Software Specification inNatural Language2010
- Author(s)
  Yoichi Omori
- Organizer
  Proc. IEEE Region 10 Conference(TENCON2010)
- Place of Presentation
  Fukuoka Japan
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] 状態遷移図の同期モデルへの詳細化および検証手法2010
- Author(s)
  大森洋一、園田貴大、日下部茂、荒木啓二郎
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  大阪
- Year and Date
  2010-11-11
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] 分散ストレージの安全性検証2009
- Author(s)
  大森洋一
- Organizer
  第14回情報処理学会組込みシステム研究会
- Place of Presentation
  名古屋市
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] 分散ストレージの安全性検証2009
- Author(s)
  大森洋一
- Organizer
  情報処理学会組込みシステム研究会
- Place of Presentation
  名古屋市
- Year and Date
  2009-07-24
- Data Source
  KAKENHI-PROJECT-21300009
[Presentation] Application of Model Checking for Robotios2008
- Author(s)
  Masaru, Ochi・Yoichi, Omori・Shigoru, Kusolobo・Keikiro, Araki
- Organizer
  The 3rd Joint Workshop on Embedded and Ubiquitous Computing
- Place of Presentation
  Kyushu University, Fukuoka, Japan
- Year and Date
  2008-01-31
- Data Source
  KAKENHI-PROJECT-17700066
[Presentation] Application of Formal Method for Embedded Systems2008
- Author(s)
  Yoichi, Omori
- Organizer
  The 3rd Joint Workshop on Embedded and Ubiquitous Computing
- Place of Presentation
  Kyushu University, Fukuoka, Japan
- Year and Date
  2008-01-31
- Data Source
  KAKENHI-PROJECT-17700066
[Presentation] A Formal Model Description for Robotics2008
- Author(s)
  Yuya, Inokuchi・Yoichi, Omori・Shigeru, Kusakabe・Keikiro, Araki
- Organizer
  The 3rd Joint Workshop on Embedded and Ubiquitous Computing
- Place of Presentation
  Kyushu University, Fukuoka, Japan
- Year and Date
  2008-01-31
- Data Source
  KAKENHI-PROJECT-17700066
[Presentation] ロボット制御ソフトウェアの形式的モデル検証2007
- Author(s)
  大森洋一, 井ノロ裕也, 荒木啓二郎
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  宮城大学, 仙台, 宮城県
- Year and Date
  2007-10-22
- Data Source
  KAKENHI-PROJECT-17700066
[Presentation] Reuse of Temporal Model in Specification2007
- Author(s)
  Yoichi, Omori
- Organizer
  The 8th Joint Workshop on Embedded Software Development
- Place of Presentation
  Sogang University, Seoul, Korea
- Year and Date
  2007-10-08
- Data Source
  KAKENHI-PROJECT-17700066
[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
- Data Source
  KAKENHI-PROJECT-24220001

1. KUSKABE Shigeru (70234416)

# of Collaborated Projects: 3 results

# of Collaborated Products: 21 results
2. ARAKI Keijiro (40117057)

# of Collaborated Projects: 3 results

# of Collaborated Products: 30 results
3. MOCHIO Hiroshi (60331013)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. CHANG Han-Myung (90329756)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. FUKUDA Akira (80165282)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. NAKANISHI Tsuneo (70311785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 山本修一郎 (20523294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 片山徹郎 (50283932)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. LIN Hsin-Hung

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
10. ODA Tomohiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

OMORI Yoichi 大森 洋一

Research Projects

Research Products

Co-Researchers

Architecture Oriented Formal Approaches to High Quality Software Development

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Formal Methods Applicable to Practical Software Development

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

非形式的仕様記述の効率的形式化に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

System Modeling and Property Interference Analysis in Software Development

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 組込み現場の「C」プログラミング標準コーディングガイドライン2007

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Centrality Analysis of Related Process Areas in a Process Improvement Model CMMI-DEV2015

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Developing Core Software Requirements of Energy Management System for Smart Campus with Advanced Software Engineering2014

Author(s)

Journal Title

Data Source

[Journal Article] 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Validation of Stepwise Refinement with Test Cases Generated from Formal Specification2010

Author(s)

Journal Title

Data Source

[Journal Article] Tool Support for Domain Analysis of the Software Specification in Natural Language2010

Author(s)

Journal Title

Data Source

[Journal Article] 背表紙画像を用いたネシトワーク透過な仮想書架2006

Author(s)

Journal Title

Data Source

[Journal Article] UMLのクラフ図とステートマシン図かVDM++モテル生成の試み2006

Author(s)

Journal Title

Data Source

[Journal Article] 仮想書架における背表紙画像生成の自動化2006

Author(s)

Journal Title

Data Source

[Journal Article] 形式仕様記述における階層アーキテクチャ2005

Author(s)

Journal Title

NAID

Data Source

OMORI Yoichi 大森洋一