2008³â Ãß°è Çмú´ëȸ
Current Result Document : 3 / 3
ÇѱÛÁ¦¸ñ(Korean Title) |
°è¾à ±â¹Ý Ŭ·¡½ºÀÇ »óÅ ±â°è ÀÚµ¿ »ý¼º ±â¹ý |
¿µ¹®Á¦¸ñ(English Title) |
Automatic State Machine Generation Approach from Contract Based Class |
ÀúÀÚ(Author) |
¹èÁ¤È£
äÈï¼®
Jung Ho Bae
Heung Seok Chae
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 35 NO. 02(A) PP. 0051 ~ 0056 (2008. 10) |
Çѱ۳»¿ë (Korean Abstract) |
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
¼ÒÇÁÆ®¿þ¾î°øÇÐ
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|