研究者学術情報データベース

オオニシ　アツシ
大西　淳
OHNISHI Atsushi

所属情報理工学部情報理工学科

職名教授

論文
1.	2023/01/25	拡張操作履歴グラフによるリファクタリングの理解支援 │ コンピュータソフトウェア │ 40 (1),97-116頁 (共著)
2.	2022/11	要求獲得における質疑応答履歴のグラフデータベースシステムの構築 │ ソフトウェア工学の基礎 │ XXIX,123-128頁 (共著)
3.	2021/11	リファクタリング検出のための拡張操作履歴グラフ │ ソフトウェア工学の基礎 │ XXVIII,121-126頁 (共著)
4.	2021/06	Supporting Software Development Task Understanding by Visualizing Operation History │ Proc. the 18th IEEE/ACIS International Virtual Conference on Software Engineering, Management and Applications (SERA'21) │ ,73-80頁 (共著)
5.	2020/11/19	ソースコード編集操作履歴の視覚化による開発タスク識別支援 │ ソフトウェア工学の基礎 │ XXVII,129-130頁 (共著)
6.	2020/08/25	Supporting Change Management of Sequence Diagrams │ Proc. 13th Joint Conference on Knowledge Based Software Engineering (JCKBSE20) │ ,35-46頁 (共著)
7.	2019/09	Verification Method of Reliability Requirements │ Proc. of the 23rd International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES2019) │ ,471-480頁 (共著)
8.	2019/07	Ripple Effect Analysis of Data Flow Requirements │ Proc. of the 14th International Conference on Software Technologies (ICSOFT 2019) │ ,262-269 (共著)
9.	2019/02	Summarizing Code Changes by Tracing an Operation History Graph │ Proceedings of the 2nd International Workshop on Mining and Analyzing Interaction Histories (MAINT'19) │ ,14-18 (共著)
10.	2018/11	細粒度ソフトウェア進化理解のための操作履歴グラフの実装 │ ソフトウェア工学の基礎 │ XXV,1-6 (共著)
11.	2018/09	Transformation Method from Scenario to Sequence Diagram │ Proc. of the 10th International Conference on Knowledge Management and Information Sharing (KMIS2018) │ ,136-143 (共著)
12.	2018/08	Ripple Effect Analysis Method of Data Flow Diagrams in Modifying Data Flow Requirements │ Proc. of the 12th Joint Conference on Knowledge Based Software Engineering (JCKBSE2018) │ ,1-11 (共著)
13.	2018/07	A Method of Verifying Time-Response Requirements │ IEICE Transactions on Information and Systems │ E101-D (7),1725-1732 (共著)
14.	2017/09	A Method for Verifying Non-Functional Requirements │ Proc. of the 21st International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES2017) │ ,35-44 (共著)
15.	2016/09	Scenario Retrieval Method using Differential Scenario │ IEICE Transactions on Information and Systems, │ E99-D (9),2202-2209 (共著)
16.	2016/07	A Verification Method of Time-response Requirements │ Proc. of the 11th International Conference on Software Engineering and Applications (ICSOFT2016) │ ,149-156 (共著)
17.	2016/07	要求獲得のためのシソーラス構築支援 │ 情報処理学会論文誌 │ 57 (7),1576-1589 (共著)
18.	2014/05	Ontology-Based Checking Method of Requirements Specification │ IEICE Transactions on Information and Systems │ E97-D (5),1028-1038 (共著)
19.	2014/05	Rule-Based Verification Method of Requirements Ontology │ IEICE Transactions on Information and Systems │ E97-D (5),1017-1027 (共著)
20.	2013/11	機能要求に必要な品質要求の機械学習による予測法 │ 電子情報通信学会論文誌 │ J96-D (11),2646-2656 (共著)
21.	2013/07	Evaluation of Ontology-based Checking of Software Requirements Specification │ Proc. of the 37th IEEE annual International Conference on Computer, Software & Applications (COMPSAC2013) │ ,425-430 (共著)
22.	2013/07	Software Requirements Parts for Construction of Software Requirements Specifications │ Proc. of the 8th International oint Conference on Software Technology (ICSOFT2013) │ ,147-153 (共著)
23.	2012/12	A Verification Method of Elicited Software Requirements using Requirements Ontology │ Proc. of the 19th Asia Pacific Software Engineering Conference (APSEC2012) │ ,553-558 (共著)
24.	2012/12	シナリオの事前条件と事後条件の定義支援手法 │ 日本ソフトウェア科学会ソフトウェア工学の基礎 │ XIX,69-74 (共著)
25.	2012/08	A Verification Method of the Correctness of Requirements Ontology │ Proc. of the 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012) │ ,1-10 (共著)
26.	2012/07	Improving Software Quality Requirements Specifications using Spectrum Analysis │ Proc. of the 5th International Workshop on Requirements Engineering for Services (REFS 2012) │ ,379-384 (共著)
27.	2012/04	Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame │ IEICE Transactions on Information and Systems │ E95-D,1031-1043 (共著)
28.	2012/04	Scenario Generation Using Differential Scenario Information │ IEICE Transactions on Information and Systems │ E95-D,1044-1051 (共著)
29.	2011/11	シナリオ差分に基づくシナリオ検索支援手法 │ 日本ソフトウェア科学会ソフトウェア工学基礎 │ XVIII,41-50 (共著)
30.	2011/07	Quality Requirements Analysis using Requirements Frame │ Proc. of the 11th International Conference on Quality Software (QSIC 2011) │ ,198-207 (共著)
31.	2010/12	A Method for Exception Scenarios Generation Using Templates of Exceptions │ Proc. of the 17th Asia Pacific Software Engineering Conference (APSEC2010) │ ,13-22 (共著)
32.	2010/08	A Method of Scenario Retrieval using Similar Information of Scenarios │ Proc. of the 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010) │ ,195-209 (共著)
33.	2010/07	Visualized Scenario Classification Method │ Proc. of the 10th International Conference on Quality Software (QSIC 2010) │ ,306-311 (共著)
34.	2010/05	Automatic Transformation of Organization of Software Requirements Specifications │ Proc. of the 4th International Conference on Research Challenges in Informatios Science (RCIS 2010) │ ,269-278 (共著)
35.	2010/04	A Generation Method of Alternative Scenarios with a Normal Scenario │ IEICE Transactions on Information and Systems │ E93-D (4),693-701 (共著)
36.	2009/12	シソーラスを利用した要求獲得方法（THEOREE） │ 情報処理学会論文誌 │ 50 (12),3001-3017 (共著)
37.	2009/11	Ontology-based Reasoning in Requirements Elicitation │ Proc. of the 7th International Conference on Software Engineering and Formal Methods (SEFM 2009) │ ,263-272 (共著)
38.	2009/11	差分シナリオを用いたシナリオ生成支援 │ ソフトウェア工学の基礎 │ XVI,143-154 (共著)
39.	2009/11	要求工学における人工知能技術 │ 人工知能学会誌 │ 24 (6),898-905 (共著)
40.	2009/08	Improvement of Quality of Software Requirements with Requirements Ontology │ Proc. of the 9th International Conference on Quality Software (QSIC 2009) │ ,284-289 (共著)
41.	2009/07	Common Criteria Based Security Scenario Verification │ Communications in Computer and Information Science (CCIS) │ 47,37-47 (共著)
42.	2009/07	Transformation of Organization of Software Requirements Specifications │ Proc. of the 4th International Conference on Software and Data Technologies (ICSOFT 2009) │ ,291-294 (共著)
43.	2008/09	A Method of Scenario Generation with Differential Scenario │ Proc. of the 16th IEEE International Requirements Engineering Conference (RE'08) │ ,337-338 (共著)
44.	2008/08	Classifying Scenarios with Differential Scenario │ Proc. of the 8th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'08) │ ,9-21 (単著)
45.	2008/07	Verification of Scenarios using the Common Criteria │ Proc. of the 3rd International Conference on Software and Data Technologies (ICSOFT 2008) │ ,5-11 (共著)
46.	2008/04	A Generation Method of Exceptional Scenarios from a Normal Scenario │ IEICE Transactions on Information and Systems │ E91-D (4),881-887 (単著)
47.	2008/04	特集「要求工学」 │ 情報処理 │ 49 (4),345-390 (共著)
48.	2007/11	シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証 │ ソフトウェア工学の基礎 │ XIV,185-190 (共著)
49.	2007/11	日本語要求仕様の変更支援ツールの開発 │ ソフトウェア工学の基礎 │ XIV,5-14 (共著)
50.	2007/10	Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria │ Proc. of 7th International Conference on Quality Software (QSIC'07) │ ,70-79 (共著)
51.	2007/04	Effects of Thesaurus in Requirements Elicitation │ Proc. of 1st International Conference on Research Challenges in Information Science (RCIS2007) │ ,385-394 (共著)
52.	2007/02	Differential Scenario for both Generating and Classifying Scenarios │ WSEAS Transactions on Computer Research │ 2 (2),312-320 (共著)
53.	2006/11	セキュリティ評価基準に基づいたアスペクト指向シナリオによるセキュリティ要求獲得手法 │ ソフトウェア工学の基礎 │ XIII,93-102 (共著)
54.	2006/11	正常シナリオからの代替シナリオ作成支援 │ 近代科学社（日本ソフトウェア科学会ソフトウェア工学の基礎） │ XIII,83-92 (単著)
55.	2006/10	要求仕様の変更・管理支援ツール │ 近代科学社（情報処理学会ソフトウェアエンジニアリングシンポジウム） │ ,67-74 (共著)
56.	2006/09	A Scenario Generation Method Using a Differntial Scenario │ INSTCC Press(ICSOFT2006) │ ,279-282 (単著)
57.	2006/08	A Generation Method of Exceptional Scenarios from a Normal Scenario │ IOS Press(JCKBSE'06) │ ,125-134 (単著)
58.	2006/05	Supporting Methods of Generating Alternative Scenarios from a Normal Scenario │ Proc. 8th International Conference on Enterprise Information Systems (ICEIS) │ ,110-117 (単著)
59.	2006/04	Improvement of the Correctness of Scenarios with Rules │ IEICE Transactions on Information and Systems │ E89-D (4),1337-1346 (単著)
60.	2005/11	正常シナリオからの例外シナリオ作成支援 │ 近代科学社・ソフトウェア工学の基礎(日本ソフトウェア科学会） │ XII,135-144 (単著)
61.	2005/09	A Supporting Method of the Evolution of State Diagrams with Scenarios │ Proc. 8th IWPSE'05(IEEE Computer Society) │ ,91-100 (共著)
62.	2005/09	Rule-based Verification of Scenarios with Pre-conditions and Post-conditions │ Proc. 13th Requirements Engineering conference (RE'05)(IEEE Computer Society) │ ,319-328 (共著)
63.	2004/12	A Transformation Method of Scenarios from Different Viewpoints │ Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC2004) │ ,492-501 (共著)
64.	2004/09	Developing Thesauruses for Requirements Analysis │ Proc. of the 2nd International Workshop on Requirements Engineering for COTS Components (RECOTS04) │ ,3-6 (共著)
65.	2004/04	Transformation between Scenarios from Different Viewpoints │ IEICE Transactions on Information and Systems │ E87-D (4),801-810 (共著)
66.	2003/12	PAORE: Package Oriented Requirements Elicitation │ Proc. of the 10th Asia-Pacific Software Engineering Conference (APSEC2003) │ ,492-501 (共著)
67.	2003/11	ルールによるシナリオの検証支援手法 │ 近代科学社・ソフトウェア工学の基礎(日本ソフトウェア科学会） │ X,77-80 (共著)
68.	2003/09	Integration and Evolution Method of Scenarios from Different Viewpoints │ Proc. International Workshop on Principles of Software Evolution (IWPSE 2003) │ ,183-188 (共著)
69.	2003/09	異なる視点で記述されたシナリオの統合支援 │ 岩波書店・コンピュータソフトウェア │ 20 (5),2-19 (共著)
70.	2002/11	異なる視点で記述されたシナリオの統合支援手法 │ 近代科学社・ソフトウェア工学の基礎(日本ソフトウェア科学会） │ XI,73-84 (共著)
71.	2002/09	The consistency management of scenarios from different viewpoints │ Proc. of the 5th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'2002) │ ,38-43 (共著)
72.	2002/08	Transformation and Integration Method of Scenarios │ Proc of the 26th International Computer Software and Applications Conference (COMPSAC) │ ,224-229 (共著)
73.	2002/08	オブジェクト指向分析におけるシナリオ作成支援技法 │ 近代科学社・オブジェクト指向最前線2002(情報処理学会) │ ,11-18 (共著)
74.	2002/06	ステレオタイプによるUMLモデル間の整合性検証支援手法 │ 情報処理学会論文誌 │ 43 (6),1554-1562 (共著)
75.	2002/04	A Supporting System for Verification among Models of the UML │ John Wiley ＆ Sons, Ltd., Systems and Computers in Japan │ 33 (4),1-13 (単著)
76.	2002/04	Visual Software Requirements Specification Technique Based on Communication Model │ IEICE Transaction on Information and Systems │ E85-D (4),615-622 (単著)
77.	2002/03	ビジュアルな要求定義技法 │ コンピュータソフトウェア（日本ソフトウェア科学会） │ 19 (2),47-50 (共著)
78.	2001/12	A Model for Navigating Interview Processes in Requirements Elicitation │ Proc. 8th Asia-Pacific Software Engineering Conference (APSEC2001) │ ,141-148 (共著)
79.	2001/12	会議レポート　オブジェクト指向2001シンポジウム │ 情報処理学会誌(情報処理学会) │ 42 (12),1256-1257 (共著)
80.	2001/11	データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法 │ 近代科学社・レクチャーノートシリーズ「ソフトウェア工学の基礎」 │ 26,47-58 (共著)
81.	2001/08	ステレオタイプによるUMLモデル間の整合性検証支援 │ 近代科学社・オブジェクト指向最前線2001 │ ,25-32 (共著)
82.	2001/06	Grounding Scenarios in Frame-Based Action Semantics │ Proc. 7th International Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ'01) │ ,177-182 (共著)
83.	2001/06	UMLにおけるモデル整合性検証支援システム │ 電子情報通信学会論文誌 │ J84-D-I (6),671-681 (単著)
84.	2000/10	A Visual Supporting Method for Sequence Controller Programming │ Proc. 24th International Computer Software and Applications Conference (COMPSAC) │ ,331-336 (共著)
85.	2000/09	A Method for Implementing a System to Guide Interview-driven Software Requirements Elcitation │ Proc. the 4th Joint Conference on Knowledge-Based Software Engineering │ 62,175-182 (共著)
86.	2000/09	Visual Software Requirements Specification based on Communication Model │ Proc. the 4th Joint Conference on Knowledge-Based Software Engineering │ 62,191-198 (単著)
87.	2000/04	A Supporting Method of Making a Consistent Software Requirements Specification Based on the Dempster & Shafer's Theory │ Trans. on Information and Science, IEICE │ E83-D (4),659-668 (共著)
88.	2000/03	要求工学 -高品質なソフトウェア開発を目指して- │ 情報処理 │ 41 (3),300-303 (単著)
89.	1999/12	A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications │ Proc. of the 6th Asia-Pacific Software Engineering Conference (APSEC'99) │ ,208-215 (共著)
90.	1999/12	A Visual Programming Method for Developing Sequence Controller │ Proc. of the 6th Asia-Pacific Software Engineering Conference (APSEC'99) │ ,118-125 (共著)
91.	1999/11	誤った要求の検出のための仕様化技法 │ 近代科学社・ソフトウェア工学の基礎 │ VI,84-91 (単著)
92.	1999/09	VRDL: A Visual Software Requirements Language │ Transaction of the Society for Design and Process Science │ 3 (3),43-52 (単著)
93.	1998/11	矛盾を含んだ要求仕様の解釈手法 │ 近代科学社「ソフトウエア工学の基礎」 │ 5,106-115 (共著)
94.	1998/09	A System to Support Software Requirements Elicitation Process Driven by Interviews on WWW │ Proc. 3rd Joint Conference on Knowledge-Based Software Engineering (JCKBSE'98) │ ,55-58 (共著)
95.	1998/09	UMLにおけるモデル整合性検証支援システムの開発 │ 朝倉書店・オブジェクト指向最前線 │ ,95-103 (共著)
96.	1998/07	A Visual Method for Developing Sequence Controller Programs │ Proc. Integrated Design and rocess Technology (IDPT'98) │ ,273-280 (共著)
97.	1998/07	VRDL: A Visual Software Requirements Language │ Proc. Integrated Design and rocess Technology (IDPT'98) │ ,257-268 (単著)
98.	1998/04	Audio-Visual Software Requirements Specification │ IEEE Proc. Int'l Workshop Multimedia Software Engineering │ ,26-33 (単著)
99.	1997/12	Software Requirements Definition for Specification Database │ IEEE Proc. 4th Asia-Pacific Software Engineering Conference (APSEC'97) │ ,521-522 (単著)
100.	1997/12	誤りを含んだ要求仕様の検出と解消 │ 近代科学社・ソフトウェア工学の基礎 │ IV,,83-86 (共著)
101.	1997/08	Visual Software Requirements Definition Environment │ IEEE, Proc. 21st International Computer Software and Applications Conference (COMPSAC) │ ,624-629 (共著)
102.	1997/07	UML法におけるモデル整合性検証支援手法 │ 朝倉書店・オブジェクト指向最前線 │ ,120-127 (共著)
103.	1997/06	Visual Software Requirements Language based on Communication Model │ Proc. 3rd Requirements Engineering: Foundation of Software Quality │ ,119-130 (単著)
104.	1996/12	コミュニケーションモデルに基づくビジュアルな要求仕様化支援 │ 近代科学社・ソフトウェア工学の基礎 │ III,,58-65 (単著)
105.	1996/07	オブジェクト指向分析におけるモデルの導出と検証支援 │ 朝倉書店・オブジェクト指向最前線 │ ,33-40 (共著)
106.	1996/07	統合化モデルに基づいたオブジェクト指向分析支援手法 │ 『オブジェクト指向最前線』朝倉書店 │ ,9-16 (共著)
107.	1996/04	Software Requirements Specification Database based on Requirements Frame Model │ Proc. IEEE 2nd International Conference on Requirements Engineering (ICRE'96) │ ,221-228 (単著)
108.	1995/12	CARD:an Environment for Software Requirements Definition │ Proc. 2nd Asia - Pacific Software Engineering Conference (APSEC'95) │ ,420-429 (単著)
109.	1995/12	要求仕様データベースシステムの開発 │ 『ソフトウェア工学の基礎II』近代科学社 │ 2,1-10 (単著)
110.	1995/06	CARD Environment for Software Requirements Definition │ Proc.REFSQ'95,Verlag der Augustinus Buchhandlung │ ,135-151 (単著)
111.	1995/06	オブジェクト指向分析におけるモデルの検証支援 │ 情報処理学会「オブジェクト指向'95シンポジウム」 │ ,189-196 (共著)
112.	1995/05	ビジュアルなソフトウェア要求仕様化技法 │ 『情報処理学会論文誌』 │ 36 (5),1183-1191 (単著)
113.	1995/01	シンガポールにおける情報技術の応用：過去から将来に渡って │ 情報処理 │ 36 (1),56-60 (単著)
114.	1994/11	Customizable Software Requirements Languages │ Proc. 18th International Computer Software and Applications Conference (COMPSAC) │ ,5-10 (単著)
115.	1994/04	A Visual Software Requirements Definition Method │ Proc. Int'l Conf. Requirements Engr. │ ,194-201 (単著)
116.	1993/11	Software Requirements Languages based on Requirements Frame Model │ Proc. Joint Conference on Software Engineering '93/IPS Japan │ ,133-140 (単著)
117.	1993/10	Requirements Frame for Software Requirements Database │ Proc. Infoscience '93 │ ,51-58 (単著)
118.	1993/06	Visual Software Requirements Specification Language:VRDL │ Proc. Int'l Conf. on Software Engineering & Knowledge Engineering │ ,219-221 (単著)
119.	1993/01	CARD:A Software Requirenments Definition Environment │ Proc. Int'l Symp.on Requirements Engineering │ ,90-93 (共著)
120.	1992/08	ソフトウェア要求定義のためのコミュニケーションモデル │ 『情報処理学会論文誌』 │ 33 (8),1064-1071 (単著)
121.	1990/02	要求フレームに基づいた要求仕様化技法 │ 『情報処理学会論文誌』 │ 31 (2),175-181 (共著)
122.	1989/03	ソフトウェア要求定義支援技法/環境:Card │ 情報処理学会「CASE環境シンポジウム」 │ ,49-56 (共著)
123.	1987/12	経済分析用エキスパートシステムの開発 │ 第2回「大学と科学」公開シンポジウム │ ,88-91 (共著)
124.	1987/09	要求仕様定義とその支援技術 │ システムと制御 │ 31 (9),643-652 (単著)
125.	1987/04	要求定義のための要求フレーム │ 『情報処理学会論文誌』 │ 28 (4),367-375 (共著)
126.	1986/04	Requirements Frame for Logical Data Base Design │ Proc. of the 6th Advanced Database Symposium │ ,57-62 (共著)
127.	1986/04	要求モデルに基づいた要求定義支援手法 │ プロトタイプと要求定義シンポジウム │ (共著)
128.	1985/10	Requirements Model and Method of Requirements Definition │ Proc. of the IEEE 9th International Computer Software and Applications Conference (COMPSAC) │ ,26-32 (共著)
129.	1984/03	Requirements Specification of High Quality │ Proc. of International Workshop on Models and Languages for Software Specification and Design │ ,209-211 (共著)
130.	1984/02	A Verification Method for Formal Requirements Description │ Journal of Information Processing │ 7 (4),223-229 (共著)
131.	1982/09	Improvement of Communicability of Requirements Description │ Proc. Current Issues of Requirements Engineering Environments │ ,69-74 (共著)
132.	1982/09	Verification System for Formal Requirements Description │ Proc. the IEEE 6th International Conference on Software Engineering (ICSE) │ ,120-126 (共著)