ÇóÖª ÎÄÕ ÎÄ¿â Lib ÊÓÆµ iPerson ¿Î³Ì ÈÏÖ¤ ×Éѯ ¹¤¾ß ½²×ù Model Center Æû³µÏµÍ³¹¤³Ì   Ä£ÐÍ¿â  
»áÔ±   
AI¸¨ÖúÆóÒµÍøÂ簲ȫ&ÖÎÀí
6ÔÂ11-12ÈÕ ±±¾©+ÏßÉÏ
»ùÓÚÄ£Ð͵ÄÊý¾ÝÖÎÀíÓëÊý¾ÝÖÐ̨
6ÔÂ16-17ÈÕ ±±¾©+ÏßÉÏ
Spec Driven Development ¹¤³Ì»¯Êµ¼ù
6ÔÂ12-13ÈÕ ±±¾©+ÏßÉÏ
ÊÓÆµ£º×´Ì¬Í¼ Éú³É ״̬±í£¨WebEA£©     2058 ´Îä¯ÀÀ     69 ´Î   ¾èÖú


ÙÞÌΠ
»ðÁú¹û¿Æ¼¼


ÊÓÆµ½éÉÜ
ÊÓÆµÖ÷Òª½éÉÜWebEAÖеÄ״̬ͼÉú³É״̬±í¡£
¾èÖú




ÆäËûÈË»¹¿´ÁË
FMUµ¼ÈëÓë·ÂÕæ 1794 ´Îä¯ÀÀ  
»ùÏß¹ÜÀíÓë°æ±¾¶Ô±È£¨iSpace£© 1437 ´Îä¯ÀÀ  
ÔªËØ¼ì²é£¨ Model Checker£© 3917 ´Îä¯ÀÀ  
Á´½ÓÄ£ÐͿ⣨WebEA£© 1261 ´Îä¯ÀÀ  
»ùÓÚ½¨Ä£¹¤¾ßEA½øÐÐ×Ô¶¯¼ÝÊ»·ÂÕæ 1186 ´Îä¯ÀÀ  
ÀàµÄ¼Ì³Ð£ºÊôÐԺͲÙ×÷~iSpace 1144 ´Îä¯ÀÀ