• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â

»çÀÌÆ®¸Ê

Loading..

Please wait....

Ȩ Ȩ > ¿¬±¸¹®Çå >

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 ´Ù¿î·Îµå