Gwang Sik Yoon

According to our database, Gwang Sik Yoon authored at least 5 papers between 1997 and 2001.

Collaborative distances:

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

2001

Specification-based program slicing and its applications.

Wan Kwon Lee, In Sang Chung, Gwang Sik Yoon, Yong Rae Kwon

J. Syst. Archit., 2001

Extending MSC for Reactive Systems.

Gwang Sik Yoon, Yong Rae Kwon

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Program slicing based on specification.

In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

1999

Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).

Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1997

Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997