±¨ ¸æ ÈË: ÁõÉÙÓ¢½ÌÊÚ[ÈÕ±¾·¨Õþ´óѧÍÆËã»ú¿Æѧϵ]
»ã±¨¹¦·ò: 2014Äê7Ô 29ÈÕ£¨Öܶþ£©9:30¡«11:00
»ã±¨µØÖ·: У±¾²¿¶«ÇøÍÆËã»ú´óÂ¥901ÊÒ
Ñû Çë ÈË: çÑ»´¿Û ½ÌÊÚ
Ö÷°ì£ºÍÆËã»úѧԺ
Abstract£º
While formal methods have proved to be a heavy approach to software development with many limitations in practice, agile methods proposed in the literature provide some effective managerial strategies for carrying out activities in software development. The two schools seem to advocate opposite principles. In this talk I will first explain that formal methods and agile methods are actually friend rather than enemy, and then discuss how the SOFL three-step specification approach together with specification animation techniques will achieve agile effect in developing both software specifications and final programs.
Biography£º
Shaoying Liu(ÁõÉÙÓ¢) ½ÌÊÚ £¬ÈÕ±¾³ÛÃûÍÆËã»úר¼Ò £¬ÈÕ±¾·¨Õþ´óѧ½ÌÊÚ £¬Ð±¦GGÍÆËã»ú¹¤³ÌÓë¿ÆѧѧԺ¿Í×ù½ÌÊÚ¡£ÔçÄêÔÚÎ÷°²½»Í¨´óѧ»ñµÃѧʿºÍ˶ʿѧλ £¬ºóÔÚÓ¢¹úÂü³¹Ë¹ÌØ´óѧ»ñµÃ²©Ê¿Ñ§Î»¡£ÏÖΪIEEEÍÆËã»úѧ»á¸´ÔÓÐÔ¼¼ÊõίԱ»á¸±Ö÷ϯ £¬IEEEÍÆËã»úѧ»á¡¢ACM¡¢ÈÕ±¾Èí¼þ¿ÆѧÓë¼¼Êõѧ»á³ÉÔ±¡£¶àÄêÀ´ £¬ËûÔÚÍÆËã»ú¿ÆѧµÄºÜ¶àÁìÓò £¬Ô̺¬´ó¾Ö»¯¹¤³Ì²½Öè¡¢Èí¼þ¿ª·¢²½Öèѧ¡¢Èí¼þ²âÊÔ¡¢¿¿µÃס¸´ÔÓµÄÍÆËã»úϵͳºÍÖÇÄÜÈí¼þ¹¤³Ì»·¾³µÈ·½Ãæ×ö³öÁ˳ÁÒª¹±Ïס£ËûÔÚ³ÛÃû¹ú¼ÊÔÓÖ¾¼°»áÒé°ä·¢Ñ§ÊõÂÛÎÄ100¶àƪ £¬³ö°æ×êÑÐרÖø4²¿ £¬Ô̺¬ÔÚSpringer³ö°æÁËרÖø¡¶Formal Engineering for Industrial Software Development¡·¡£ËûÊǹú¼Ê´ó»áµÄÖ÷ϯ¡£ÂÅ´ÎÔÚ¹úÄÚ±íµÄ¶àËù´óѧ½²Ñ§,×÷ѧÊõ»ã±¨¡£
