【摘 要】
:
为了提高软件的正确性、稳定性和安全性,本文用形式化B方法来设计软件,简单介绍了B方法及其特点,并用形式化方法描述软件的需求分析,同时将B方法与UML相结合应用在软件开发中,最后
【机 构】
:
扬州大学信息工程学院盐城高等师范学校
论文部分内容阅读
为了提高软件的正确性、稳定性和安全性,本文用形式化B方法来设计软件,简单介绍了B方法及其特点,并用形式化方法描述软件的需求分析,同时将B方法与UML相结合应用在软件开发中,最后以实例分析表明这套方法是可行的。
其他文献
微服务是一种近年来兴起的一种新型的软件架构风格,它已经越来越多地应用到大规模复杂软件系统中,在软件工程的学术和工业领域都受到了极大的关注。相比于传统软件系统一般只
改革开放后,选择回到中国内地高校进行求学深造的港澳学生逐年增多,他们成为了党的统战工作的重要对象。实现“两个一百年”奋斗目标和中华民族伟大复兴的中国梦,需要凝聚各
献血员与非献血员脑卒中患病率对照研究050081空军石家庄医院神经内科李文,吕桂玲,于凤香,孙雪妹050081空军石家庄医院检验科周景林,高华脑卒中是严重危害中老年人身体健康的常见病之一,其病因
本文主要是针对黑白人物肖像摄影绣品技巧展开研究,着重从刻画人物眉眼、发须在不同深度的黑白灰色彩和针法上的巧妙应用展开阐述,对作者的黑白摄影绣品《齐白石》展开分析,从而
在网络新闻成为新闻消费主流的今天,网络编辑也成为一个新兴职业,而新闻专业毕业生大多不愿从事这种行业,是因为他们对这项职业存在误解。
选择理想的管理模式,组织中不同个体的人性潜力才能得以最大限度地挖潜和发挥.探寻人性运用的理想管理模式,我们有必要先来了解一下有关人性的理论.
日本人最敬佩的是哪家公司?人们无疑会想到松下、丰田,抑或是索尼、三菱,然而,日本经济新闻社每年一次的评价表明,这项殊荣属于京都陶瓷公司.
复发型格林巴利综合征在临床上比较少见,此病为一种自限性免疫介导性疾病,它与CMU、EB、BKU等病毒有关,往往由多病因所致,且复发型较之初发型更为严重。我科曾在199509抢救成功1例,现结合其护
"高承诺"人力资源实践是由一些一流的日本企业创造实施的一种管理模式,是全面质量管理的有机组成部分,是一种开放式管理方式.惠普公司是有效实施这种人力资源实践的典范."高
三维堆叠集成技术的产生为半导体工业的发展开辟了一条新的道路。作为三维堆叠集成的关键技术和重要组成部分,硅通孔(Through Silicon Via,TSV)的可靠性问题不可忽视。TSV本质上是多根由绝缘层包裹后镶嵌在不同基体中的导电铜柱,该技术广泛应用在三维集成电路芯片和芯片间的垂直互连上。但是由于TSV本身极易发生结构缺陷,且发生位置不定,类型复杂,这些微小的结构缺陷都会对TSV的信号传输性能