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

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

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

職名教授

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