Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SC |
2020-11-14 10:00 |
Online |
Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
KBSE2020-25 SC2020-29 |
(To be available after the conference date) [more] |
KBSE2020-25 SC2020-29 pp.53-58 |
KBSE |
2020-03-06 13:00 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
KBSE2019-46 |
(To be available after the conference date) [more] |
KBSE2019-46 pp.1-6 |
KBSE |
2020-03-06 13:30 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] |
KBSE2019-47 pp.7-12 |
KBSE |
2020-03-06 14:45 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
Effective Planing for AI/Data Analysis Projects Based on Goal-Oriented Requirements Analysis Daisuke Okuya, Satoshi Ikada (OKI), Hiroyuki Nakagawa (Osaka Univ.) KBSE2019-49 |
Recently, the opportunities for AI and data analysis to be applied to social implementation beyond research subjects are... [more] |
KBSE2019-49 pp.19-24 |
KBSE, SC |
2019-11-08 11:00 |
Nagano |
Shinshu University |
A Method to Detect Similar Goals between Goal Models using Hierarchy and word2vec Koichi Ishikawa, Shinpei Ogata (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.), Kozo Okano (Shinshu Univ.) KBSE2019-23 SC2019-20 |
The method for software reuse has a problem that can't detect similar goals that described natural language. In this stu... [more] |
KBSE2019-23 SC2019-20 pp.1-6 |
KBSE |
2019-03-02 11:30 |
Kyoto |
Doshisha University Kambaikan |
KBSE2018-66 |
(To be available after the conference date) [more] |
KBSE2018-66 pp.75-80 |
KBSE, SC |
2018-11-10 10:45 |
Hyogo |
|
Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2018-38 SC2018-33 |
[more] |
KBSE2018-38 SC2018-33 pp.59-64 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 14:25 |
Hokkaido |
|
A Study of Safety Updating Functionalities for Embedded Systems Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) SS2018-8 KBSE2018-18 |
Software evolution for embedded systems is a necessary process in software development. In this paper, we update a progr... [more] |
SS2018-8 KBSE2018-18 pp.43-48 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 15:50 |
Hokkaido |
|
Case Study on a Verification of an IoT Architecture Model Based on Control Loop Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21 |
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] |
SS2018-11 KBSE2018-21 pp.61-66 |
KBSE |
2018-03-01 10:20 |
Okinawa |
|
Goal Model Construction Based on a Flow of Questions Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-40 |
All requirements should be extracted from requirements descriptions of software systems in the requirements extraction p... [more] |
KBSE2017-40 pp.7-12 |
KBSE |
2018-03-02 14:20 |
Okinawa |
|
A Study on a Programming Framework for Self-Adaptive Systems
-- Dynamic Verification Considering Time Constraints -- Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-59 |
Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have... [more] |
KBSE2017-59 pp.121-126 |
DC |
2018-02-20 12:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
On generating locating arrays using simulated annealing Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) DC2017-82 |
Combinatorial interaction testing is an efficient software testing strategy. In this paper, we focus on locating arrays ... [more] |
DC2017-82 pp.31-35 |
KBSE |
2018-01-25 13:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Applicability of a Framework for Updating Functions Based on the MAPE Loop Mechanism Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2017-32 |
Software evolution for embedded systems is a necessary process in software development. In this paper, we construct a pr... [more] |
KBSE2017-32 pp.1-6 |
CAS, MSS, IPSJ-AL [detail] |
2017-11-17 16:30 |
Tokyo |
|
A SAT-based method for generating locating arrays Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) CAS2017-62 MSS2017-46 |
In this paper, we discuss combinatorial interaction testing, which is a well-known software testing strategy.Especially,... [more] |
CAS2017-62 MSS2017-46 pp.147-152 |
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-03 12:05 |
Ishikawa |
|
An efficient configuration switching method based on system environmental monitoring Yusuke Myoken, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2016-39 |
Self-adaptive systems that change their behavior themselves suited to environmental changes have become more important a... [more] |
KBSE2016-39 pp.1-6 |
KBSE |
2017-03-03 12:50 |
Ishikawa |
|
KBSE2016-40 |
Self-adaptive systems, which change their behaviors to adapt to their environmental changes, are focused on in recent ye... [more] |
KBSE2016-40 pp.7-12 |
KBSE |
2016-11-03 16:00 |
Nagano |
Nagano-Engineering Campus, Shinshu University |
An Empirical Study on Topic Model Refinement Based on Stop Word Extraction Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2016-27 |
[more] |
KBSE2016-27 pp.19-24 |
KBSE |
2016-05-26 15:50 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
An Empirical Study on Test Case Clustering Based on Topic Modeling Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2016-3 |
[more] |
KBSE2016-3 pp.13-18 |
KBSE |
2015-09-25 10:30 |
Osaka |
Bldg.A No.110, IST, Suita campus, Osaka University |
An Empirical Study on Requirements Topic Elaboration Based on Temporal Changes of Top Words Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2015-32 |
[more] |
KBSE2015-32 pp.27-31 |