许东

作品数：13被引量：17H指数：3
导出分析报告
供职机构：上海大学更多>>
发文主题：偶图面向对象TSP故障树J2EE更多>>
发文领域：自动化与计算机技术建筑科学经济管理文化科学更多>>
发文期刊：《计算机应用》《中国科技博览》《计算机应用研究》《小型微型计算机系统》更多>>
所获基金：上海市科学技术发展基金上海市高等学校青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
偶图及其应用研究综述被引量：1
《软件学报》2016年第2期195-208,共14页许东 王晶晶 李静 
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-...
关键词：偶图 范畴论 偶图范畴 偶图反应系统 偶图应用 
大数据管理的偶图模型被引量：1
《小型微型计算机系统》2016年第2期312-315,共4页许东 李静 
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化...
关键词：大数据管理 偶图 偶图反应系统 数据生命周期 
信息物理系统的偶图动态建模与分析
《小型微型计算机系统》2015年第9期2153-2158,共6页许东 李静 朱刚 
通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供...
关键词：信息物理系统 随机偶图 普适计算 智能家居 
偶图范畴的规范描述
《计算机科学》2013年第7期24-27,共4页许东 朱刚 李静 
范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名...
关键词：偶图 范畴 普适信息系统 
工科生《编译原理》课程教学的探析和实践
《教育教学论坛》2013年第5期119-120,共2页袁世忠 邵伟民 沈俊 许东 
针对工科生的特点及其培养目标,将《编译原理》课程的教学目标定位于"能灵活应用形式语言和自动机的基础理论来解决计算机工程领域中的相关问题",并分析和总结了相应的教学手段和实验教学方案及其实践效果。
关键词：编译原理 教学目标 教学方法 实验教学 
轻量级J2EE快速开发框架的设计与实现
《中国科技博览》2010年第13期59-60,共2页欧阳斌 许东 
基于Web的MVC framework在J2EE的世界内空前繁荣，几乎每隔一两个星期就会有新的MVC框架发布。很多国内软件公司也有一套自己的开发框架，但其中绝大多数是对现有开源框架的整合，少有完全自行设计的框架，本文在借鉴主流开源框架Struts...
关键词：设计 J2EE 框架 轻量级 
基于UML活动图的测试研究进展被引量：7
《计算机科学》2008年第2期263-267,281,共6页高红梅 许东 刘宗田 
国家发展与改革委员会基金项目(编号SNMCFIP-2006S001)
UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模。基于UML活动图的测试受到业界的普遍欢迎。然而从UML活动图自动生成完整的测试场景\用例成为一个难点。本文对基于UML活动图的测试进行了比较分析,总结了几种...
关键词：UML活动图 细-线程 测试场景 反蚁群Agent 自适应细菌Agent 
CMMI V1.2版本的新特征被引量：4
《计算机科学》2007年第11期241-244,258,共5页许东 刘宗田 
上海市高校青年基金(编号03AQ100)
最新发布的CMMI V1.2模型做了很多的改进。将原先的模型CMMI-SE/SW/IPPD进行了整合,更改了模型的名称:CMMI-SE/SW/改为用于开发的CMMI模型CMMI-DEV v1.2。CMMI v1.2产品集支持开发、服务和获取过程,CMMI-DEV是其中的一种并首先发布,其它...
关键词：CMMI V1.2版本 CMMI模型整合 CMMI模型变化 
一个软件质量保障平台的研究与实现
《计算机工程与科学》2006年第z2期132-134,149,共4页许东 杨根兴 沈备军 宿为民 刘宗田 
上海科技发展基金资助项目(025115035);上海市高校青年基金资助项目(03AQ100)
本文阐述了一个自主研发的、基于CMM和ISO 9001标准,采用过程和度量技术的软件质量保障平台(SQAP).该平台分为过程支撑平台、多维模板库和应用平台三个层次,支持过程的定义、重组、剪裁和实例化,适用于企业级及项目级两个层次的过程建...
关键词：过程规范 多维模板 度量报表 质量保障 
基于TSP的软件质量控制平台设计与实现
《计算机应用研究》2006年第2期177-180,共4页林炜 李旭 刘宗田 许东 
上海市科技发展基金重点项目(025115035);上海市高等学校青年科学基金项目(205341)
介绍了一个软件质量控制平台的设计与实现过程。该平台以CMM,TSP/PSP为核心理论依据,作为一个面向中小型软件企业的软件质量控制平台,它能够有效提高开发效率,帮助企业改进软件过程,并支持企业的软件能力最高达到CMM5级水平。内容包括TS...
关键词：小组软件过程/个体软件过程 软件能力成熟度模型 STRUTS J2EE 软件质量控制平台 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部