您的位置： 专家智库 > >

郝克刚

作品数：171 被引量：845H指数：16
供职机构：西北大学信息科学与技术学院更多>>
发文基金：国家高技术研究发展计划国家自然科学基金西安市科技计划项目更多>>
相关领域：自动化与计算机技术电子电信理学经济管理更多>>

合作作者

文献类型

  • 162篇期刊文章
  • 7篇会议论文
  • 1篇专利
  • 1篇科技成果

领域

  • 166篇自动化与计算...
  • 4篇电子电信
  • 3篇理学
  • 2篇经济管理
  • 2篇天文地球
  • 2篇化学工程
  • 2篇文化科学
  • 1篇机械工程
  • 1篇建筑科学
  • 1篇水利工程
  • 1篇一般工业技术

主题

  • 31篇工作流
  • 25篇PETRI网
  • 17篇面向对象
  • 15篇软件开发
  • 10篇工作流管理
  • 10篇程序设计
  • 9篇形式化
  • 9篇工作流管理系...
  • 9篇PI演算
  • 8篇软件测试
  • 8篇软件工程
  • 8篇复用
  • 7篇流模型
  • 7篇工作流模型
  • 6篇软件过程改进
  • 5篇体系结构
  • 5篇逻辑结构
  • 5篇抽象逻辑结构...
  • 5篇WEB服务
  • 4篇等价

机构

  • 171篇西北大学
  • 9篇汕头大学
  • 6篇西安电子科技...
  • 5篇西北工业大学
  • 5篇陕西教育学院
  • 4篇西安邮电学院
  • 4篇中国人民公安...
  • 3篇西安文理学院
  • 2篇陕西师范大学
  • 1篇第二炮兵工程...
  • 1篇华南师范大学
  • 1篇西安理工大学
  • 1篇西北第二民族...
  • 1篇西安科技大学
  • 1篇汕头大学医学...
  • 1篇中国科学院软...
  • 1篇佐治亚州立大...

作者

  • 171篇郝克刚
  • 58篇葛玮
  • 21篇侯红
  • 14篇郭小群
  • 12篇王斌君
  • 11篇刘建宾
  • 10篇段振华
  • 9篇董云卫
  • 8篇丁剑洁
  • 7篇龚晓庆
  • 5篇李向宁
  • 5篇郭军
  • 5篇鱼滨
  • 5篇华庆一
  • 4篇付丽娜
  • 4篇李亚红
  • 4篇路晓丽
  • 4篇韩俊刚
  • 4篇李彬
  • 3篇刘海

传媒

  • 34篇计算机科学
  • 25篇计算机应用与...
  • 17篇西北大学学报...
  • 17篇计算机技术与...
  • 10篇计算机学报
  • 9篇计算机应用
  • 7篇计算机工程与...
  • 6篇微机发展
  • 6篇计算机应用研...
  • 6篇小型微型计算...
  • 4篇系统仿真学报
  • 3篇计算机工程
  • 3篇微计算机信息
  • 2篇计算机研究与...
  • 2篇软件学报
  • 2篇计算机工程与...
  • 2篇第十一届全国...
  • 1篇计算机工程与...
  • 1篇现代计算机
  • 1篇微电子学与计...

年份

  • 2篇2013
  • 2篇2012
  • 3篇2011
  • 4篇2010
  • 17篇2009
  • 23篇2008
  • 17篇2007
  • 24篇2006
  • 18篇2005
  • 9篇2004
  • 8篇2003
  • 3篇2002
  • 8篇2001
  • 5篇2000
  • 2篇1999
  • 1篇1998
  • 2篇1997
  • 3篇1996
  • 3篇1995
  • 2篇1993
共 171 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
工作流系统带权角色与周期时间访问控制模型被引量：56
2003年
带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束.
王小明赵宗涛郝克刚
关键词：工作流授权约束
软件缺陷数据的分析方法及其实现被引量：10
2008年
软件缺陷数据的分析对于软件质量保证、项目管理和过程改进具有重要的意义,但目前的缺陷管理工具的数据分析功能普遍比较薄弱。本文首先分析了软件缺陷属性数据的类型,在此基础上阐述了软件缺陷数据分析的基本方法,包括一元数据分析和多元数据分析。最后讨论了实现软件缺陷数据分析方法所涉及到的几个关键技术。
刘海郝克刚
关键词：软件缺陷管理关联规则
支持MDA的交互式需求获取方法及辅助工具被引量：3
2008年
为支持MDA的开发模式,本文提出了表格驱动的交互式需求获取方法并开发了相应的支持工具。该方法通过填写参与者表、非功能性需求表、用例卡、CRC卡以及用户反馈表来得到用户需求,为建立计算独立模型CIM和平台独立模型PIM提供足够的信息。
鱼滨张琛郝克刚
关键词：模型驱动架构用例驱动平台独立模型
语义Web服务标记语言OWL-S
介绍了OWL-S的概念、服务本体及其3个组成部分.并分析了OWL-S和WSDL之间的关系,讨论了使用OWL-S后的Web服务体系结构.
姜久雷郝克刚
关键词：OWL-S语义WEBWEB服务WSDL
文献传递
Pi演算对图灵机的表达
为了研究Pi 演算的表达能力,试着用它来表达图灵机。研究结果表明,只要对Pi 演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
郝克刚郭小群
关键词：PI演算图灵机函数符号
文献传递
构建Web Application测试模型被引量：4
2006年
随着W eb应用软件的飞速发展,作为保证W eb质量和可靠性的重要手段,W eb测试受到了人们越来越多的重视。分析了一些典型的W eb测试模型,提出了一种基于Petri网的W eb链接模型。
路晓丽葛玮陈新丽郝克刚
关键词：PETRI网
从控制传播图导出分层结构图
1989年
为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。
段振华郝克刚
关键词：数据流图
采用轻量级框架实现Web访问统计分析系统被引量：2
2008年
针对J2EE项目开发的复杂性,介绍了一种流行的轻量级框架,并通过这种框架在Web访问统计分析系统中的实现,分析了这种框架的优势,阐述了怎样运用轻量级框架来实现具体应用。
王前红郝克刚葛玮
关键词：WEBJ2EE轻量级框架
Pi演算对图灵机的表达被引量：3
2009年
为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
郝克刚郭小群
关键词：PI演算图灵机函数符号
多出口Petri网与Petri网的等价性
1989年
1.引言 为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的等价性,并给出严格的证明。
郝克刚段振华
关键词：PETRI网等价性程序设计
全选 清除 导出
共18页<12345678910>
聚类工具0