软件形式化

作品数：15被引量：36H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王新苏钱春花姚全珠王江张为群更多>>
相关机构：江西师范大学中国科学技术大学上海大学西北工业大学更多>>
相关期刊：《哈尔滨商业大学学报（自然科学版）》《中国科技博览》《信息周刊》《计算机工程与应用》更多>>
相关基金：国家自然科学基金厦门市科技计划项目北京市科技新星计划中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软件形式化开发方法的选择策略探讨
《信息周刊》2019年第3期0458-0458,共1页王珊珊 
随着目前软件形式化开发方法的不断发展,形式化方法逐渐趋于多元化,在实际进行系统开发的过程中形式化方法的选择成为了一项非常难的题目,为了解决这一问题,本文主要针对目前常用的形式化方法进行了分析,应充分结合软件开发人员实际系...
关键词：形式化 开发方法 选择策略 
实验设备管理软件形式化描述方法研究
《电子技术与软件工程》2017年第21期41-43,共3页章昱 邹成武 
编号为5489校级课题江西师范大学青年成长基金(自然科学类)的资助
针对常规的软件描述方法不够严谨,本文介绍了软件形式化方法的特点和技术类别,介绍了Z语言的表达方式及其各自的特点。然后本文使用Z语言分析了实验设备管理软件,给出了部分形式化分析结果。结果表明,Z语言能够将数理逻辑完备用于的描...
关键词：软件形式化 Z语言 设备管理 
软件形式化建模方法探析被引量：1
《河北软件职业技术学院学报》2016年第2期48-50,共3页周建儒 
传统软件开发流程存在各种缺陷。软件形式化方法是建立在严格数学基础上的软件开发方法,该方法为从根本上解决传统软件开发过程中存在的主要缺陷提供了可能,其中Pi验算就是比较典型的一种形式化语言,结合实例来分析Pi验算进行形式化建...
关键词：软件形式化 Pi验算 软件工程 建模方式 
软件形式化方法与应用专题前言被引量：4
《软件学报》2016年第3期495-496,共2页詹乃军 王戟 李宣东 
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专...
关键词：形式化方法 高阶逻辑 应用专题 定理证明器 程序理论 数学方法 研究成果 代数的 计算机科学 保障系统 
《软件学报》软件形式化方法与应用专刊征文通知
《软件学报》2015年第6期F0004-F0004,共1页
形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．
关键词：形式化方法 征文通知 软件 应用 学报 计算机科学 程序理论 数学方法 
基于时间STM的软件形式化建模与验证方法被引量：6
《软件学报》2015年第2期223-238,共16页侯刚 周宽久 常军旺 王洁 李明楚 
国家自然科学基金(61402073;61272174)
状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用....
关键词：时间STM 界限模型检测 时间计算树逻辑 实时嵌入式软件 
反应式软件形式化系统研究系统分析被引量：1
《哈尔滨商业大学学报（自然科学版）》2014年第4期477-481,共5页许明 开金宇 肖蕾 
厦门市科技计划项目(3502Z20133043)
从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件...
关键词：形式化方法 形式化系统 形式化语言 迁移系统 计算模型 
软件形式化开发方法的选择策略研究被引量：3
《电子设计工程》2014年第15期30-32,36,共4页彭成 王盼卿 
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法 RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的...
关键词：形式化 开发方法 选择策略 
基于UML的软件形式化需求分析与验证被引量：12
《计算机工程》2010年第13期30-33,共4页姚全珠 王江 
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形...
关键词：需求分析 形式化方法 统一建模语言 需求验证 
基于Z语言的软件形式化需求分析
《苏州农业职业技术学院学报》2010年第2期27-30,共4页钱春花 
Z语言是目前广泛使用的一种形式化方法语言。它是一种基于集合和一阶谓词逻辑的模式规约语言，可用于产生精确的需求规格说明。本文介绍了需求分析的Z语言形式化方法，并给出了一个小型图书馆管理的Z语言描述实例，给出了小型图书馆管...
关键词：形式化方法 Z语言 小型图书馆管理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部