Ohnishi Atsushi 大西淳

… Alternative Names

OHNISHI Atsushi 大西淳

Less

Researcher Number	50160560
Other IDs
External Links
Affiliation (Current)	2025: 立命館大学, 情報理工学部, 教授
Affiliation (based on the past Project Information) *help	2010 – 2023: 立命館大学, 情報理工学部, 教授 2004 – 2008: Ritsumeikan University, College of Information Science & Engineering, Professor, 情報理工学部, 教授 1994 – 2003: 立命館大学, 理工学部, 教授 1986 – 1987: 京都大学, 大型計算機センター, 助手
Review Section/Research Field	Principal Investigator 計算機科学 / Software / Software / Basic Section 60050:Software-related Except Principal Investigator 計算機科学 / Software / Informatics
Keywords	Principal Investigator シナリオ分析 / ソフトウェア開発 / 要求定義 / 要求工学 / Software Development / Requirements Definition / Requirements Analysis / 要求分析 / 要求定義支援 / 要求獲得支援 … More / シナリオを用いた要求定義 / 差分シナリオ / シナリオを用いた要求獲得 / 要求仕様化支援 / 要求文書の検証 / 日本語要求の検証 / 日本語要求の抽出と検証 / シナリオの部品可 / シナリオ生成支援 / Scenario analysis / Requirements analysis / Software development / Viewpoints / Scenario Analysis / シナリオ / ビューポイント / software development / software specification / requirements specification / requirements definition / 仕様の誤り検出 / 仕様変更 / 要求仕様 / ソフトウエア開発 / ソフトウェア仕様化 / 要求仕様化技法 / Specification Database / Requirements Specification / 仕様データベース / ソフトウェア要求仕様 / ソフトウェア要求定義 / Object-oriented Analysis / オブジェクト指向分析 / シナリオ類似度 / シナリオ再利用 / 要求獲得 / シナリオ検索 / シナリオ生成 / シナリオ差分情報 … More Except Principal Investigator parallel programming / 並列プログラミング / ソフトウェア工学 / PC cluster / PCクラスタ / threads / parallel algorithms / case-based reasoning / 事例検索 / スレッド / タスク分割 / 並列アルゴリズム / 事例ベース推論 / Software Productibity / Sofrware Desigh with Good quality / Definition of Software Requitements / Definition of Requirements Specification / ソフトウェア生産性 / ソフトウェア開発 / 高品質ソフトウェア設計 / ソフトウェア仕様定義 / 要求仕様定義 / Expert Systems / Programming Environment / Object Oriented Languages / Software Reusing / ソフトウェアの再利用 / オブジェクト指向言語 / オブジェクト指向プログラミング / ライブラリ検索 / エキスパートシステム / プログラミング環境 / オブジェクト指向型言語 / ソフトウエアの再利用 / Version Control / Requirements Engineering / Software Evolution / Repository / Software Engineering / Improvement of Software Development / ソフトウェア学 / 構成管理 / 版管理 / 要求工学 / ソフトウェア進化 / リポジトリ / ソフトウェア開発効率・安定化 / Use Case / Software Package / Scenario Analysis / Thesaurus / Goal-Oriented Analysis / Requirements Elicitation Method / シナリオ / ユースケース / ソフトウェアパッケージ / シナリオ分析 / シソーラス / ゴール指向要求分析法 / ソフトウェア要求獲得法 / streaming / synchronized multi-media / parallel computing / ストリーミング / 同期マルチメディア / 並列処理 / program skeletons / case retrieval / task division / 部品化 / プログラムスケルトン / case adaptation / case retvieval / task dirision / indlces / 事例修正 / インデックス / プロセス改善 / ソフトウェア品質 / 品質特性 / リスク管理 / 非機能要求 / EVM / プロジェクトマネジメント / 品質評価 / 要求仕様 Less

Verification method of requirements documents with a natural languagePrincipal Investigator
- Principal Investigator
  
  Ohnishi Atsushi
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Ritsumeikan University
Developing method of scenarios using scenario partsPrincipal Investigator
- Principal Investigator
  
  Ohnishi Atsushi
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
A method of retrieving scenarios using differential scenarioPrincipal Investigator
- Principal Investigator
  
  Ohnishi Atsushi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
