Researcher Database

OHNISHI Atsushi

Department / Course College of Information Science and Engineering Department of Information Science and Engineering

Title / Position Professor

Papers
1.	2023/09/07	Supporting change management of UML class diagrams │ 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems │ (Co-authored)
2.	2023/01/25	Aids for Refactoring Understanding with Extended Operation History Graph │ ,pp.97-116 (Co-authored)
3.	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) │ ,pp.73-80 (Co-authored)
4.	2020/08/25	Supporting Change Management of Sequence Diagrams │ Proc. 13th Joint Conference on Knowledge Based Software Engineering (JCKBSE20) │ ,pp.35-46 (Co-authored)
5.	2019/09	Verification Method of Reliability Requirements │ Proc. of the 23rd International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES2019) │ ,pp.471-480 (Co-authored)
6.	2019/07	Ripple Effect Analysis of Data Flow Requirements │ Proc. of the 14th International Conference on Software Technologies (ICSOFT 2019) │ ,pp.262-269 (Co-authored)
7.	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) │ ,pp.14-18 (Co-authored)
8.	2018/09	Transformation Method from Scenario to Sequence Diagram │ Proc. of the 10th International Conference on Knowledge Management and Information Sharing (KMIS2018) │ ,pp.136-143 (Co-authored)
9.	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) │ ,pp.1-11 (Co-authored)
10.	2018/07	A Method of Verifying Time-Response Requirements │ IEICE Transactions on Information and Systems │ E101-D (7),pp.1725-1732 (Co-authored)
11.	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) │ ,pp.35-44 (Co-authored)
12.	2016/09	Scenario Retrieval Method using Differential Scenario │ IEICE Transactions on Information and Systems, │ E99-D (9),pp.2202-2209 (Co-authored)
13.	2016/07	A Verification Method of Time-response Requirements │ Proc. of the 11th International Conference on Software Engineering and Applications (ICSOFT2016) │ ,pp.149-156 (Co-authored)
14.	2014/05	Ontology-Based Checking Method of Requirements Specification │ IEICE Transactions on Information and Systems │ E97-D (5),pp.1028-1038 (Co-authored)
15.	2014/05	Rule-Based Verification Method of Requirements Ontology │ IEICE Transactions on Information and Systems │ E97-D (5),pp.1017-1027 (Co-authored)
16.	2013/07	Evaluation of Ontology-based Checking of Software Requirements Specification │ Proc. of the 37th IEEE annual International Conference on Computer, Software & Applications (COMPSAC2013) │ ,pp.425-430 (Co-authored)
17.	2013/07	Software Requirements Parts for Construction of Software Requirements Specifications │ Proc. of the 8th International oint Conference on Software Technology (ICSOFT2013) │ ,pp.147-153 (Co-authored)
18.	2012/12	A Verification Method of Elicited Software Requirements using Requirements Ontology │ Proc. of the 19th Asia Pacific Software Engineering Conference (APSEC2012) │ ,pp.553-558 (Co-authored)
19.	2012/08	A Verification Method of the Correctness of Requirements Ontology │ Proc. of the 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012) │ ,pp.1-10 (Co-authored)
20.	2012/07	Improving Software Quality Requirements Specifications using Spectrum Analysis │ Proc. of the 5th International Workshop on Requirements Engineering for Services (REFS 2012) │ ,pp.379-384 (Co-authored)
21.	2012/04	Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame │ IEICE Transactions on Information and Systems │ E95-D,pp.1031-1043 (Co-authored)
22.	2012/04	Scenario Generation Using Differential Scenario Information │ IEICE Transactions on Information and Systems │ E95-D,pp.1044-1051 (Co-authored)
23.	2011/07	Quality Requirements Analysis using Requirements Frame │ Proc. of the 11th International Conference on Quality Software (QSIC 2011) │ ,pp.198-207 (Co-authored)
24.	2010/12	A Method for Exception Scenarios Generation Using Templates of Exceptions │ Proc. of the 17th Asia Pacific Software Engineering Conference (APSEC2010) │ ,pp.13-22 (Co-authored)
25.	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) │ ,pp.195-209 (Co-authored)
26.	2010/07	Visualized Scenario Classification Method │ Proc. of the 10th International Conference on Quality Software (QSIC 2010) │ ,pp.306-311 (Co-authored)
27.	2010/05	Automatic Transformation of Organization of Software Requirements Specifications │ Proc. of the 4th International Conference on Research Challenges in Informatios Science (RCIS 2010) │ ,pp.269-278 (Co-authored)
28.	2010/04	A Generation Method of Alternative Scenarios with a Normal Scenario │ IEICE Transactions on Information and Systems │ E93-D (4),pp.693-701 (Co-authored)
29.	2009/12	THEOREE: Thesaurus Oriented REquirements Elicitation │ 50 (12),pp.3001-3017 (Co-authored)
30.	2009/11	Ontology-based Reasoning in Requirements Elicitation │ Proc. of the 7th International Conference on Software Engineering and Formal Methods (SEFM 2009) │ ,pp.263-272 (Co-authored)
31.	2009/11	Techniques of Artificial Intelligence in Requirements Engineering │ 24 (6),pp.898-905 (Co-authored)
32.	2009/08	Improvement of Quality of Software Requirements with Requirements Ontology │ Proc. of the 9th International Conference on Quality Software (QSIC 2009) │ ,pp.284-289 (Co-authored)
33.	2009/07	Common Criteria Based Security Scenario Verification │ Communications in Computer and Information Science (CCIS) │ 47,pp.37-47 (Co-authored)
34.	2009/07	Transformation of Organization of Software Requirements Specifications │ Proc. of the 4th International Conference on Software and Data Technologies (ICSOFT 2009) │ ,pp.291-294 (Co-authored)
35.	2008/09	A Method of Scenario Generation with Differential Scenario │ Proc. of the 16th IEEE International Requirements Engineering Conference (RE'08) │ ,pp.337-338 (Co-authored)
36.	2008/08	Classifying Scenarios with Differential Scenario │ Proc. of the 8th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'08) │ ,pp.9-21 (Sole-authored)
37.	2008/07	Verification of Scenarios using the Common Criteria │ Proc. of the 3rd International Conference on Software and Data Technologies (ICSOFT 2008) │ ,pp.5-11 (Co-authored)
38.	2008/04	A Generation Method of Exceptional Scenarios from a Normal Scenario │ IEICE Transactions on Information and Systems │ E91-D (4),pp.881-887 (Sole-authored)
39.	2007/11	Development of a supporting tool for revising software requirements specification │ XIV,pp.5-14 (Co-authored)
40.	2007/10	Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria │ Proc. of 7th International Conference on Quality Software (QSIC'07) │ ,pp.70-79 (Co-authored)
41.	2007/04	Effects of Thesaurus in Requirements Elicitation │ Proc. of 1st International Conference on Research Challenges in Information Science (RCIS2007) │ ,pp.385-394 (Co-authored)
42.	2007/02	Differential Scenario for both Generating and Classifying Scenarios │ WSEAS Transactions on Computer Research │ 2 (2),pp.312-320 (Co-authored)
43.	2006/11	Security requirements elicitation with aspect-oriented scenarios based on security evaluation criteria │ XIII,pp.93-102 (Co-authored)
44.	2006/11	A generation method of alternative scenarios from a normal scenario │ XIII,pp.83-92 (Sole-authored)
45.	2006/09	A Scenario Generation Method Using a Differntial Scenario │ INSTCC Press(ICSOFT2006) │ ,pp.279-282 (Sole-authored)
46.	2006/08	A Generation Method of Exceptional Scenarios from a Normal Scenario │ IOS Press(JCKBSE'06) │ ,pp.125-134 (Sole-authored)
47.	2006/05	Supporting Methods of Generating Alternative Scenarios from a Normal Scenario │ Proc. 8th International Conference on Enterprise Information Systems (ICEIS) │ ,pp.110-117 (Sole-authored)
48.	2006/04	Improvement of the Correctness of Scenarios with Rules │ IEICE Transactions on Information and Systems │ E89-D (4),pp.1337-1346 (Sole-authored)
49.	2005/09	A Supporting Method of the Evolution of State Diagrams with Scenarios │ Proc. 8th IWPSE'05(IEEE Computer Society) │ ,pp.91-100 (Co-authored)
50.	2005/09	Rule-based Verification of Scenarios with Pre-conditions and Post-conditions │ Proc. 13th Requirements Engineering conference (RE'05)(IEEE Computer Society) │ ,pp.319-328 (Co-authored)
51.	2004/12	A Transformation Method of Scenarios from Different Viewpoints │ Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC2004) │ ,pp.492-501 (Co-authored)
52.	2004/09	Developing Thesauruses for Requirements Analysis │ Proc. of the 2nd International Workshop on Requirements Engineering for COTS Components (RECOTS04) │ ,pp.3-6 (Co-authored)
53.	2004/04	Transformation between Scenarios from Different Viewpoints │ IEICE Transactions on Information and Systems │ E87-D (4),pp.801-810 (Co-authored)
54.	2003/12	PAORE: Package Oriented Requirements Elicitation │ Proc. of the 10th Asia-Pacific Software Engineering Conference (APSEC2003) │ ,pp.492-501 (Co-authored)
55.	2003/09	Integration and Evolution Method of Scenarios from Different Viewpoints │ Proc. International Workshop on Principles of Software Evolution (IWPSE 2003) │ ,pp.183-188 (Co-authored)
56.	2003/09	Integration method of scenarios from different vierwpoints │ 20 (5),pp.2-19 (Co-authored)
57.	2002/11	An integration method for scenarios from different viewpoints │ Kindai-Kagaku Pub. Co. │ XI,pp.73-84 (Co-authored)
58.	2002/09	The consistency management of scenarios from different viewpoints │ Proc. of the 5th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'2002) │ ,pp.38-43 (Co-authored)
59.	2002/08	Transformation and Integration Method of Scenarios │ Proc of the 26th International Computer Software and Applications Conference (COMPSAC) │ ,pp.224-229 (Co-authored)
60.	2002/08	Scenario and its environment for Object oriented analysis │ Kindai-Kagaku Pub. Co. │ ,pp.11-18 (Co-authored)
61.	2002/06	Supporting Method for Verifying the Consistency between UML models with Stereotypes │ Trans. IPS Japan │ 43 (6),pp.1554-1562 (Co-authored)
62.	2002/04	A Supporting System for Verification among Models of the UML │ John Wiley ＆ Sons, Ltd., Systems and Computers in Japan │ 33 (4),pp.1-13 (Sole-authored)
63.	2002/04	Visual Software Requirements Specification Technique Based on Communication Model │ IEICE Transaction on Information and Systems │ E85-D (4),pp.615-622 (Sole-authored)
64.	2002/03	Visual Requirements Language and Specification Technique │ Computer Software journal │ 19 (2),pp.47-50 (Co-authored)
65.	2001/12	A Model for Navigating Interview Processes in Requirements Elicitation │ Proc. 8th Asia-Pacific Software Engineering Conference (APSEC2001) │ ,pp.141-148 (Co-authored)
66.	2001/11	A Supportnig Method for Changing SRS based on Ripple Effect Analysis │ Kindai-Kagaku Pub. Co. │ 26,pp.47-58 (Co-authored)
67.	2001/08	Supporting Method for Verifying the Consistency between UML Models with Stereo Types │ Kindai-Kagaku Pub. Co. │ ,pp.25-32 (Co-authored)
68.	2001/06	Grounding Scenarios in Frame-Based Action Semantics │ Proc. 7th International Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ'01) │ ,pp.177-182 (Co-authored)
69.	2001/06	A Supporting System for Verification among Models of the UML │ Trans. IEICE │ J84-D-I (6),pp.671-681 (Sole-authored)
70.	2000/10	A Visual Supporting Method for Sequence Controller Programming │ Proc. 24th International Computer Software and Applications Conference (COMPSAC) │ ,pp.331-336 (Co-authored)
71.	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,pp.175-182 (Co-authored)
72.	2000/09	Visual Software Requirements Specification based on Communication Model │ Proc. the 4th Joint Conference on Knowledge-Based Software Engineering │ 62,pp.191-198 (Sole-authored)
73.	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),pp.659-668 (Co-authored)
74.	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) │ ,pp.208-215 (Co-authored)
75.	1999/12	A Visual Programming Method for Developing Sequence Controller │ Proc. of the 6th Asia-Pacific Software Engineering Conference (APSEC'99) │ ,pp.118-125 (Co-authored)
76.	1999/09	VRDL: A Visual Software Requirements Language │ Transaction of the Society for Design and Process Science │ 3 (3),pp.43-52 (Sole-authored)
77.	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) │ ,pp.55-58 (Co-authored)
78.	1998/07	A Visual Method for Developing Sequence Controller Programs │ Proc. Integrated Design and rocess Technology (IDPT'98) │ ,pp.273-280 (Co-authored)
79.	1998/07	VRDL: A Visual Software Requirements Language │ Proc. Integrated Design and rocess Technology (IDPT'98) │ ,pp.257-268 (Sole-authored)
80.	1998/04	Audio-Visual Software Requirements Specification │ IEEE Proc. Int'l Workshop Multimedia Software Engineering │ ,pp.26-33 (Sole-authored)
81.	1997/12	Software Requirements Definition for Specification Database │ IEEE Proc. 4th Asia-Pacific Software Engineering Conference (APSEC'97) │ ,pp.521-522 (Sole-authored)
82.	1997/08	Visual Software Requirements Definition Environment │ IEEE, Proc. 21st International Computer Software and Applications Conference (COMPSAC) │ ,pp.624-629 (Co-authored)
83.	1997/06	Visual Software Requirements Language based on Communication Model │ Proc. 3rd Requirements Engineering: Foundation of Software Quality │ ,pp.119-130 (Sole-authored)
84.	1996/07	An Object - oriented Analysis Method based on an Integrated Model │ Asakura Pub. Co. │ ,pp.9-16 (Co-authored)
85.	1996/04	Software Requirements Specification Database based on Requirements Frame Model │ Proc. IEEE 2nd International Conference on Requirements Engineering (ICRE'96) │ ,pp.221-228 (Sole-authored)
86.	1995/12	CARD:an Environment for Software Requirements Definition │ Proc. 2nd Asia - Pacific Software Engineering Conference (APSEC'95) │ ,pp.420-429 (Sole-authored)
87.	1995/12	Development of a Software Requirements Specification Database System │ Foundation of Software Engineering │ 2,pp.1-10 (Sole-authored)
88.	1995/06	CARD Environment for Software Requirements Definition │ Proc.REFSQ'95,Verlag der Augustinus Buchhandlung │ ,pp.135-151 (Sole-authored)
89.	1995/05	A Visual Software Requirements Specification Technique │ Trans. IPS Japan │ 36 (5),pp.1183-1191 (Sole-authored)
90.	1995/01	Applications of Information Technology in Singapore │ 36 (1),pp.56-60 (Sole-authored)
91.	1994/11	Customizable Software Requirements Languages │ Proc. 18th International Computer Software and Applications Conference (COMPSAC) │ ,pp.5-10 (Sole-authored)
92.	1994/04	A Visual Software Requirements Definition Method │ Proc. Int'l Conf. Requirements Engr. │ ,pp.194-201 (Sole-authored)
93.	1993/11	Software Requirements Languages based on Requirements Frame Model │ Proc. Joint Conference on Software Engineering '93/IPS Japan │ ,pp.133-140 (Sole-authored)
94.	1993/10	Requirements Frame for Software Requirements Database │ Proc. Infoscience '93 │ ,pp.51-58 (Sole-authored)
95.	1993/06	Visual Software Requirements Specification Language:VRDL │ Proc. Int'l Conf. on Software Engineering & Knowledge Engineering │ ,pp.219-221 (Sole-authored)
96.	1993/01	CARD:A Software Requirenments Definition Environment │ Proc. Int'l Symp.on Requirements Engineering │ ,pp.90-93 (Co-authored)
97.	1992/08	Communication Model for Software Requirements Definition │ Trans. IPS Japan │ 33 (8),pp.1064-1071 (Sole-authored)
98.	1990/02	Software Requirements Specification Technique based on Requirements Frame Model │ TRans. IPS Japan │ 31 (2),pp.175-181 (Co-authored)
99.	1987/04	Requirements frame model for requirements definition │ Trans. IPS Japan │ 28 (4),pp.367-375 (Co-authored)
100.	1986/04	Requirements Frame for Logical Data Base Design │ Proc. of the 6th Advanced Database Symposium │ ,pp.57-62 (Co-authored)
101.	1985/10	Requirements Model and Method of Requirements Definition │ Proc. of the IEEE 9th International Computer Software and Applications Conference (COMPSAC) │ ,pp.26-32 (Co-authored)
102.	1984/03	Requirements Specification of High Quality │ Proc. of International Workshop on Models and Languages for Software Specification and Design │ ,pp.209-211 (Co-authored)
103.	1984/02	A Verification Method for Formal Requirements Description │ Journal of Information Processing │ 7 (4),pp.223-229 (Co-authored)
104.	1982/09	Improvement of Communicability of Requirements Description │ Proc. Current Issues of Requirements Engineering Environments │ ,pp.69-74 (Co-authored)
105.	1982/09	Verification System for Formal Requirements Description │ Proc. the IEEE 6th International Conference on Software Engineering (ICSE) │ ,pp.120-126 (Co-authored)