Han-Myung Chang

According to our database, Han-Myung Chang authored at least 4 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

ViennaDoc: An Animatable and Testable Specification Documentation Tool.

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2011

A Design Map for Recording Precise Architecture Decisions.

Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2002

An Application Framework for TCP/IP Applications.

Atsushi Kumazaki, Masami Noro, Han-Myung Chang, Yoshinari Hachisu

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1996

Consistency Checking between Data and Process Diagrams Based on Formal Methods.

Syouri Kouno, Han-Myung Chang, Keijiro Araki

Proceedings of the COMPSAC '96, 1996