论文部分内容阅读
传统软件开发流程存在各种缺陷。软件形式化方法是建立在严格数学基础上的软件开发方法,该方法为从根本上解决传统软件开发过程中存在的主要缺陷提供了可能,其中Pi验算就是比较典型的一种形式化语言,结合实例来分析Pi验算进行形式化建模的过程,可以帮助我们更好地了解这种形式化语言建模方式。
软件形式化建模方法探析
【摘 要】
：
传统软件开发流程存在各种缺陷。软件形式化方法是建立在严格数学基础上的软件开发方法,该方法为从根本上解决传统软件开发过程中存在的主要缺陷提供了可能,其中Pi验算就是比
【机 构】
：
四川信息职业技术学院
【出 处】
：
河北软件职业技术学院学报
【发表日期】
：
2016年2期
其他文献
日本朝日电视台20日称，中菲海上对峙让人隐约闻到了火药味．两国海上互相“瞪视”的僵局看似可能会由军事冲突打破。泰国玛希隆大学国际学院专家乔治？阿穆若撰文说，如果双方爆发战
一、创新社会管理势在必行改革开发以来,随着社会主义市场经济的深入发展,我国经济社会发展迅猛。但我们必须清醒地认识到,当前,我国社会正处在深刻的社会转型期,也是矛盾多
教务管理系统的广泛使用产生了大量的教务数据。在查询或使用这些数据的过程中,用户不可避免地会产生对自身隐私信息的关注,并且教务管理人员也不希望教务数据被过多的无关人
计算机作为实现信息化教学管理的重要工具和手段,在教学和科研领域正扮演着越来越重要的角色。采用目前流行的Bootstrap为前端工具集、中间件和组件技术的B/S软件架构体系,以PHP作为后台开发语言,以My SQL为后台数据库,设计并实现了高校毕业管理系统。此系统中各院系的教学秘书相当于后台管理员,负责管理和维护后台的相应数据。
无论是做人，还是在成就上，这两位都绝对称得上大师。如果以他们为标杆。对当下的文化界进行一次打假，那么，根本不用成立“打假办”，现在那些满天飞的“大师”。至少有百分之九十九
近年来，IC卡智能系统逐步进入人们的视野。一卡通系统在全国高校中越来越普及。在互联网时代背景下。一卡通与智能手机、云技术和大数据深度融合，智能身份识别技术也不断提升。
针对当前高职数学教学中存在的诸多问题,引入＂行动导向法＂作为高职数学教学改革的一个尝试。选择实践性、应用性较强的计算机数学（离散数学）课程作为突破口,根据＂行动导向法＂的思想
我国学界对就业结构调整滞后于产业结构调整已有共识。将Moore结构变化度作为衡量指标,以1985-2016年间河北省就业结构和产业结构统计数据为基础,分阶段验证了河北省就业结构