Research on Scenario Generation using Differential ScenariosPrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
Research on Quality Evaluation Metrics in Requirements Engineering
- Principal Investigator
  
  HIROTA Toyohiko
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kyushu Sangyo University
Research on Software Requirements Elicitation and Evolution using Repository Technology
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Research on Scenario Verification Method with RulesPrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
Research on Package-Oriented Requirements Engineering
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  TOKYO INSTITUTE OF TECHNOLOGY
Research on Scenario Analysis based on ViewpointsPrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
Study on parallel programming education using synchronized multi-media
- Principal Investigator
  
  YAMAZAKI Katsuhiro
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Supporting methods for detecting and correcting errors in software requirementsPrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Study on Case-Based Parallel Programming for Multi-threads
- Principal Investigator
  
  YAMAZAKI Katsuhiro
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Study on Case Based Parallel Programing
- Principal Investigator
  
  YAMAZAKI Katsuhiro
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Research on Software Requirements Specification DatabasePrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Research on Verification of Models in Object-oriented AnalysisPrincipal Investigator
- Principal Investigator
  
  OHNISHI Atsushi
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Ritsumeikan University
Research on Object Oriented Programming System for Reusing Classes
- Principal Investigator
  
  OHNO Yutaka
- Project Period (FY)
  1986 – 1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  Kyoto University
Development of sofrware Requirements Definition Environment on the basis of Requirments Frame Model
- Principal Investigator
  
  OHNO Yutaka
- Project Period (FY)
  1986 – 1987
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research
- Research Field
  
  Informatics
- Research Institution
  Kyoto University

[Book] 要求工学2024
- Author(s)
  中谷多哉子、大西淳
- Total Pages
  280
- Publisher
  放送大学教育振興会
- ISBN
  9784595142031
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] 拡張操作履歴グラフによるリファクタリングの理解支援2023
- Author(s)
  大森隆行、大西　淳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 40 Pages: 97-116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] Supporting change management of UML class diagrams2023
- Author(s)
  Numa Yusuke、Ohnishi Atsushi
- Journal Title
  
  Procedia Computer Science
  
  Volume: 225 Pages: 208-217
- DOI
  10.1016/j.procs.2023.10.005
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] 要求獲得における質疑応答履歴のグラフデータベースシステムの実現2022
- Author(s)
  今堀由唯、加藤潤三、林晋平、大西淳、佐伯元司
- Journal Title
  
  ソフトウェア工学の基礎
  
  Volume: XXIX Pages: 123-128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] Supporting Change Management of Sequence Diagrams2020
- Author(s)
  Odamura Toshitaka, Omori Takayuki, Ohnishi Atsushi
- Journal Title
  
  Learning and Analytics in Intelligent Systems
  
  Volume: 19 Pages: 35-46
- DOI
  10.1007/978-3-030-53949-8_4
- ISBN
  9783030539481, 9783030539498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] Verification method of reliability requirements2019
- Author(s)
  Yamada, S., Omori, T. and Ohnishi, A.
- Journal Title
  
  Proc. 23rd International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES2019)
  
  Volume: 1 Pages: 471-480
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] Ripple Effect Analysis of Data Flow Requirements2019
- Author(s)
  Hung, B., Omori, T. and Ohnishi, A.
- Journal Title
  
  Proc. 14th International Conference on Software Technologies (ICSOFT 2019)
  
  Volume: 1 Pages: 262-269
- DOI
  10.5220/0007917902620269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11913
[Journal Article] Ripple Effect Analysis Method of Data Flow Diagrams in Modifying　Data Flow Requirements2018
- Author(s)
  Jo Heayyoung, Takayuki Omori, Atsushi Ohnishi
- Journal Title
  
  Proceedings of the 12th Joint Conference on　Knowledge-Based Software Engineering (JCKBSE 2018)
  
  Volume: SIST108 Pages: 1-11
- DOI
  10.1007/978-3-319-97679-2_1
- ISBN
  9783319976785, 9783319976792
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00112
[Journal Article] A Method of Verifying Time-Response Requirements2018
- Author(s)
  Yuma Matsumoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 7 Pages: 1725-1732
- DOI
  10.1587/transinf.2017KBP0010
- NAID
  130007386822
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-07-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00112
[Journal Article] Transformation Method from Scenario to Sequence Diagram2018
- Author(s)
  Yousuke Morikawa, Takayuki Omori, Atsushi Ohnishi
