Consistency Checking between Data and Process Diagrams Based on Formal Methods. - Syouri Kouno; Han-Myung Chang; Keijiro Araki (COMPSAC, 1996)

An Application Framework for TCP/IP Applications. - Atsushi Kumazaki; Masami Noro; Han-Myung Chang; Yoshinari Hachisu (COMPSAC, 2002)

A Design Map for Recording Precise Architecture Decisions. - Atsushi Sawada; Masami Noro; Han-Myung Chang; Yoshinari Hachisu; Atsushi Yoshida (APSEC, 2011)

ViennaDoc: An Animatable and Testable Specification Documentation Tool. - Tomohiro Oda; Keijiro Araki; Yasuhiro Yamamoto; Kumiyo Nakakoji; Hiroshi Sako; Han-Myung Chang; Peter Gorm Larsen (FM Workshops (2), 2019)

Specification Slicing for VDM-SL. - Tomohiro Oda; Han-Myung Chang (CoRR, 2024)