Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 11:55 |
Hokkaido |
|
Application of Model Checking to an STAMP/STPA Example
-- Fallen Barrier Trap at Railroad Crossing -- Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata (Shinshu Univ.) SS2018-6 KBSE2018-16 |
[more] |
SS2018-6 KBSE2018-16 pp.31-36 |
KBSE |
2018-05-25 13:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Method of Similarity Calculation between Goals Based on Refinement Pattern Kouichi Ishikawa, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Hironori Washizaki (Waseda Univ.) KBSE2018-3 |
To efficiently reuse existing software components for derivative development, it is important to properly measure the si... [more] |
KBSE2018-3 pp.7-11 |
SS |
2018-03-06 11:30 |
Okinawa |
|
Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2017-64 |
Recent rapid growth of information systems makes us
pay attention to methods for analysis of accident causation
and pr... [more] |
SS2017-64 pp.1-6 |
KBSE |
2018-03-01 17:00 |
Okinawa |
|
Analysis of Specification in Japanese using Natural Language Processing and Review Supporting with Speech Synthesis Kozo Okano, Kazuma Takahashi, Yusuke Naka, Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.) KBSE2017-52 |
The requirement specification for software is often described
in a natural language and thus may include ambiguity and ... [more] |
KBSE2017-52 pp.79-84 |
KBSE |
2018-03-02 09:30 |
Okinawa |
|
Support Tool for Collaborating on Screen Transition Modeling and Web Layout Design
-- Use of Website Builder employing Front-End Framework -- Kohei Iwahori, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2017-53 |
In this paper, we propose a tool to support collaboration on screen transition modeling and Web layout design so that de... [more] |
KBSE2017-53 pp.85-90 |
SS |
2017-03-09 11:50 |
Okinawa |
|
Equivalence Checking for Methods in Java and Its Applications Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) SS2016-65 |
A programmer sometimes implements both of equals method and hashCode method in a class of Java. The programmer should ob... [more] |
SS2016-65 pp.31-36 |
KBSE |
2017-01-23 12:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) KBSE2016-31 |
We have actualized SMart-Learning that is a tool set to learn a state machine diagram employing domain specific language... [more] |
KBSE2016-31 pp.1-6 |
KBSE |
2016-11-03 15:15 |
Nagano |
Nagano-Engineering Campus, Shinshu University |
Construction of Dictionary for Improving Requirement Descriptions by Differences of Japanese Expressions Yozo Takizawa (NIT, Ibaraki College), Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2016-26 |
It is reported that a construction method and supporting tools for dictionaries needed for improving descriptions to tel... [more] |
KBSE2016-26 pp.13-18 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 10:20 |
Hokkaido |
|
A Method to Revise Message Ordering in Sequence Diagram Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Yosuke Tajima, Shinpei Ogata (Shinshu Univ.) SS2016-2 KBSE2016-8 |
For software specification, a lot of methods have been proposed in order to localize defects and to fix
defects automat... [more] |
SS2016-2 KBSE2016-8 pp.7-12 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 15:10 |
Hokkaido |
|
SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] |
SS2016-5 KBSE2016-11 pp.49-54 |
SS |
2016-03-11 14:15 |
Okinawa |
|
Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems Toshifusa Sekizawa (Nihon Univ.), Kozo Okano (Shinshu Univ.) SS2015-100 |
Along with the popularization of embedded systems in society, reliability of them has become important. Model checking i... [more] |
SS2015-100 pp.145-150 |
KBSE |
2016-03-04 10:50 |
Oita |
|
A Support Method for Evaluating Usability with User-Operation Logs at Requirements Analysis Yugo Goto, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2015-59 |
Usability of user error protection and operability is especially important to enterprise Web application, then one of th... [more] |
KBSE2015-59 pp.63-68 |
KBSE |
2016-03-04 18:30 |
Oita |
|
A Support Method for Designing GUI Consistent with Screen Transition Model Tomoya Akase, Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2015-71 |
The proper cooperations between UI designers and function designers is important to enhance usability although the funct... [more] |
KBSE2015-71 pp.131-136 |
KBSE |
2015-09-25 11:15 |
Osaka |
Bldg.A No.110, IST, Suita campus, Osaka University |
Towards Separation of Concerns in Screen Transition Modeling
-- Case of Business and Usability Features -- Shinpei Ogata, Shohei Kamimori (Shinshu Univ.), Haruhiko Kaiya (Kanagawa Univ.), Kozo Okano (Shinshu Univ.) KBSE2015-33 |
For requirements analysis in business Web application development employing model driven development approaches, an appr... [more] |
KBSE2015-33 pp.33-38 |
KBSE, SS, IPSJ-SE [detail] |
2015-07-24 09:30 |
Hokkaido |
|
A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education Kazune Miyajima, Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) SS2015-30 KBSE2015-23 |
UML modeling education consumes time to evaluate answers of students due to absence of model uniqueness, and also to cre... [more] |
SS2015-30 KBSE2015-23 pp.149-154 |
KBSE |
2015-05-25 11:00 |
Tokyo |
|
Study on a Supporting Method for Creating Scenario Based on Screen Transition Model Shinpei Ogata, Tetsumasa Nakamura, Kozo Okano (Shinshu Univ.) KBSE2015-2 |
Scenarios including concrete values are utilized for sufficiently validating a requirements specification and for effici... [more] |
KBSE2015-2 pp.7-12 |
SS |
2015-05-12 09:15 |
Kumamoto |
Kumamoto University |
Investigation for Reducing Reuse Candidates on Reuse-based Automated Program Repair Haruki Yokoyama, Takafumi Ohta, Keisuke Hotta, Yoshiki Higo (Osaka Univ.), Kozo Okano (Shinshu Univ.), Shinji Kusumoto (Osaka Univ.) SS2015-10 |
(To be available after the conference date) [more] |
SS2015-10 pp.47-52 |
SS |
2015-03-09 13:50 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Removing Possibility of Ambiguous Message Ordering in Sequence Diagram Noa Kusunoki, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2014-62 |
This report proposes a method to detect and repair software faults in sequence diagrams which are used for software desi... [more] |
SS2014-62 pp.43-48 |
SS |
2014-03-11 11:30 |
Okinawa |
Tenbusu Naha |
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-75 |
Java classes must observe constraints on ``hashCode'' methods as well as ``equals'' methods, in order to behave correctl... [more] |
SS2013-75 pp.19-24 |
SS, KBSE |
2013-07-25 12:00 |
Hokkaido |
|
A Verification Method on Consistency between Different SQL Statements and Schemas using Alloy Analyzer Yuya Fujita, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-14 KBSE2013-14 |
[more] |
SS2013-14 KBSE2013-14 pp.7-12 |