Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, IPSJ-SE, KBSE [detail] |
2022-07-29 16:50 |
Hokkaido |
Hokkaido-Jichiro-Kaikan (Sapporo) (Primary: On-site, Secondary: Online) |
A Tentative Method to Automatically Generate Logs for Analyzing Relations between Configurations and Logs for Docker-based Web Application Hiroki Kasai (Shinshu Univ.), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2022-17 KBSE2022-27 |
[more] |
SS2022-17 KBSE2022-27 pp.97-102 |
KBSE |
2021-03-05 13:35 |
Online |
Online |
A Method to Visualize Log Files for Analyzing Unexpected Behavior of Web Applications Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-35 |
In order for developers and maintainers to understand the situation in which their Web applications behaved unexpectedly... [more] |
KBSE2020-35 pp.7-12 |
KBSE, SC |
2020-11-13 15:20 |
Online |
Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
[Poster Presentation]
Towards Visualization of Debug Logs to Analyze Unexpected Behavior of Web Services Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-21 SC2020-25 |
When an unexpected behavior is confirmed on the Web service, the administrator tries to obtain clues to the cause of the... [more] |
KBSE2020-21 SC2020-25 p.39 |
KBSE |
2020-09-18 13:30 |
Online |
Online |
Exploitation Patterns and systematization of issues for Machine Learning Systems Satoshi Okuda (JAIST), Norihiko Ishitani (Weathernews), Toshiki Mori, Gaku Nemoto (JAIST), Kazuhiko Nishimura (VoiceResearch), Naoshi Uchihira (JAIST) KBSE2020-4 |
The rapid increase in the development of machine learning systems in companies today presents new challenges that have n... [more] |
KBSE2020-4 pp.19-24 |
DE, IPSJ-DBS, IPSJ-IFAT |
2019-09-10 13:25 |
Tokyo |
Kogakuin University |
An Experiment of Laughter for Cancer Patients using Manzai Robots. Kazuki Yane, Kazuki Haraguchi (Konan Univ.), Akira Sato (OICI), Eiji Aramaki (NAIST), Isao Miyashiro (OICI), Akiyo Nadamoto (Konan Univ.) DE2019-20 |
(To be available after the conference date) [more] |
DE2019-20 pp.29-34 |
NLC |
2016-02-05 15:25 |
Kyoto |
Campus Plaza Kyoto |
Understandable Demonstration of Text Mining Using the Next Generation Text Minig Yoshihiro Mori (MyVoice Com. Inc.) NLC2015-53 |
(Advance abstract in Japanese is available) [more] |
NLC2015-53 pp.53-57 |
KBSE |
2015-03-06 15:25 |
Tokyo |
The University of Electro-Communications |
Verifying Source Code with a Use Case Model using Model Checking
-- A Case of an ASP.NET Application -- Yoshitaka Aoki, Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa (VR), Saeko Matsuura (SIT) KBSE2014-64 |
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] |
KBSE2014-64 pp.71-76 |
HCS |
2015-01-30 17:00 |
Kagawa |
Bay Resort Hotel Shodoshima (Shodoshima, Kagaewa Pref.) |
[Poster Presentation]
Comparison of Japanese and Australian adults in theory of mind
-- Investigating the use of subject and mental state language -- Kaoru Toyama (OIC), Kana Imuta, Virginia Slaughter (UQ), Michiteru Kitazaki (TUT), Shoji Itakura (kyoto-u) HCS2014-91 |
The abundance of research on theory-of-mind development in young children has led to several meta-analyses on this topic... [more] |
HCS2014-91 pp.103-107 |
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 |
2012-11-23 15:05 |
Ishikawa |
Kanazawa University |
An Automatic Use of Model Checking Tool for Validating Data Lifecycle Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa, Kazuhiko Nishimura (VR), Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura (SIT) KBSE2012-56 |
Model checking techniques are a promised technique to detect errors in a specification efficiently and exhaustively. How... [more] |
KBSE2012-56 pp.109-114 |
SWIM |
2009-09-11 16:45 |
Tokyo |
|
Business application framework software using the Daifukucho type transaction database
-- Product name:DE (Data Explorer) -- Masahiro Higuchi (HIROICT ICT Lab.), Nobuhiro Ooe, Ayao Katou, Shouken Nakahara (Melcotechno Yokohama Corp.) SWIM2009-10 |
DE(Data Explorer) is the framework that included the basic function that is necessary for the construction of the busine... [more] |
SWIM2009-10 pp.29-36 |