- Journal Title
  
  Proceedings of the 10th International Conference on Knowledge Management and Information Sharing (KMIS2018)
  
  Volume: Vol.3 Pages: 136-143
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00112
[Journal Article] 要求獲得のためのシソーラス構築支援2016
- Author(s)
  加藤潤三、佐伯元司、大西　淳、海谷治彦、林　晋平、山本修一郎
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 57 Pages: 1576-1589
- NAID
  170000131003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00112
[Journal Article] 要求獲得のためのシソーラス構築支援2016
- Author(s)
  加藤潤三, 佐伯元司, 大西淳, 海谷治彦, 林晋平, 山本修一郎
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 57
- NAID
  170000131003
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330093
[Journal Article] Scenario Retrieval Method Using Differential Scenario2016
- Author(s)
  Eiji Shiota, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E99.D Issue: 9 Pages: 2202-2209
- DOI
  10.1587/transinf.2015KBP0001
- NAID
  130005262006
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00112
[Journal Article] Rule-Based Verification Method of Requirements Ontology2014
- Author(s)
  Dang V. Dzung, Bui Q. Huy, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. INF. & System
  
  Volume: E97-D
- NAID
  130004519217
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330093
[Journal Article] Ontology-Based Checking Method of Requirements Specification2014
- Author(s)
  Dang Viet Dzung, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E97.D Issue: 5 Pages: 1028-1038
- DOI
  10.1587/transinf.E97.D.1028
- NAID
  130004519218
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330093
[Journal Article] Rule-Based Verification Method of Requirements Ontology2014
- Author(s)
  Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E97.D Issue: 5 Pages: 1017-1027
- DOI
  10.1587/transinf.E97.D.1017
- NAID
  130004519217
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330093
[Journal Article] 機能要求に必要な品質要求の機械学習による予測法2013
- Author(s)
  田中賢、海谷治彦、大西淳
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J96-D Pages: 2646-2656
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330093
[Journal Article] Scenario Generation Using Differential Scenario Information2012
- Author(s)
  Masayuki Makino, Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 4 Pages: 1044-1051
- DOI
  10.1587/transinf.E95.D.1044
- NAID
  10030942069
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] Scenario Generation using Differential Information2012
- Author(s)
  Masayuki Makino, Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information & Systems
  
  Volume: E95-D(印刷中)(掲載確定)(未定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame2012
- Author(s)
  Haruhiko Kaiya, Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: Vol. E95-D, No.4 Pages: 1031-1043
- NAID
  10030942041
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] Quality Requirements Analysis using Requirements Frame2011
- Author(s)
  Haruhiko Kaiya, Atsushi Ohnishi
- Journal Title
  
  Proc.of the 11th International Conference on Quality Software (QSIC 2011)
  
  Pages: 198-207
- DOI
  10.1109/qsic.2011.21
- NAID
  110008106378
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] シナリオ差分に基づくシナリオ検索支援手法2011
- Author(s)
  吉田裕作、大西淳
- Journal Title
  
  ソフトウェア工学の基礎
  
  Volume: XVIII Pages: 41-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] A Method of Scenario Retrieval using Similar Information of Scenarios2010
- Author(s)
  A.Ohnishi, Y.Yoshida
- Journal Title
  
  Proc.of the 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010)
  
  Pages: 195-209
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] Visualized Scenario Classification Method2010
- Author(s)
  Y.Yoshida, A.Ohnishi
- Journal Title
  
  Proc.of the 10th International Conference on Quality Software (QSIC 2010)
  
  Pages: 306-311
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] A Generation Method of Alternative Scenarios with a Normal Scenario2010
- Author(s)
  Atsushi Ohnishi , Koji Kitamoto
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E93-D Issue: 4 Pages: 693-701
- DOI
  10.1587/transinf.E93.D.693
- NAID
  10026814696
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] A Generation Method of Alternative Scenarios with a Normal Scenario2010
- Author(s)
  A.Ohnishi, K.Kitamoto
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E93-D Pages: 693-701
- NAID
  10026814696
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500039
[Journal Article] A Generation Method of Exceptional Scenarios from a Normal Scenario2008
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E91-D
  
  Pages: 881-887
- NAID
  10026802402
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500034
[Journal Article] A Generation Method of Exceptional Scenarios from a Normal Scenario2008
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems E91-D
  
  Pages: 881-887
