| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE | 2022-01-20 15:15 |
Online | Online (Zoom) | [Invited Talk]
Role of Universities in Software Development Personnel Training Saeko Matsuura  KBSE2021-36 |
This paper looks back on the activities to develop technical skills for software development at Shibaura Institute of Te... [more] | KBSE2021-36 p.7 |
| KBSE | 2020-01-25 15:55 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Method of Conversion for Use Case Description by UML Model toward Ensuring Post-Requirement Specification Traceability Kaito Yoshino, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2019-45 |
Traceability between system requirements and the artifacts produced along the software development process helps to impr... [more] | KBSE2019-45 pp.43-48 |
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 13:35 |
Hokkaido | Agile Development of Control Model focusing on Interaction between Hardware and Environment Shun Nishikawa, Saeko Matsuura (SIT) SS2017-6 KBSE2017-6 |
[more] | SS2017-6 KBSE2017-6 pp.31-35 |
|
| KBSE | 2016-03-03 13:50 |
Oita | Verification of Goal Satisfaction to Combination of Use Case Components Saeko Matsuura (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys) KBSE2015-54 |
[more] | KBSE2015-54 pp.37-42 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 11:40 |
Hokkaido | Model Driven Development by Separating Concerns in Requrements Specification Satoshi Kawai, Saeko Matsuura (SIT) SS2015-24 KBSE2015-17 |
Model driven development is a promising approach to develop high quality software products efficiently. We have proposed... [more] | SS2015-24 KBSE2015-17 pp.81-86 |
|
| 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 |
| 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, SS, IPSJ-SE [detail] | 2014-07-10 13:10 |
Hokkaido | Furano-Bunka-Kaikan | MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-12 KBSE2014-15 |
[more] | SS2014-12 KBSE2014-15 pp.63-68 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 13:40 |
Hokkaido | Furano-Bunka-Kaikan | Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-13 KBSE2014-16 |
Recent years, Android malware is increasing. Most of the Android malware execute malicious attacks within the scope of p... [more] | SS2014-13 KBSE2014-16 pp.69-74 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 15:20 |
Hokkaido | Furano-Bunka-Kaikan | A Method of Facilitating Counterexample Analysis in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-16 KBSE2014-19 |
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] | SS2014-16 KBSE2014-19 pp.87-92 |
| KBSE | 2014-05-30 13:45 |
Kanagawa | Keio Univ.(Raiou-sha, Hiyoshi Campus) | Dissemination and Use of Model Checking Tool in Enterprise Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2014-9 |
Model checking is a technique superior to inspect the behavior of the system. However, it is difficult writing the appr... [more] | KBSE2014-9 pp.47-52 |
| KBSE | 2014-03-06 10:35 |
Okinawa | Okinawaken-Seinenkaikan | A Method for Facilitating the Analysis of Counterexamples in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-79 |
[more] | KBSE2013-79 pp.1-6 |
| KBSE | 2014-01-28 15:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg | An Evaluation on the Modifiability of Model Driven Security Requirements Analysis Method based on Common Criteria Atsushi Noro, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-78 |
Requirements analysis is complicated because in requirements analysis of the system is a security request as well as a f... [more] | KBSE2013-78 pp.77-82 |
| SS, KBSE | 2013-07-26 11:10 |
Hokkaido | Automatic Rating of Use Case Description to Assist Beginner's Learning Shunsuke Matsui, Atsushi Noro, Koji Okada, Makoto Kato, Daiki Watanabe, Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-26 KBSE2013-26 |
Use case description is informal. Thus, confirming validity of the functional requirements is difficult. By using UML, b... [more] | SS2013-26 KBSE2013-26 pp.79-84 |
|
| SS, KBSE | 2013-07-26 13:10 |
Hokkaido | Application to Development Site of Model Checking Technology
-- Discovery of Inconsistency of Specification and Source Code -- Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-28 KBSE2013-28 |
Software programs often include many defects that are not easy to detect because of the developers’ mistakes, misunderst... [more] | SS2013-28 KBSE2013-28 pp.91-96 |
|
| SS, KBSE | 2013-07-26 13:40 |
Hokkaido | Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model Yoshitaka Aoki (Nihon Unisys), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-29 KBSE2013-29 |
A key to success of developing high quality software products is to define valid and feasible requirements specification... [more] | SS2013-29 KBSE2013-29 pp.97-102 |
|
| KBSE | 2013-05-30 13:45 |
Kanagawa | Keio University | An Anti-Pattern Specifying Method based on the Relation between Fields and Methods Daiki Watanabe, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-1 |
Repeated specification changes make it difficult for us to keep well structured source codes during the software develop... [more] | KBSE2013-1 pp.1-6 |
| KBSE | 2013-03-14 10:05 |
Tokyo | Shibaura Institute of Technology | Verification of Program Defects Based on Model Checking Techniques for Development
-- Stable Checking with Inspection Support Tool -- Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2012-69 |
In the development site, difficult defects of detecting occurs when Miss inadequate requirements definition and implem... [more] | KBSE2012-69 pp.1-6 |
| KBSE | 2013-03-14 14:45 |
Tokyo | Shibaura Institute of Technology | Test Case Design Method to Guarantee the Feasibility of the Requirements Based on the Simulation Ryo Shikimi (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2012-75 |
To enhance mutual understanding between developers and customers and to guarantee the feasibility of the requirements de... [more] | KBSE2012-75 pp.37-42 |
| KBSE | 2012-11-22 14:40 |
Ishikawa | Kanazawa University | Analysis of the Problems of Writing Use Case Description for Beginner by the Purpose of Clarification of Intent Hirotaka Okuda, Shunsuke Matsui, Ryo Shikimi, Atsushi Noro, Koji Okada (SIT), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (SIT) KBSE2012-45 |
Use case analysis is an effective method to clearly define functional requirements for a system by the interaction betwe... [more] | KBSE2012-45 pp.43-48 |
[Return to Top Page]