Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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 |
NS, IN (Joint) |
2018-03-01 10:50 |
Miyazaki |
Phoenix Seagaia Resort |
Automatic Generation of System Management Software Parts using Maintenance Scenarios in Highly Available Distributed Clusters Hiroki Arakawa, Kiyoshi Ueda (Nihon Univ.) NS2017-184 |
In recent years, effective use of computational resources by large-scale distributed cluster technologies
represented b... [more] |
NS2017-184 pp.97-102 |
SS, KBSE, IPSJ-SE [detail] |
2017-07-19 13:10 |
Hokkaido |
|
Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5 |
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] |
SS2017-5 KBSE2017-5 pp.25-30 |
KBSE |
2017-03-04 11:30 |
Ishikawa |
|
Automatic Generation of the Domain Model Realization System based on Existence-Dependency-Graph Yusuke Morimoto, Liuxiang Tao, Akio Ida, Shigeo Kaneda (Doshisha Univ) KBSE2016-47 |
The construction of the domain model in the application development uses object-oriented approach and UML notation. Howe... [more] |
KBSE2016-47 pp.49-54 |
KBSE |
2017-01-23 13:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) KBSE2016-32 |
The purpose of this study is to explore the suitable learning environment for conceptual modeling with UML. Our students... [more] |
KBSE2016-32 pp.7-12 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 14:40 |
Hokkaido |
|
Analyzing Goal Dependencies among Actors using their Domain Model Haruhiko Kaiya (Kanagawa Univ.) SS2016-4 KBSE2016-10 |
Information systems are introduced into social activities performed by human and organizations.
Such activities and sy... [more] |
SS2016-4 KBSE2016-10 pp.43-48 |
KBSE |
2016-05-26 14:50 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
A Method for Collecting Learners' Thinking Process in ER Modeling Exercises and Its Application Takafumi Tanaka (TUAT), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Seiichi Komiya (NII), Yuki Hirai, Keiichi Kaneko (TUAT) KBSE2016-2 |
It is important for software engineers to have modeling skills to understand or abstract essence of problems. Exercise-s... [more] |
KBSE2016-2 pp.7-12 |
SS |
2016-03-10 14:50 |
Okinawa |
|
A Software Energy Analysis Method Using ExecutableUML Ryusuke Yoshimoto, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2015-86 |
The power consumption of embedded system has been increased. It is important to analyze energy consumptions taking softw... [more] |
SS2015-86 pp.61-66 |
PRMU, CNR |
2016-02-21 11:00 |
Fukuoka |
|
Recursive geolocation algorithm using anchor nodes and estimated node for tracking mobile robots. Keitaro Inagaki, Chika Sugimoto, Ryuji Kohno (Yokohama National Univ.) PRMU2015-142 CNR2015-43 |
Recently, a sensor network that is build by the sensor node having a communication function and routing function has att... [more] |
PRMU2015-142 CNR2015-43 pp.61-64 |
ET |
2015-10-31 17:05 |
Oita |
Nippon Bunri Univ. (Yufuin Training Institute) |
Development of a Model-Driven Development based Educational Model Compiler for UML Modeling Education for Designing Operation Control Method for Robot Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) ET2015-54 |
The purpose of this study is to expand learning environment for UML modeling education. In our study, we focus on the e... [more] |
ET2015-54 pp.61-66 |
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 |
KBSE |
2015-03-05 13:45 |
Tokyo |
The University of Electro-Communications |
Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating Shoichi Miyagi, Shohei Maruyama, Yoshikazu Ueda (Ibaraki Univ.) KBSE2014-55 |
Since sequence diagram produced by reverse engineering is details, it is difficult to compare the diagram with the abstr... [more] |
KBSE2014-55 pp.19-24 |
KBSE |
2015-01-26 14:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model
-- A Case of an ASP.NET Application -- Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (SIT), Satoshi Yazawa (VR), Saeko Matsuura (SIT) KBSE2014-42 |
Traceability between a requirements specification and source code should be kept but it’s difficult. Verifying that the ... [more] |
KBSE2014-42 pp.19-24 |
KBSE |
2015-01-26 17:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Comparison of Systemigram and Domain Class Diagram Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-45 |
The Systemigram and domain class diagram are compared by focusing on the problem situation understanding. These diagrams... [more] |
KBSE2014-45 pp.37-42 |
AP |
2014-12-11 14:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Analysis of the Mutual Coupling between Dipole Antennas by Means of Simultanious Integral Equation Takashi Katagi, Hiroyuki Ohmine, Hiroaki Miyashita, Kengo Nishimoto (Mitsubishi Electric) AP2014-157 |
The mutual coupling between two dipole antennas with different dimensions placed at arbitrary positions but parallel is ... [more] |
AP2014-157 pp.37-42 |
SWIM |
2014-08-21 13:55 |
Kyoto |
Ryukoku Univ.Ouniya Canvas |
How to design the web application in the cloud computing era Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Tokai Univ.), Tsukasa Kudo (SIST), Masahiko Ishino (Bunkyo Univ.) SWIM2014-10 |
The cloud service PaaS has appeared that we can develop the Web application in non-programming. It will be spread in the... [more] |
SWIM2014-10 pp.13-16 |
SWIM |
2014-08-21 14:35 |
Kyoto |
Ryukoku Univ.Ouniya Canvas |
Validation of UML Timing Diagrams Using Timed Automata Kengo Kajimura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-11 |
Originally, UML had mainly been widely used as a model description language for analyzing, designing, manufacturing and ... [more] |
SWIM2014-11 pp.17-21 |
SWIM |
2014-08-21 15:00 |
Kyoto |
Ryukoku Univ.Ouniya Canvas |
On Verification of Inter-Model Consistency between UML Class and Activity Diagrams with VDM++ and CPN Masayoshi Kohara, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-12 |
UML (Unified Modeling Language) has been established as a standard modeling method for large scale software development.... [more] |
SWIM2014-12 pp.23-28 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 14:10 |
Hokkaido |
Furano-Bunka-Kaikan |
An Automatic Web Prototyping for Validating Usability Requirements Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.) SS2014-14 KBSE2014-17 |
In recent years, usability has become increasingly recognized as an important factor in business Web applications. Some ... [more] |
SS2014-14 KBSE2014-17 pp.75-80 |