DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Cha, Sungdeok

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 10 of 10

1
A Solution to the On-Line Image Downgrading Problem

Cha, Sungdeok; Park, G. H.; Lee, Heung-Kyu, Annual Computer Security Applications Conference, pp.108 - 112, 1995-12

2
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection

So, Sunsup; Lim, Youngseop; Cha, Sungdeok; Kwon, Yong Rae, Proc. 2nd Asia-Pacific Software Eng. Conf., pp.345-351, IEEE, 1995-12

3
An Object Model based Approach for Robot Workcell Application Programming

Kim, Gyu-Tae; Cha, Sungdeok; Bae, Doo-Hwan, International Computer Software and Applications Conference, pp.109 - 114, 1997

4
Applying Model Checking to Concurrent Object-Oriented Software

Cho, Seung Mo; Bae, Doo-Hwan; Cha, Sungdeok; Kim, Yuoung Gon; Yoo, Byung Kyu; Kim, Sang Taek, Fourth International Symposium on AUtonomous Decentralized Systems, pp.380 - 383, IEEE, 1999-03

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

Lee, Joon-Sang; Kim, Tae-Ho; Yoon, Gwang Sik; Hong, Jang-Eui; Cha, Sungdeok; Bae, Doo-Hwan, Fourth International Symposium on Autonomous Decentralized Systems, pp.65 - 72, IEEE, 1999-03

6
On the concurrent behavior of SCR specifications

Hong Hyoung Seok; Cha, Sungdeok; Kwon, Yong Rae, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.258 - 263, 1997-08-13

7
Safety Verification of Ada95 Programs Using Software Fault Trees

Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999

8
Task.o object modeling approach for robot workcell programming

Kim, Gyu-Tae; Cha, Sungdeok; Bae, Doo-Hwan, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.109 - 114, IEEE, 1997-08-13

9
Towards Reusable Colored Petri Nets

Lee, Nam-Hee; Hong, Jang-Eui; Cha, Sungdeok; Bae, Doo-Hwan, Int. Symp. Software Engineering for Parallel and Distributed Systems, pp.223 - 229, IEEE, 1998-04

10
Towards Unified Architecture Description Containing Component's Behavior

Park, Wei-Jin; Kim, Tai-Hyo; Bae, Doo-Hwan; Cha, Sungdeok, Reusable Architecture for Distributed Information Systems(RACDIS), RACDIS, 1999

Discover

rss_1.0 rss_2.0 atom_1.0