Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2017-01-23 12:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) KBSE2016-31 |
We have actualized SMart-Learning that is a tool set to learn a state machine diagram employing domain specific language... [more] |
KBSE2016-31 pp.1-6 |
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 |
2017-01-23 14:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Summary of the International Comparative Research about the Treatment of Software Engineers
-- from a Report of the IPA Sponsored Research -- Yoshifumi Nakata (Doshisha Univ.) |
[more] |
|
KBSE |
2017-01-23 15:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Comparison of Software productivity across Countries by Analyzing International Benchmark Data Tsuneo Furuyama (Tokai Univ.) KBSE2016-33 |
The productivity of software projects in various countries was compared by analyzing the ISBSG data well known as the in... [more] |
KBSE2016-33 pp.13-18 |
KBSE |
2017-01-23 15:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
AUTOSAR: The Global Partnership for Automotive Software Development Hiroyuki Takashima (Nagoya Univ.) |
[more] |
|
KBSE |
2017-01-24 10:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A GSN development approach for Feature models Hiroyuki Utsunomiya, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-34 |
The feature model was known to reuse components for developing similar embedded software. However, the assurance method ... [more] |
KBSE2016-34 pp.19-24 |
KBSE |
2017-01-24 10:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Formal Verification Approach on O-DA for Component Based Development Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-35 |
[more] |
KBSE2016-35 pp.25-30 |
KBSE |
2017-01-24 11:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Trend and Issues on Assured Architecture Development Method for O-DA Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-36 |
The O-DA (Open Dependability through Assuredness) is a The Open Group standard proposed by authors. O-DA standardizes ba... [more] |
KBSE2016-36 pp.31-36 |
KBSE |
2017-01-24 13:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Method for Designing Training Data for a QA System using Consumer and Service Modeling Hironori Takeuchi, Shiki Akihara (IBM) KBSE2016-37 |
By using the question answering technology, we can develop an inquiry system for various business.
When constructing an... [more] |
KBSE2016-37 pp.37-42 |
KBSE |
2017-01-24 14:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Removal of Spike-like noise in Functional near-infrared spectroscopy Yuya Sekiguchi, Kiyoshi Hoshino (Univ.Tsukuba), Motomasa Tomida, Hajime Kotani (Crescent,inc.) KBSE2016-38 |
In this paper, we propose a filter which removes spike-like noise from an fNIRS signal using an algorithm based around a... [more] |
KBSE2016-38 pp.43-48 |