Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2023-03-17 14:35 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-67 |
In order to target various models in co-analysis, it is necessary to be able to select the SMT solver according to the c... [more] |
KBSE2022-67 pp.79-84 |
KBSE |
2023-03-17 15:25 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Study of the Impact of Activity Status on OSS Project Continuation/Interruption Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-69 |
Open source software (OSS) has been used by companies in recent years. However, the development of OSS can be subject to... [more] |
KBSE2022-69 pp.91-96 |
LOIS |
2021-03-04 16:40 |
Online |
Online |
A study of similarity prediction method for human activity by combining POI and GEO Cao Qingying, Yoshikazu Ueda (Ibaraki University) LOIS2020-55 |
In the information-oriented society, SNS has permeated the society widely, and it is difficult to select the people who ... [more] |
LOIS2020-55 pp.47-52 |
KBSE |
2015-03-05 13:45 |
Tokyo |
The University of Electro-Communications |
Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating Shoichi Miyagi, Shohei Maruyama, Yoshikazu Ueda (Ibaraki Univ.) KBSE2014-55 |
Since sequence diagram produced by reverse engineering is details, it is difficult to compare the diagram with the abstr... [more] |
KBSE2014-55 pp.19-24 |
KBSE |
2015-03-05 14:30 |
Tokyo |
The University of Electro-Communications |
Investigation of model checking by modular approach, and practicality of modular verification Takumi Miyajima (Ibaraki Univ.), Kei Kogai (INCT), Yoshikazu Ueda (Ibaraki Univ.), Tomoyuki Yamagata, Takayuki Takezawa (Hitachi) KBSE2014-56 |
Model checking to search mechanically and cyclopedically for inspection system is difficult because of exponential incre... [more] |
KBSE2014-56 pp.25-30 |
KBSE |
2013-03-14 10:40 |
Tokyo |
Shibaura Institute of Technology |
A Characteristics Analysis Support Tool for Simulink Model Quality and its Application Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2012-70 |
In the development of embedded system, Simulink model-based development has attracted attention.
Accordingly, quantitat... [more] |
KBSE2012-70 pp.7-12 |
KBSE |
2013-03-14 11:25 |
Tokyo |
Shibaura Institute of Technology |
Abstraction Method of UML Sequence Diagram Based on Execution Trace Shouichi Miyagi, Kouji Kamijo, Yoshikazu Ueda (Ibaraki Univ.) KBSE2012-71 |
In order to take the correspondence between each elements of program and design document, there is a way to create a seq... [more] |
KBSE2012-71 pp.13-18 |
SS |
2011-10-28 11:15 |
Ishikawa |
JAIST |
Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36 |
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] |
SS2011-36 pp.55-60 |
SS |
2010-03-08 15:50 |
Kagoshima |
Kagoshima Univ. |
A Testing Method for Object-Oriented Software Using Execution Logs Junro Mori, Yoshikazu Ueda (Ibaraki Univ.) SS2009-73 |
Nowadays, software developments are becoming complexity, increasing scale, but those are expected shorter deadline, lowe... [more] |
SS2009-73 pp.151-156 |
SS |
2009-10-16 10:30 |
Nagano |
Shinshu University |
A Study of Model Transformation Method Between UML and Simulink Satoshi Yoshida, Yoshikazu Ueda (Ibaraki Univ.), Shin Nakajima (NII) SS2009-33 |
Simulink, widely used in the development of embedded systems, is able to generate code automatically and simulate system... [more] |
SS2009-33 pp.25-30 |
SS |
2009-10-16 11:00 |
Nagano |
Shinshu University |
A Case Stady of Applying SysML to Embedded Software Development Hideaki Kato, Yoshikazu Ueda (Ibaraki Univ.) SS2009-34 |
System modeling language SysML can unitedly describe the embedded system from the hardware to the software of the embedd... [more] |
SS2009-34 pp.31-36 |
KBSE |
2008-03-10 14:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. B3F-2 |
A Study of Design Quality Evaluation Metrics for UML Model Shingo Tamura, Miho Satoh, Yoshikazu Ueda (Ibaraki Univ.) KBSE2007-58 |
In software development, objective quality evaluation and improvement of UML model are important. In this paper, we prop... [more] |
KBSE2007-58 pp.25-30 |
KBSE |
2008-03-10 15:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. B3F-2 |
A Study of Describing the Embedded System Modeling Language SysML in UML Chikako Suda, Yoshikazu Ueda (Ibaraki Univ.) KBSE2007-60 |
In this study, we modeled the correspondence of SysML and UML as an example of the conversion method to UML from SysML. ... [more] |
KBSE2007-60 pp.37-42 |
KBSE |
2006-03-13 10:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
SMASH : Description Language for Sharing MAS Information Tetsuji Watanabe, Yoshikazu Ueda (Ibaraki Univ.) |
In the experimental research by using multi-agent simulation(MAS), the researchers refer MAS relation works including th... [more] |
KBSE2005-38 pp.7-12 |
KBSE |
2005-03-15 12:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Quality Metrics for Object-Oriented Design Assessment Munkhnasan Choinzon, Yasuo Taki, Yoshikazu Ueda (Ibaraki Univ.) |
This paper presents an approach to evaluate internal attributes of object-oriented design by means of verifying and dete... [more] |
KBSE2004-59 pp.19-24 |
KBSE |
2005-03-15 13:10 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Development of design pattern support tool using input of OCDJ description Yasuki Hasegawa, Yoshikazu Ueda (Ibaraki Univ.) |
Recently, the design pattern which is a general solution for the problem in object-oriented development is widely used. ... [more] |
KBSE2004-60 pp.25-30 |