- NAID
  10026802402
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500034
[Journal Article] 差分分析による要求仕様の管理支援2007
- Author(s)
  清水可奈子, 大西淳
- Journal Title
  
  情報処理学会ウィンターワークショップ・イン・那覇 2007・3
  
  Pages: 47-48
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] A Generation Method of Exceptional Scenarios from a Normal Scenario2006
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  Proc. of the 7th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'06)
  
  Pages: 125-134
- NAID
  10026802402
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] 正常シナリオからの代替シナリオ作成支援2006
- Author(s)
  大西淳
- Journal Title
  
  ソフトウェア工学の基礎 XIII
  
  Pages: 83-92
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] セキュリティ評価基準に基づいたアスペクト指向シナリオによるセキュリティ要求獲得手法2006
- Author(s)
  糸賀裕弥, 大西淳
- Journal Title
  
  ソフトウェア工学の基礎 XIII
  
  Pages: 93-102
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] 正常シナリオを用いた例外シナリオの導出支援2006
- Author(s)
  首藤寛樹, 山本泰士, 大西淳
- Journal Title
  
  電子情報通信学会技術研究報告 106・324
  
  Pages: 43-48
- NAID
  110004851229
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] A Generation Method of Alternative Scenarios from a Normal Scenario2006
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  Proceedings of the JSSST Workshop on Foundation of Software Engineering Vol.XIII (FOSE'06)
  
  Pages: 83-92
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] Security Requirements Elicitation with Aspect-oriented Scenarios based on Security Evaluation Criteria2006
- Author(s)
  Hiroya Itoga, Atsushi Ohnishi
- Journal Title
  
  Proceedings of the JSSST Workshop on Foundation of Software Engineering Vol.XIII (FOSE'06)
  
  Pages: 93-102
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] オントロジーを用いた要求獲得手法の評価2006
- Author(s)
  大西淳, 加藤潤三
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会 106・382
  
  Pages: 25-30
- NAID
  110005717732
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] 差分分析による要求仕様の管理支援手法2006
- Author(s)
  清水可奈子, 大西淳
- Journal Title
  
  電子情報通信学会ソフトウェアサイエンス研究会 105・596
  
  Pages: 23-28
- NAID
  110004662811
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] Improvement of the Correctness of Scenarios with Rules2006
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems pp.1337-1346
  
  Pages: 1337-1346
- NAID
  110007504486
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] 差分分析による要求仕様の管理支援手法2006
- Author(s)
  清水加奈子, 大西淳
- Journal Title
  
  電子情報通信学会技術研究報告 SS2005-76〜82 105・596
  
  Pages: 23-28
- NAID
  110004662811
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] Scenario Weaving for Security Requirements Elicitation2006
- Author(s)
  Hiroya Itoga, Atsushi Ohnishi
- Journal Title
  
  Workshop Report of Early Aspects Workshop at AOSD 2006 (印刷中)
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] Supporting Methods of Generating Alternative Scenarios from a Normal Scenario2006
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  Proc. of the 8th International Conference on Enterprise Information Systems (ICEIS)
  
  Pages: 110-117
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] Evaluation of Requirements Elicitation Method Using Ontology (in Japanese)2006
- Author(s)
  Atsushi Ohnishi, Junzo Kato
- Journal Title
  
  Technical Report of IEICE on Knowledge Based Software Engineering 106, 382
  
  Pages: 25-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] Improvement of the Correctness of Scenarios with Rules2006
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems E89-D・4
  
  Pages: 1337-1346
- NAID
  110007504486
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] A Supporting Method of Management of Software Requirements Specification with Different Analysis (in Japanese)2006
- Author(s)
  Kanako Shimizu, Atsushi Ohnishi
- Journal Title
  
  Technical Report of IEICE on Software Science 105, 596
  
  Pages: 23-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 Vol.104, No.772
  
  Pages: 31-36
- NAID
  110003277294
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Rule-based Verification of Scenarios with pre-conditions and post-conditions2005
- Author(s)
  Tatsuya Toyama, Atsushi Ohnishi
- Journal Title
  
  Proc.of the 13^<th> IEEE International Requirements Engineering Conference (RE'05) (印刷中)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Rule-based Verification of Scenarios with Pre-conditions and Post-conditions2005
- Author(s)
  Tatsuya Toyama, Atsushi Ohnishi
- Journal Title
  
  Proceedings of the 13^<th> IEEE International Requirements Engineering Conference (RE2005)
  
  Pages: 319-328
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] AHPを用いたゴール指向要求分析支援2005
- Author(s)
  井上, 大西
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 Vol.104, No.772
  
  Pages: 25-30
