论文部分内容阅读
形式化方法被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径,也是实现软件开发自动化的关键.阐述了软件开发的形式化方法,介绍了几种典型的形式化软件开发工具,重点介绍了PAR方法,并结合具体实例阐明了PAR方法的应用.
软件形式化开发研究
【摘 要】
：
形式化方法被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径,也是实现软件开发自动化的关键.阐述了软件开发的形式化方法,介绍了几种典型的形式
【机 构】
：
九江学院信息科学与技术学院,332005
【出 处】
：
中国水运（学术版）
【发表日期】
：
2006年8期
其他文献
Study on the risk factors of lymphatic metastasis and the indications of less invasive operations in
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
挑战rn对于服装生产企业而言,产品的个性化服务需求极强且产品更新变化快,品牌服装行业由于其特性决定了它是最适合应用RFID技术的行业.在全球各行业纷纷试水RFID的当口,世界
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
6月19至22日在新加坡举行的2001亚洲通信展日前落下了帷幕,它的成功无疑再次验证了它是亚洲通信业一大盛会.亚洲通信展由新加坡展览服务中心和新加坡信息通信发展局(IDA)联合
特朗普成为美国下一届总统,经济政策的转变将会改变全球经济以及金融市场的节奏和舞步。美国大选可以说步步惊心、扣人心弦,虽然是特朗普笑到了最后,拿下了美国下一届总统的
派屈克·菲利朋斯当选年度比利时最佳信鸽记者,他本人还是该国一流的赛鸽手。2003年,派屈克·菲利朋斯(PatrickPhilippens)以78%的高得票率当选比利时年度最佳信鸽记者。近年
比利时是当今世界上信鸽业最发达的国家之一,本文作者多年向往比利时拜访当地知名养鸽人士,终于如愿以偿在比利时,并见到了被誉为“欧洲超级全能鸽舍”的西佛·托依,并荣幸地
浙樱粉1号是以CP28为母本,以CP24为父本育成的樱桃番茄一代杂种。无限生长类型,早熟,果实圆形,成熟果实粉红色,单果质量18g左右,可溶性固形物含量9%,风味品质佳。具单性结实
目的:探究不同射野参数的调强放疗计划对宫颈癌术后治疗的疗效对比.方法:选取2017年7月到2018年4月期间在本院治疗的21例宫颈癌患者,其中患者年龄在18～60岁,平均年龄为(38.24