Current Result Document : 38 / 38
ÇѱÛÁ¦¸ñ(Korean Title) |
ÇÁ·Î±×·¥ ÇÕ¼ºÀ» È°¿ëÇÑ MBA Ç¥Çö °£¼ÒÈ µµ±¸ |
¿µ¹®Á¦¸ñ(English Title) |
An MBA expression simplification tool based on program synthesis |
ÀúÀÚ(Author) |
°¼¿¬
¾çÁ¾È¯
Á¶Àº¼±
Seoyeon Kang
Jong Hwan Yang
Eun-Sun Cho
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 48 NO. 02 PP. 1161 ~ 1163 (2021. 12) |
Çѱ۳»¿ë (Korean Abstract) |
»ê¼ú ¿¬»ê¿¡ ºÎ¿ï ¿¬»êÀ» È¥ÇÕÇÏ¿© ¿¬»êÀ» ÀÌÇØÇϱ⠾î·Æ°Ô ¸¸µå´Â MBA ³µ¶È¸¦ ÇØÁ¦Çϱâ À§ÇÏ¿© ÇÁ·Î±×·¥ ÇÕ¼ºÀ» È°¿ëÇÏ¿© °£¼ÒÈ ÇÏ´Â ¿¬±¸°¡ È°¹ßÈ÷ ÀÌ·ç¾îÁö°í ÀÖ´Ù. º» ¿¬±¸¿¡¼´Â ±âÁ¸ÀÇ ´Ù¾çÇÑ MBA ³µ¶È ÇØÁ¦ µµ±¸ÀÇ ÀåÁ¡À» È°¿ëÇÏ´Â ÇÕ¼º ±â¹Ý MBA ³µ¶È ÇØÁ¦ µµ±¸ PLASynth¸¦ ¼Ò°³ÇÑ´Ù. PLASynth´Â ¿©·¯ ÇÕ¼º±â¹Ý MBA °£¼ÒÈ µµ±¸¸¦ È¿°úÀûÀ¸·Î °áÇÕÇÏ¿© º¸´Ù ¿ì¼öÇÑ ¼º´ÉÀ» °¡Áö´Â ³µ¶È ÇØÁ¦¸¦ ÇÏ´Â °ÍÀ» ¸ñÇ¥·ÎÇÑ´Ù. À̸¦ À§ÇØ ´Ü¼øÇÑ °áÇÕÀ» ½ÃÅ°´Â ´ë½Å ±âÁ¸ µµ±¸ÀÇ Æ¯¼ºÀ» ºÐ¼®ÇÏ°í °³¼±µÈ ¾Ë°í¸®ÁòÀ» Àû¿ëÇÑ´Ù. MBA Ç¥Çö½Ä µ¥ÀÌÅÍ ¼Â¿¡ ¿©·¯ °£¼ÒÈ µµ±¸¸¦ Àû¿ëÇÑ °á°ú¸¦ ºñ±³ÇÑ °á°ú, PLASynth°¡ ³ôÀº Á¤´ä·ü°ú ¿ì¼öÇÑ ±æÀÌ °¨¼ÒÀ²À» °¡ÁüÀ» È®ÀÎÇÏ¿´´Ù. |
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|