- NAID
  110003277292
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] A Supporting Method of Generating Exceptional Scenarios from a Normal Scenario2005
- Author(s)
  Atsushi Ohnishi
- Journal Title
  
  Proceedings of the JSSST Workshop on Foundation of Software Engineering (FOSE'05) Vol.XII
  
  Pages: 135-144
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] Rule-based Verification of Scenarios with Pre-conditions and Post-conditions2005
- Author(s)
  Tatsuya Toyama, Atsushi Ohnishi
- Journal Title
  
  Proc. 13^<th> IEEE International Requirements Engineering Conference (RE'05) (now printing)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 104, 722
  
  Pages: 31-36
- NAID
  110003277294
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] シナリオのアニメーション表示による妥当性確認支援2005
- Author(s)
  首藤寛樹, 大西淳
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.105・No.228
  
  Pages: 1-6
- NAID
  110003277369
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] A Supporting Method of the Evolution of State Diagrams with Scenarios2005
- Author(s)
  Takuya Kadota, Atsushi Ohnishi
- Journal Title
  
  Proceedings of the 8^<th> IEEE International Workshop on Principles of Software Evolution (IWPSE2005)
  
  Pages: 91-100
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] 正常シナリオからの例外シナリオ作成支援2005
- Author(s)
  大西淳
- Journal Title
  
  ソフトウェア工学の基礎 XII
  
  Pages: 135-144
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] セキュリティ要求にもとづいた振舞いのシナリオへの挿入支援2005
- Author(s)
  糸賀裕弥, 大西淳
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.105・No.
  
  Pages: 319-328
- Data Source
  KAKENHI-PROJECT-17500026
[Journal Article] Requirements Elicitation Method by using Thesaurus(in Japanese)2005
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, S.Koiniya, S.Yamamoto, H.Kaiya
- Journal Title
  
  Technical Report of IEICE on Software Science 104, 722
  
  Pages: 31-36
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] A Transformation Method of Scenarios from Different Viewpoints2004
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc.of the 11th IEEE Asia-Pacific Software Engineering Conference (APSEC2004)
  
  Pages: 492-501
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] A Transformation Method of Scenarios from Different Viewpoints2004
- Author(s)
  Hong Hui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc.of the 11th Asia-Pacific Software Engineering Conference (APSEC2004)
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Developing Thesauruses for Requirements Analysis2004
- Author(s)
  J.Kato, A.Ohnishi, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai
- Journal Title
  
  2nd International Workshop on Requirements and COTS Components (RECOTS'04)
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] A Transformation Method of Scenarios from Different Viewpoints2004
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc. 11^<th> IEEE Asia-Pacific Software Engineering Conference (APSEC'04)
  
  Pages: 492-501
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] 事前条件・事後条件を用いたルールによるシナリオ検証2004
- Author(s)
  外山竜也, 大西淳
- Journal Title
  
  電子情報通信学会技術報告 Vol.104, No.466
  
  Pages: 13-18
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] 正常シナリオからの代替・例外シナリオ作成支援2004
- Author(s)
  北本幸司, 糸賀裕弥, 大西淳
- Journal Title
  
  電子情報通信学会技術報告 Vo.104, No.466
  
  Pages: 19-24
- NAID
  110003277229
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Transformation between Scenarios from Different Viewpoints2004
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  IEICE Transaction on Information and Systems Vol.E87-D, No.4
  
  Pages: 801-810
- NAID
  110003213944
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Transformation between Scenarios from Different Viewpoints2004
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E87-D, No.4
  
  Pages: 801-810
- NAID
  110003213944
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Transformation between Scenarios from Different Viewpoints2004
- Author(s)
  Hong Hui Zhang, Atsushi Ohnishi
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E87-D, No.4
  
  Pages: 801-810
- NAID
  110003213944
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] シナリオにおけるアクタの状態解析の一方法2004
- Author(s)
  糸賀裕弥, 大西淳
- Journal Title
  
  電子情報通信学会技術 Vol.104, No.432
  
  Pages: 19-24
