IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 47  /  [Next]  
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
 Results 1 - 20 of 47  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan