Realistic Validation of Specification for Modeling Language using Alloy
Kei Kogai, Yoshikazu Ueda
Asia-Pacific Conference on Computer Aided System Engineering (APCASE 2014), pp.111-116 (2014年2月)
Co-Analysis of SysML and Simulink Models for Cyber-Physical Systems Design
Shin Nakajima, Satoru Furukawa, Yoshikazu Ueda
IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), pp.473-478 (2012年8月)
Detecting Defects in Object Oriented Designs Using Design Metrics
Munkhnasan Choinzon, Yoshikazu Ueda
International Symposium on Information and Communication Technology by Mongolian University of Science and Technology, Moscow Technical University of Communication and Informatics, and Hanbat National University of Korea
(2005年 7月)