- NAID
  110003299389
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] A Verification Method of the Correctness of Scenarios with Rules2003
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc. JSSST Workshop on Foundation of Software Engineering (FOSE'03)
  
  Pages: 77-80
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] ルールによるシナリオの検証手法2003
- Author(s)
  張紅輝, 大西淳
- Journal Title
  
  ソフトウェア工学の基礎 X
  
  Pages: 77-80
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] 異なる視点で記述されたシナリオの統合支援2003
- Author(s)
  張紅輝, 大西淳
- Journal Title
  
  コンピュータソフトウェア 20・5
  
  Pages: 2-19
- NAID
  110003743128
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] Integration and Evolution Method of Scenarios from Different Viewpoints2003
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc.IEEE International Workshop on Principles of Software Evolution (IWPSE 2003)
  
  Pages: 183-188
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference(APSEC2003)
  
  Pages: 17-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Integration and Evolution Method of Scenarios from Different Viewpoints2003
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Proc. IEEE International Workshop on Principles of Software Evolution (IWPSE 2003)
  
  Pages: 183-188
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference APSEC2003)
  
  Pages: 17-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Supporting the Development of a Thesaurus for Requirements Analysis(in Japanese)2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  Technical Report of IEICE on Knowledge Based Software Engineering 103, 217
  
  Pages: 41-46
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Integration of Scenarios from Different Viewpoints2003
- Author(s)
  HongHui Zhang, Atsushi Ohnishi
- Journal Title
  
  Computer Software, Japan Society for Software Science and Technology Vol.20, No.5
  
  Pages: 2-19
- NAID
  110003299314
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500026
[Journal Article] 要求分析のためのシソーラス作成支援2003
- Author(s)
  加藤, 佐伯, 大西, 永田, 海谷, 古宮, 山本, 蓬莱
- Journal Title
  
  電子情報通信学会技術研究報告知能ソフトウェア工学研究会 103, 217
  
  Pages: 41-46
- NAID
  110003298847
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Presentation] ISO/IEC/IEEE29148における要求検証プロセスに対する一考察2023
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会第69回要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] ISO/IEC/IEEE29148に基づく要求品質の検証2023
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] 繰り返し型開発のための要求工学プロセス：鳴門モデルの提案2023
- Author(s)
  中谷多哉子、大西淳、佐伯元司
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] ISO/IEC/IEEE29148に基づくソフトウェア要求文書の高品質化2023
- Author(s)
  大西淳
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] 自然言語による機能要求文の完全性解析2023
- Author(s)
  成澤直樹、大西淳、小形真平、岡野浩三
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] ISO/IEC/IEEE29148に基づく要求品質の検証手法2023
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会第68回要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] アクティビティ図の差分解析2022
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会第64回要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] IEEE std.830とISO/IEC/IEEE29148の差分解析2022
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] 変更前後のアクティビティ図の差分解析手法2022
- Author(s)
  大西淳
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] plantUMLで記述された状態遷移図の変更支援2022
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] クラス図差分解析手法2020
- Author(s)
  大西　淳
- Organizer
  情報処理学会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] 要求文書からのクラス図作成支援2019
- Author(s)
  大西　淳
- Organizer
  情報処理学会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] データフロー要求変更に伴うDFD波及効果解析手法2019
- Author(s)
  大西　淳
- Organizer
  情報処理学会
- Data Source
  KAKENHI-PROJECT-19K11913
[Presentation] データフロー要求変更に伴うDFD波及効果解析手法2018
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] データフロー要求の変更に伴う波及効果解析2018
- Author(s)
  大西　淳
- Organizer
  電子情報通信学会知能ソフトウェア工学(KBSE)研究会
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] 要求文書からの信頼性要求の抽出と検証2018
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] 差分シナリオを用いたシナリオ生成における適用条件2017
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] 要求変更に伴うDFDの波及効果解析2017
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] A Method for Verifying Non-Functional Requirements2017
- Author(s)
  Atsushi Ohnishi
- Organizer
  Knowledge-Based and Intelligent Information & Engineering Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] A Verification Method of Time-response Requirements2016
- Author(s)
  Atsushi Ohnishi
- Organizer
  International Conference on Software Engineering and Applications (ICSOFT2016)
- Place of Presentation
  Lisbon (Portugal)
- Year and Date
  2016-07-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] シナリオの分類とマップ化2016
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  宇治第一ホテル(京都府・宇治市)
- Year and Date
  2016-09-29
