基于SOFL的软件开发过程

来源 :中国电子商务 | 被引量 : 0次 | 上传用户:shining321
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
SOFL是形式化语言中的一种,它集成了数据流图,VDM—SL,Petri网的优势,为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据流图进行扩展,并使用Petri网为DFD提供操作语义,形成了CDFD。它用层次方式进行组织,从而把复杂问题分解成若干组织良好的子CDFD;VDM—SL用表对CDFD里的构建进行形式描述,两者结合,构成了SDFL。本文介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点,SOFL的软件开发过程经历所需分析,抽象设计,演化,细节设计,编程,验证几
其他文献
为了加强对特种设备的日常监管,减少和杜绝安全事故的发生,保证广大人民群众生命财产安全,促进国民经济发展,对特种设备的移动监察已经迫在眉睫。本文介绍了PDA移动监察系统,阐述
目的探讨CT检查在胸膜间皮瘤患者临床诊断中的价值,以进一步提高影像诊断的准确率。方法收集江苏省肿瘤医院2007年6月至2016年6月经穿刺或手术病理证实的胸膜间皮瘤患者14例
3月21日,市人大代表、重庆理工大学教授程新跃,再次走访了解代表建议办理情况. 2011年、2013年、2014年,程新跃在市人代会上分别提出《关于大力兴建立体停车楼,切实解决停车
期刊
网络的出现不仅改变了文学的存在方式,也导致了文学功能的变化。体现为娱乐功能凸显、情感功能提升、交往功能加强等。网络文学只有在多重功能的制衡下,才能够健康的发展,也
【正】一大早,重庆市大渡口区新山村街道新一社区的李淑芬大妈就来到小区院坝里,和姐妹们一起打太极拳。看着整洁的院坝和花草树木成荫的优美环境,李大妈无限感慨:"以前这里
随着资本主义经济的发展,货币对于现代生活世界所产生的巨大效应引起了众多思想家的关注。《1844年经济学—哲学手稿》是马克思货币研究的重要著作。通过对本书中马克思"货币
家庭是孩子幸福的摇篮。完整的家庭更是孩子健康成长不可缺少的必要条件。但是,随着社会的不断发展,人们价值观念的日益多元化。离婚率越来越高.伴随而来的是校园中单亲学生数量
随着网络技术在全世界的普及,网络对人们的生活、学习、工作的影响越来越大。学校作为培养人才的教育机构,建立一个安全有效的校园网络,为学生提供一个数字化学习平台是十分重要
万里长江从莽莽雪山奔流直下,一泻千里。在进入四川盆地南缘的泸州地域,纳入永宁河水之后,拐了一个弯,由东南折向正东奔腾而去。就在这拐弯处,耸立着一座现代化的天然气化工城——
2018年7月31日,云南省昆明市住建局局长李彤又一次被请到昆明市人大会场,与市人大常委会相关负责人、市人大代表面对面.这一次阵仗更大:两位副市长、8个市政府职能部门负责人