您的位置： 专家智库 > >

王立福

作品数：91 被引量：1,388H指数：16
供职机构：北京大学信息科学技术学院软件研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理建筑科学机械工程更多>>

合作作者

文献类型

  • 65篇期刊文章
  • 21篇会议论文
  • 2篇标准
  • 2篇科技成果
  • 1篇学位论文

领域

  • 80篇自动化与计算...
  • 2篇经济管理
  • 2篇建筑科学
  • 1篇石油与天然气...
  • 1篇机械工程
  • 1篇电子电信
  • 1篇文化科学

主题

  • 19篇工作流
  • 16篇软件开发
  • 12篇软件工程
  • 9篇软件测试
  • 9篇软件体系结构
  • 9篇体系结构
  • 9篇面向对象
  • 9篇RFID
  • 6篇引擎
  • 6篇射频识别
  • 6篇无线射频
  • 6篇无线射频识别
  • 6篇工作流管理
  • 5篇信息安全
  • 5篇同步网
  • 5篇计算机
  • 5篇工作流管理系...
  • 5篇工作流引擎
  • 4篇青鸟
  • 4篇网络

机构

  • 89篇北京大学
  • 3篇江西师范大学
  • 3篇陕西师范大学
  • 2篇首都师范大学
  • 1篇东南大学
  • 1篇江苏大学
  • 1篇南京大学
  • 1篇解放军信息工...
  • 1篇辽宁大学
  • 1篇石油大学
  • 1篇云南师范大学
  • 1篇中国石油大学...
  • 1篇中国科学院自...
  • 1篇北京银行股份...

作者

  • 91篇王立福
  • 43篇张世琨
  • 27篇赵文
  • 12篇杨芙清
  • 6篇王映辉
  • 6篇刘瑜
  • 6篇闫哲
  • 6篇袁崇义
  • 6篇陈钟
  • 5篇胡文蕙
  • 5篇刘学洋
  • 5篇顾玉良
  • 4篇刘殿兴
  • 4篇李信鹏
  • 3篇刘昱
  • 3篇方菲
  • 3篇陶志红
  • 3篇梅宏
  • 2篇叶蔚
  • 2篇邓鹏鹏

传媒

  • 22篇电子学报
  • 14篇软件学报
  • 7篇计算机科学
  • 5篇2004’全...
  • 4篇南京大学学报...
  • 4篇计算机工程与...
  • 4篇2003''...
  • 3篇计算机工程
  • 3篇2002全国...
  • 2篇北京大学学报...
  • 2篇2001全国...
  • 1篇计算机研究与...
  • 1篇电子技术应用
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇中国科学（E...
  • 1篇辽宁大学学报...
  • 1篇信息网络安全
  • 1篇信息技术与标...
  • 1篇计算机教育

年份

  • 2篇2013
  • 1篇2011
  • 4篇2010
  • 1篇2009
  • 6篇2008
  • 1篇2007
  • 9篇2006
  • 14篇2005
  • 13篇2004
  • 9篇2003
  • 4篇2002
  • 6篇2001
  • 3篇2000
  • 8篇1999
  • 3篇1997
  • 1篇1996
  • 3篇1995
  • 2篇1989
  • 1篇1988
共 91 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
信息安全技术 数据库管理系统安全评估准则
本标准从信息技术方面规定了按照GB 17859-1999的五个安全保护等级对数据库管理系统安全保护等级划分所需要的评估内容。 本标准适用于数据库管理系统的安全保护等级的评估，对于数据库管理系统安全功能的研制、开发和测试亦...
王立福赵学志程万军刘学洋葛佳
关键词：软件技术计算机软件数据处理
文献传递
基于不动点转移的SA动态演化模型被引量：11
2004年
构造性和演化性是软件的两个基本特性 .而软件演化包括静态演化和动态演化两个方面 .动态演化更为复杂 ,这种复杂性决定了 ,对动态演化的研究首先应从宏观层面入手 .软件体系结构SA作为软件的蓝图和支撑骨架 ,为人们宏观把握软件的动态演化提供了一条有效的途径 .该文描述了构件———连接件组成的SA动态语义网络模型 ,分析了SA动态语义网络模型中的浸润过程 ,给出基于不动点的浸润过程收敛的判定 ,提出了邻接矩阵过滤和原子过滤的概念 ,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性 .指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述 .最后给出了两个层面上对SA动态演化波及效应的分析方法 .为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础 .
王映辉刘瑜王立福
关键词：软件体系结构邻接矩阵不动点
界面类对象测试建模技术研究被引量：20
1999年
目前，大量OO应用软件采用图形界面，对这类软件的测试尚缺乏有效的技术支持。分析了这类软件的特点．基于用户-应用系统交互和应用系统-系统环境交互的视角，提出了一种界面类对象状态测试建模技术，从而支持这类软件的测试。
顾玉良王立福
关键词：面向对象软件测试软件开发
一种基于双随机数的RFID发现服务安全通信机制被引量：1
2013年
RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间.
赵文刘学洋张世琨王立福
关键词：RFID安全通信机制
北京软件复用与产业支持研发中心建设
杨芙清谢冰张世琨王立福麻志毅赵俊峰李恭元张晨东陈平赵文
以软件复用作为目标，软件构件技术为基础，提供了包括软件分析设计建模技术、领域工程技术、复用资产管理技术、应用系统集成组装技术、软件过程及管理技术在内的较为全面软件工程技术和工具支持。相关工具成为主要的商业化国产CASE工...
关键词：
关键词：软件复用软件工程软件工程环境
基于同步网的模型验证算法设计与工具实现
2005年
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.
杨云毅赵文王立福聂承启
关键词：同步网化简规则PNML
基于层次消息总线的软件体系结构描述语言被引量：37
2001年
以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 .
张世琨王立福常欣杨芙清
关键词：软件体系结构层次消息总线体系结构描述语言
对象类数据流建模及测试策略研究
，在面向对象软件测试中，如何建立合适的程序模型、提高发现错误的能力等方面还没有得到解决。该文研究了对象类数据流建模技术，首先定义一种数据流表示工具：（方法及对象类）数据流ＢＢ（Ｂｌｏｃｋ ｔｏ Ｂｌｏｃｋ）图，以描述...
顾玉良王立福
关键词：面向对象软件测试数据流模型
面向对象石油管理公共数据模型建立研究被引量：11
2001年
给出了一个石油管理领域应用的面向对象公共数据模型 PDMM(petroleum data model for management) ,论述了元模型的建立与表达、类结构组织和实体定义、属性及约束规则等模型构筑技术 .强调了通过引入“活动”、“特性”等超类使模型具有强大描述能力的特色 ,给出了模型的 EXPRESS语言描述方法 .
胡长军仝兆岐童云海方菲孙家马王立福
关键词：数据模型面向对象数据库石油管理石油勘探
青鸟工作流管理系统监控工具的设计研究
工作流技术已经成为计算机应用领域的一个研究热点.国际工作流管理联盟提出了工作流参考模型,包括:流程定义工具、工作流引擎、被激活的应用接口、工作流客户端应用和流程监控工具.本文在青鸟工作流过程模型基础上,对流程监控工具的设...
黄星琪张世琨王立福
关键词：工作流工作流管理系统过程管理
文献传递
全选 清除 导出
共10页<12345678910>
聚类工具0