- Data Source
  KAKENHI-PROJECT-16K00112
[Presentation] シナリオ部品の統合化とシナリオ作成支援2016
- Author(s)
  大西　淳
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  宮古島青少年の家(沖縄県宮古島市)
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] 要求フレームを用いた非機能要求の正当性検証手法2015
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  石垣空港会議室（沖縄県石垣市）
- Year and Date
  2015-01-29
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] ビジュアルな要求の差分解析2015
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  姫路商工会議所(兵庫県姫路市)
- Year and Date
  2015-10-29
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] 要求フレームによる非機能要求の検証2015
- Author(s)
  大西　淳
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  沖縄県青年会館(沖縄県那覇市）
- Year and Date
  2015-03-09
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] 要求仕様の部品化支援2015
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  知床第一ホテル(北海道斜里町)
- Year and Date
  2015-05-22
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] A Visualization Tool for Scenario-based Software Development2015
- Author(s)
  Atsushi Ohnishi
- Organizer
  Proc. of the 10th International Joint Conference on Software Technology (ICSOFT2015)
- Place of Presentation
  Colmar, France
- Year and Date
  2015-07-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] 拡張要求フレームによる応答性に関する要求の検証2015
- Author(s)
  大西　淳
- Organizer
  日本ソフトウェア科学会ソフトウェア工学基礎(FOSE)論文集
- Place of Presentation
  ホテル滝の湯(山形県天童市)
- Year and Date
  2015-11-27
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] 要求オントロジーの検証2014
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  KKR熊本(熊本県熊本市)
- Year and Date
  2014-10-09
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] メタモルフィックテスティングに基づくシナリオからのテストケース生成2014
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  ホテル蔵(岩手県一関市)
- Year and Date
  2014-05-22
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] ソフトウェア文書の抽象化に関する一考察2013
- Author(s)
  大西淳
- Organizer
  電子情報通信学会
- Place of Presentation
  石垣市民会館,沖縄県
- Year and Date
  2013-11-01
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] A Verification Method of the Correctness of Requirements Ontology2012
- Author(s)
  Atsushi Ohnishi
- Organizer
  Knowledge-Based Software Engineering
- Place of Presentation
  Rodos, Greece
- Year and Date
  2012-08-25
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] 例外イベント列の正常シナリオへの組み込み支援手法2012
- Author(s)
  大西淳
- Organizer
  電子情報通信学会
- Place of Presentation
  はこだて未来大学,北海道
- Year and Date
  2012-07-27
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオの事前条件と事後条件の定義支援手法2012
- Author(s)
  大西淳
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  ゆふいん山水館,大分県
- Year and Date
  2012-12-14
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] 差分シナリオを用いたシナリオ検索支援2011
- Author(s)
  大西淳
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Place of Presentation
  沖縄青年会館(沖縄県那覇市)
- Year and Date
  2011-03-07
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオを用いた要求定義2011
- Author(s)
  大西淳
- Organizer
  ソフトウェアエンジニアリングシンポジウム2011要求工学ワークショップ
- Place of Presentation
  東京女子大学(東京都)(招待講演)
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオ差分に基づくシナリオ検索支援手法2011
- Author(s)
  大西淳
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  浅虫温泉,青森
- Year and Date
  2011-11-26
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] Visualized Scenario Classification Method2011
- Author(s)
  Atsushi Ohnishi
- Organizer
  Quality Software
- Place of Presentation
  Zhangjiajie, China
- Year and Date
  2011-07-15
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオを用いた要求定義2011
- Author(s)
  大西淳
- Organizer
  情報処理学会
- Place of Presentation
  東京女子大学,東京
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] 差分シナリオを用いたシナリオ検索手法2011
- Author(s)
  大西淳
- Organizer
  情報処理学会ソフトウェア工学研究会要求工学ワークショップ
- Place of Presentation
  小豆島シーサイドホテル松風(香川県)
- Year and Date
  2011-06-23
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] Quality Requirements Analysis using Requirements Frame2011
- Author(s)
  Atsushi Ohnishi
- Organizer
  Quality Software
- Place of Presentation
  Madrid, Spain
- Year and Date
  2011-07-14
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] A Method for Exception Scenarios Generation Using Templates of Exceptions2010
- Author(s)
  Atsushi Ohnishi
