Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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, SC |
2019-11-08 11:30 |
Nagano |
Shinshu University |
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21 |
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] |
KBSE2019-24 SC2019-21 pp.7-12 |
KBSE, SC |
2019-11-08 14:00 |
Nagano |
Shinshu University |
KBSE2019-27 SC2019-24 |
(To be available after the conference date) [more] |
KBSE2019-27 SC2019-24 pp.25-30 |
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 |
KBSE |
2015-05-26 10:00 |
Tokyo |
|
A Preliminary Programming Framework for Self-Adaptive System on Real-World Hardware Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2015-7 |
Recently, the cost of controlling software systems have been increasing because of the scale and complexity of such syst... [more] |
KBSE2015-7 pp.33-38 |
KBSE |
2015-03-06 14:40 |
Tokyo |
The University of Electro-Communications |
Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems Kento Osaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2014-63 |
[more] |
KBSE2014-63 pp.65-70 |