形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种约束求解的Web应用测试数据生成与筛选方法被引量：2
《计算机工程与应用》2016年第18期214-221,共8页邓志丹 杨海燕 吴际 
传统基于随机算法、约束求解以及面向白盒测试的测试数据生成方法往往忽略了测试数据与数据库系统之间的依赖关系,同时并不适用于数据复用、Web应用测试。提出一种面向业务流程数据约束的测试数据生成与筛选方法,通过在Web业务流程模型...
关键词：WEB应用测试 测试数据 业务流程 半形式化描述 约束 数据复用 
基于XYZ/SE的软件部分正确性验证
《计算机工程与应用》2015年第14期46-50,共5页张锦 刘曼霞 赵二群 柳军飞 
863重点课题(No.2009AA010314);国家自然科学基金(No.60901080)
针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性...
关键词：形式化描述 部分正确性验证 结构化XYZ/E 国库信息处理系统 
多语种构件模型的研究与实现
《计算机工程与应用》2010年第14期143-147,共5页汪漪 李皓 李晓 周俊林 王磊 
新疆维吾尔自治区科技攻关(含重大专项)项目资助(No.200612113;No.200732143-1)
通过对少数民族文字、语言的特点及其在多语种软件中体现的研究,对现有单一语种构件模型的接口和组合方式的分析,在单一语种构件模型的基础上,结合多语种软件的特点,定义了基于CCM的多语种构件模型,及其构件描述语言MLCDL。
关键词：多语种 构件模型 构件描述语言 多语种构件的形式化描述语言(MLCDL) 
构件适应和组装的形式化语义描述被引量：1
《计算机工程与应用》2007年第21期36-39,45,共5页谢兄 张维石 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573087)。
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适...
关键词：基于构件的软件工程 软件构件 构件组装 构件适应 软件复用 形式化描述 
多空间尺度下顾及不确定性的投影模型研究被引量：1
《计算机工程与应用》2007年第14期77-80,共4页蔡剑红 李德仁 
空间方向关系理论直接影响着GIS系统的设计、开发和应用,因而受到国际GIS及相关学术界的高度重视,因此进行其模型的研究意义重大。当空间尺度发生变化时,空间数据的不确定性随之变化,从而影响到空间关系的准确描述。考虑了由尺度变化带...
关键词：空间方向关系 不确定性 多空间尺度 形式化描述 
一种软件加密模型的形式化描述
《计算机工程与应用》2006年第14期82-85,共4页朱新兵 李清宝 白燕 曾光裕 
软件加密技术是软件版权保护的有效手段之一,但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念和理论的指导。鉴于此,论文在简要地介绍了加密软件的特点后,结合有穷自动机理论,提出了一种基于FA的...
关键词：有穷自动机 爆破点 拆分 软件加密模型 
形式化描述驱动的数据帧解析与处理被引量：8
《计算机工程与应用》2006年第5期179-181,212,共4页彭四伟 朱群雄 
在过程工业的数据采集和通讯领域中,数据帧是较为常见的一种数据形式。对于同一应用领域来说,建立在数据帧基础上的操作要求通常是相同的,但在不同的具体工程项目中,需要处理的数据帧的格式却经常不同。为了对不同格式的数据帧进行解析...
关键词：数据帧 数据采集 形式化描述 
工作流模型的扩展及其形式化描述被引量：4
《计算机工程与应用》2005年第31期69-73,共5页欧阳元新 熊璋 
工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展...
关键词：工作流模型 过程工程 企业建模 
基于任务的群体感知模型的形式化描述被引量：5
《计算机工程与应用》2005年第30期84-88,共5页闫临霞 曾建潮 
太原科技大学院青年科技研究基金项目
群体感知理论和实现技术是计算机支持的协同工作中必不可少的组成部分。文章分析研究了群体感知理论研究工作的现状,介绍了一种基于任务的群体感知模型TAM。该模型通过对收集来的感知信息按基本要素“任务”进行分解、处理(加权)、再组...
关键词：群体感知 群体感知模型 任务分解树 任务 
面向应用的无线自组传感器网络研究被引量：1
《计算机工程与应用》2004年第35期7-9,共3页杨少军 史浩山 刘晨亮 
国家部委项目
无线自组传感器网络由分布在一定空间范围的大量自组传感节点组成,节点具有数据感知,信息处理和无线通信能力,节点间以无线多跳的无中心方式连接,网络拓扑动态可变,具有广阔应用前景,是当前网络研究的热点问题之一。首先,给出无线自组...
关键词：无线自组传感器网络 评价指标 效能函数 形式化描述 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部