- Organizer
  Asia Pacific Software Engineering Conference
- Place of Presentation
  Sydney,Australia.
- Year and Date
  2010-12-02
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオの事前・事後条件取得支援2010
- Author(s)
  大西淳
- Organizer
  電子情報通信学会
- Place of Presentation
  釧路公立大学,北海道
- Year and Date
  2010-07-30
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] A Method of Generation of Scenarios using Differential Scenarios
- Author(s)
  Atsushi Ohnishi
- Organizer
  International Conference on Software Engineering Advances
- Place of Presentation
  Venezia, Italy
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] A Verification Method of the Correctness of Requirements　Ontology
- Author(s)
  Atsushi Ohnishi
- Organizer
  Knowledge-Based Software Engineering
- Place of Presentation
  Rodos, Greece
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] シナリオの事前条件と事後条件の定義支援手法
- Author(s)
  大西　淳
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  ゆふいん山水館，大分県
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] 差分シナリオを用いた類似シナリオ検索
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会第45回要求工学ワークショップ
- Place of Presentation
  対馬グランドホテル（長崎県）
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] シナリオの更新に伴う他のシナリオ群の変更支援
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会第44回要求工学ワークショップ
- Place of Presentation
  ホテルなぎさや（和歌山県）
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] シソーラスを用いた要求仕様の抽象化手法
- Author(s)
  大西　淳
- Organizer
  情報処理学会ソフトウェア工学研究会第43回要求工学ワークショップ
- Place of Presentation
  ホテル季古里（岐阜県）
- Data Source
  KAKENHI-PROJECT-25330093
[Presentation] ソフトウェア文書の抽象化に関する一考察
- Author(s)
  大西　淳
- Organizer
  電子情報通信学会
- Place of Presentation
  石垣市民会館，沖縄県
- Data Source
  KAKENHI-PROJECT-22500039
[Presentation] 例外イベント列の正常シナリオへの組み込み支援手法
- Author(s)
  大西　淳
- Organizer
  電子情報通信学会
- Place of Presentation
  はこだて未来大学，北海道
- Data Source
  KAKENHI-PROJECT-22500039

1. SAEKI Motoshi (80162254)

# of Collaborated Projects: 4 results

# of Collaborated Products: 7 results
2. KAIYA Haruhiko (30262596)

# of Collaborated Projects: 3 results

# of Collaborated Products: 8 results
3. ITOGA Hiroya (00373100)

# of Collaborated Projects: 3 results

# of Collaborated Products: 10 results
4. YAMAZAKI Katsuhiro (70134260)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. NIIMI Haruo (40144331)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. CHUUSHO Takeshi (70257129)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. HASHIMOTO Masaaki (20253560)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. NAKATANI Takako (30431662)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. SHIMAKAWA Hiromitsu (70351327)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. OHNO Yutaka (60026185)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. AJISAKA Tsuneo (30175864)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. AGUSA Kiyoshi (90026360)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. HIROTA Toyohiko (00144402)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SHIROGANE Junko (00329161)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. AMAN Hirohisa (50333513)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. OGURA Harumi (40333190)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. MARUYAMA Katsuhisa (30330012)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. NISHIMURA Toshikazu (00273483)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. KOMIYA Seiichi (60338308)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
20. KOJIMA Kenya

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. KATO Junzo

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
22. YAMAMOTO Shuichiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
23. Morikawa Yousuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
24. Isoda Satsuki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. Miyaji Tsukasa

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. Dang Viet Dzung

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
27. Parwoto Diding Adi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. Heayyoung Jo

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
29. Hung Bui Do Tien

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Ohnishi Atsushi 大西 淳

OHNISHI Atsushi 大西 淳

Research Projects

Research Products

Co-Researchers

Verification method of requirements documents with a natural languagePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing method of scenarios using scenario partsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A method of retrieving scenarios using differential scenarioPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Scenario Generation using Differential ScenariosPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Scenario Verification Method with RulesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Scenario Analysis based on ViewpointsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Supporting methods for detecting and correcting errors in software requirementsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Software Requirements Specification DatabasePrincipal Investigator

Principal Investigator

Project Period (FY)

Ohnishi Atsushi 大西淳

OHNISHI Atsushi 大西淳

[Journal Article] Ripple Effect Analysis Method of Data Flow Diagrams in Modifying　Data Flow Requirements2018