Gwang Sik Yoon

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Specification-based program slicing and its applications.
J. Syst. Archit., 2001

Extending MSC for Reactive Systems.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Program slicing based on specification.
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).
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1997
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997


  Loading...