ÇóÖª ÎÄÕ ÎÄ¿â Lib ÊÓÆµ iPerson ¿Î³Ì ÈÏÖ¤ ×Éѯ ¹¤¾ß ½²×ù Model Center Æû³µÏµÍ³¹¤³Ì   Ä£ÐÍ¿â  
»áÔ±   
»ùÓÚUMLºÍEA½øÐзÖÎöÉè¼Æ
2ÔÂ3-4ÈÕ ±±¾©+ÏßÉÏ
ÐèÇó·ÖÎöÓë¹ÜÀí
2ÔÂ9-10ÈÕ ±±¾©+ÏßÉÏ
AI´óÄ£Ðͱàд¸ßÖÊÁ¿´úÂë
3ÔÂ12-13ÈÕ ±±¾©+ÏßÉÏ
ÊÓÆµ£º×´Ì¬Í¼ Éú³É ״̬±í£¨WebEA£©     1813 ´Îä¯ÀÀ     49 ´Î   ¾èÖú


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


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




ÆäËûÈË»¹¿´ÁË
½Ó¿Ú·ÖÎö£¨ Model Checker£© 1550 ´Îä¯ÀÀ  
»ùÓÚÄ£Ð͵ĴúÂëÖ´ÐзÖÎö 1997 ´Îä¯ÀÀ  
Éú³ÉÎĵµ£¨»ùÓÚÄ£ÐÍ£© 2918 ´Îä¯ÀÀ  
ϵͳÉè¼Æ~ЧÄÜ·ÖÎöÆ÷ 1793 ´Îä¯ÀÀ  
Ä£ÐÍÔªËØµÄ¿Ë¡Óë¸ú×Ù~iSpace 903 ´Îä¯ÀÀ  
½²×ù£ºÑз¢ÈËÔ±ÄÜÁ¦½¨ÉèÌåϵiPerson 2521 ´Îä¯ÀÀ