Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2015-01-26 10:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An Empirical Study on Requirements Elicitation from Feedback comments using LDA Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2014-39 |
[more] |
KBSE2014-39 pp.1-6 |
KBSE |
2015-01-26 11:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A report of practical system assurance exercise Toshinori Takai (NAIST), Yutaka Matsuno (UEC) KBSE2014-40 |
We conducted an exercise called textit{system assurance}, which means a
justified confidence about risk-related prope... [more] |
KBSE2014-40 pp.7-11 |
KBSE |
2015-01-26 13:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
* Kouichi Akiyama (Fuji Xerox) KBSE2014-41 |
[more] |
KBSE2014-41 pp.13-17 |
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 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
The Method to Create Test Suits based on Operational Profiles for Combination Test of Status Hisashi Fukutake, Liang Da Xu, Tomohiko Takagi, Rihito Yaegashi (Kagawa Univ) KBSE2014-43 |
[more] |
KBSE2014-43 pp.25-30 |
KBSE |
2015-01-26 16:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A proposal of D-Case based development process in a software development company Nobuhide Kobayashi, Hiroyuki Utsunomiya, Yoshikazu Yamamoto (DENSO CREATE), Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-44 |
Visualization of software development process is useful to provide high quality products. This paper describes the way o... [more] |
KBSE2014-44 pp.31-36 |
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 |
KBSE |
2015-01-27 10:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Access Control with Filtering Information and Operating Sensor Devices based on a Context-Aware Security Model Satoshi Kido, Taisei Watanabe, Tadashi Iijima (Keio Univ.) KBSE2014-46 |
[more] |
KBSE2014-46 pp.43-48 |
KBSE |
2015-01-27 11:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Case base of secure web application development using software security knowledge base Atsuo Hazeyama, Masahito Saito (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII), Azusa Kumagaya (Tokyo Gakugei Univ.), Takanori Kobashi, Hironori Washizaki (Waseda Univ.), Haruhiko Kaiya (Kanagawa Univ.), Takao Okubo (IISEC) KBSE2014-47 |
Importance for software security technologies has been recognized according to increase of services on the Internet. Var... [more] |
KBSE2014-47 pp.49-54 |
KBSE |
2015-01-27 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Development of an Android application for venous analysis based on the EM algorithm Masashi Iwase, Minoru Fukumi, Koji Kashihara (The Univ. of Tokushima) KBSE2014-48 |
An early detection of the deep vein thrombosis becomes crucial especially at the time of disaster. An ultrasonic or X-ra... [more] |
KBSE2014-48 pp.55-60 |
KBSE |
2015-01-27 13:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Set of Domain Specific Languages for Describing Models of Wide-Area Disaster Evacuation Simulation Junki Yamazaki, Tadashi Iijima (Keio Univ.) KBSE2014-49 |
[more] |
KBSE2014-49 pp.61-66 |
KBSE |
2015-01-27 14:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Verification of Temporal Constraints for Business Processes and Rules Ryohei Hata, Tatsuya Ogata, Tadashi Iijima (Keio Univ.) KBSE2014-50 |
[more] |
KBSE2014-50 pp.67-72 |
KBSE |
2015-01-27 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Domain-Oriented Visual Modeling and Vocabulary for Computer-Readable Contract Agreements and Laws Tadashi Iijima (Keio Univ.) KBSE2014-51 |
[more] |
KBSE2014-51 pp.73-78 |