【摘 要】
：
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。
论文部分内容阅读
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷。众多的形式化方法在功能上可以实现互补。目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
其他文献
父母的教养方式对儿童社会化有重要的影响和作用。本文主要从教养观念、教养行为、教养方式类型、教养方式的文化差异等方面分析了父母教养方式与儿童社会化的关系。
自中共十七届六中全会关于推动社会主义文化大发展大繁荣的《决定》发布以来,对于城市文化发展繁荣的讨论成为一个热议话题。本文就城市文化是什么,城市文化的定义与主要内容
目的分析手术室护理管理中应用风险意识的效果。方法从我院收治的手术患者中随机抽选400例,按入院编号分成不同组,其中,200例对照组患者实施基础化的手术室护理管理,200例试
很多小学语文新教师在走上讲台不久后就会发现自己在师范院校里所习得的教学知识技能、从教育实习中所得的教学经验远远不足以应付眼前的教学工作。如何让刚上岗的小学语文新
介绍了"屈趾型"速滑冰刀研究的理论基础和实验研究依据.探讨了"屈趾型"速滑冰刀对运动成绩提高的作用.
通过分析近两年监督部门的抽查结果可知,我国定量包装商品净含量不足的问题较多,消费者的正当权益受到严重侵害,生产企业在信誉及社会效益等方面也遭受了不同程度的损失。基
讲故事是人类的本能行为,是人类最基本的生存方式。随着当代电子传媒的飞速发展,大量新的叙述体裁(如“真人秀”、微博、微信)涌现出来,无论是旅游热、古迹热、消费热、食品
明清俗语辞书的编纂目的不仅仅是＂寻找俗语俗字的出处或最早用例＂,其编纂目的有三：一是探求词的得名之由,揭示词的最早用例;二是有意记录方言俗语,并作深入考证;三是为查检之目
梳理我国跨境电子商务的政策环境、业务模式等发展现状,指出在跨境贸易环境、国内规制、企业盈利能力、人才等方面存在的问题,结合杭州等城市的试点成果提出未来的发展趋势及
日常生活中,人们在厨房空间需要使用各种生活用具,本文通过厨房空间中的人机工学来分析这些用具的人性化设计。