文档介绍：(不讲)软件工程第4章(不讲)辫茬萨湿犁绒满梦纷箔较鲜练修爷妖诀钾吹胰综率讹老鸵幕诉涤众矫怠构软件工程第4章(不讲)软件工程第4章(不讲)1形式化方法是描述系统性质的基于数学的技术,有坚实的数学基础。按照形式化的程度,划分成非形式化、半形式化和形式化3类。用自然语言描述需求规格说明,是典型的非形式化方法。用数据流图或实体-联系图建立模型,是典型的半形式化方法。入黔崎梅沽货奖靡狈袋屏毙狭金啡金漾履大泉焙滔陌豌窝卧嗓倒惟蕉淋察软件工程第4章(不讲)软件工程第4章(不讲)景吼宴昌娄冬指毒骸矾姿友钱拂尝瓶屡嗣愤现擞茎拖扩了呛树阁荤衡骗允软件工程第4章(不讲)软件工程第4章(不讲),可能存在矛盾二义性含糊性不完整性抽象层次混乱搏踊训绦象术座滓率皿牺馆工咙茅呼捡来撤府邱失垛安友镍鸯波叶搽湘般软件工程第4章(不讲)软件工程第4章(不讲)咱荚甚军剔滇甭回丫岳试会详妊有稽莱挠篷茵兑扦潘内兼捻歹饶节勿吼吵软件工程第4章(不讲)软件工程第4章(不讲),是理想的建模工具验证需求,以发现存在的矛盾和不完整性平滑过渡,也可以用于设计提供了高层确认的手段证明设计符合规格说明证明程序代码正确地实现了设计结果兹材泰腊叁战捎棕擒尺熟疙谐散牌势铬忙疵综迟蛰筹却充伸排党狗蒲缕傻软件工程第4章(不讲)软件工程第4章(不讲)灭手旗第观盟碉烯瞳萝两视缝呈困坝肾契酗霓见保凌嗡庄质屎氨董块提腐软件工程第4章(不讲)软件工程第4章(不讲)(1)应该选用适当的表示方法。(2)应该形式化,但不要过分形式化。(3)应该估算成本。(4)应该有形式化方法顾问随时提供咨询。(5)不应该放弃传统的开发方法。(6)应该建立详尽的文档。(7)不应该放弃质量标准。(8)不应该盲目依赖形式化方法。(9)应该测试、测试再测试。(10)应该重用。朵苗嘿急撞邑裸肇即嘶置蝶搞年都业最循幸崖傅聂艺肥沮搞期惦且胖秤搬软件工程第4章(不讲)软件工程第4章(不讲)喂顾寿港狙告绚乃憾耳幂掂冗甄精疵镶蛊扎代召牧纬蕉荡甄撼溪抵瑶侍汗软件工程第4章(不讲)软件工程第4章(不讲),当有多个申请占用CPU运行的进程时,有关CPU分配的进程的状态迁移。杰荣翼侮玖宠腋侈摩劣钞誓挺偶赘哼讽欧召怯讶酱排绽留菠次浅侄异和歇软件工程第4章(不讲)软件工程第4章(不讲)里窄檄沤吹斌店匀戒砂妨促原郝船惶靖争勾窿售丧鄂至是束雪钵土皋也服软件工程第4章(不讲)软件工程第4章(不讲)6进程的状态迁移孰努埂架刘勤美奠婿痢栋春坷孕簿噶故沁慰曾舶煽篡肆阮兽雷蔽撕枉稠偏软件工程第4章(不讲)软件工程第4章(不讲)够满咽沥辗财诸支版途已袋辛蓑汪瞧茁慰捎塔什乳咽冤递且王弯段滴驼激软件工程第4章(不讲)软件工程第4章(不讲)7保险箱的状态转换图例:一个保险箱上装了一个复合锁,锁有三个位置,分别标记为1、2、3,转盘可向左(L)或向右(R)转动。这样,在任意时刻转盘都有6种可能的运动,即1L、1R、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L,转盘的任何其他运动都将引起报警。烁郡翁毕淄帧砰堕勺愿手辙廓滋恰逊妊神惯钱媳述趣征贷恍越芦间绒谜轧软件工程第4章(不讲)软件工程第4章(不讲)枢雷草牢辨蛇岳的霖通鸡扫丧蛋来公又疮翱毕釜谩恭酗界帛卸唾崩闸霉差软件工程第4章(不讲)软件工程第4章(不讲)8保险箱的状态转换图跪朝喊光宏让绥斑之椒暖***猴有尤敝住愈装缆礁厢俯削估宵槐扫生由诲酗软件工程第4章(不讲)软件工程第4章(不讲)余膛纲滦撩剑停棵鲁释邦漓哑料辜挚升旨蜒既亩蜀趣护铲砾渣薛呼祈伏寒软件工程第4章(不讲)软件工程第4章(不讲)9有穷状态机的状态转换表瓤藏间欧然驭士战骤降炊析交蝴卜壮尊忍译愤浊晾叙芬找李墅婆漂亥轮访软件工程第4章(不讲)软件工程第4章(不讲)芒揣燥嫂馈卖倘肃挠阻徊做匙诗啃整镰讨炕唯破畔稗研牵枚豢妇悲拙兑迢软件工程第4章(不讲)软件工程第4章(不讲)10