张亚红

作品数:6被引量:26H指数:2
导出分析报告
供职机构:新疆大学信息科学与工程学院更多>>
发文主题:WEB服务确定有限自动机WEB服务选择CDIO《软件工程》更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机应用与软件》《计算机应用研究》《现代计算机(中旬刊)》《计算机科学》更多>>
所获基金:国家自然科学基金福建省自然科学基金新疆维吾尔自治区高校科研计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
一种基于运行时验证的Web服务选择方法被引量:2
《计算机科学》2014年第1期246-249,共4页张亚红 张琳琳 赵楷 陈佳丽 冯在文 
国家自然科学基金项目(61100017;61262089);福建省自然科学基金项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助
为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对Web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行...
关键词:运行时验证 行为匹配 用户偏好 WEB服务选择 
动态软件水印的研究与实现
《计算机应用与软件》2013年第7期8-10,20,共4页陈佳丽 张琳琳 萨伍尔江.阿西木 张亚红 赵楷 
国家自然科学基金项目(6110 0017);新疆维吾尔自治区高校科研计划项目(XJEDU2011S24);新疆大学博士毕业生科研启动基金项目(BS090142)
软件水印作为一种新颖的版权保护技术,被誉为"数字产品内容保护的最后一道防线"。在实现了一个维、汉双语记事本软件的基础上,运用动态软件水印保护技术及其实现原理,对该软件实施版权保护。此外,在水印的嵌入过程中还引入一些软件保护...
关键词:版权保护 软件水印 动态水印技术 保护策略 
基于UML2.0序列图的Web服务运行时验证方法被引量:3
《计算机科学》2013年第7期138-142,共5页张亚红 张琳琳 赵楷 陈佳丽 冯在文 
国家自然科学基金资助项目(61100017;61262089);自治区高校科研计划项目(XJEDU2011S24);福建省自然科学基金项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自...
关键词:UML2 0序列图 确定有限自动机 WEB服务 运行时验证 
工作流技术在地矿设备管理系统中的应用及实现被引量:2
《计算机应用与软件》2013年第6期12-15,共4页张亚红 张琳琳 石刚 赵楷 陈佳丽 冯在文 
国家自然科学基金项目(61100017)
提高现代企业设备管理的信息化水平,使设备资产的综合效益达到最佳的程度,对于促进企业技术进步、提高经济效益和市场竞争力具有非常重要的意义。针对新疆地质矿产勘查开发局某地质大队设备种类繁杂、管理无序化和自动化程度低的问题,...
关键词:设备管理系统 工作流 XML 
基于场景的面向方面软件体系结构度量方法被引量:2
《计算机应用研究》2013年第2期483-486,共4页陈佳丽 张琳琳 张亚红 赵楷 冯在文 倪友聪 
国家自然科学基金资助项目(61100017);福建省自然科学基金资助项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金资助项目(BS090142)
软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题。针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法。通过一组度量指标对体系结...
关键词:软件体系结构 面向方面体系结构 场景 度量 
基于CDIO的《软件工程》实践课程教学改革与探索被引量:17
《现代计算机(中旬刊)》2012年第9期30-33,共4页赵楷 张琳琳 张振宇 张亚红 陈佳丽 
国家自然科学基金项目(No.61262089);新疆维吾尔自治区重点产业紧缺人才信息安全专业建设项目(新教高[2011]43号);新疆大学<软件工程>校级精品课程项目(新大教字[2012]32号)
《软件工程》课程是计算机类相关专业高年级阶段的核心课程,强调对学生软件开发能力以及工程实践能力的综合训练和系统提升。针对新疆大学《软件工程》课程设置和实施的现实情况,基于CDIO工程教育理念,构建了"三段式"阶梯型、层次化的...
关键词:软件工程 实践课程 教学方法 考核评价 
检索报告 对象比较 聚类工具 使用帮助 返回顶部