郭小群
职称:副教授
副教授
软件工程及其形式化方法,工作流技术,Web服务与云计算
科研成果:
论文:
1.Pi+演算及其对Petri网的描述
2.复杂分支和同步模式的Pi演算描述
3.用Pi演算为业务过程建模的生命周期
4.Web服务的Pi演算描述
5.Petri网和Pi演算模型的表达能力
软件著作权:
1.流程生产线可信评估工具系统
2.度量建模工具系统
3.服务组合流程建模工具系统
申请专利:
1基于Pi演算的分布式流程验证系统及方法
2流程管理生产线软件度量建模的系统及方法
3对生产线中的BPM构件可信评估的系统及方法
科研项目:
1.863重点项目:面向流程管理的软件生产线,
2.863计划子项目:嵌入式软件B方法需求描述与转换方法研究及工具开发
3国家科技重大专项专题:集成化中间件套件产品研发及产业化
4西北大学项目:软件工程的形式化方法。
5.横向项目:B2AA软件系统的开发与测试
6横向项目:云计算及其支撑网络
教学情况
主要讲授《软件工程》
其它信息
null
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
西北大学信息科学与技术学院导师简介-郭小群
西北大学 免费考研网/2014-08-25
相关话题/信息
西北大学信息科学与技术学院导师简介-王小凤
王小凤职称:副教授博士,副教授科研方向:数据挖掘、模式识别、基于内容的多媒体检索、三维模型处理等科研成果:论文:发表论文20余篇,其中EI检索3篇。获奖:1.《数字区域关键技术研究及示范工程建设》2006年获西安市科技进步二等奖(第10)2.《数字区域关键技术研究及示范工程建设》2007年获陕西省科 ...研究生导师 西北大学 免费考研网 2014-08-25西北大学信息科学与技术学院导师简介-贺小伟
贺小伟职称:副教授博士,副教授陕西省青年科技新星,院长助理。2011年6月进入西北大学信息科学与技术学院计算机科学与技术博士后流动站,主要从事光学分子影像、医学图像处理及可视化、颅面形态学等研究。光学分子影像方面,在国家重点基础研究发展计划项目、国家自然科学基金重大项目等国家级和省部级项目支持下,结 ...研究生导师 西北大学 免费考研网 2014-08-25西北大学地质学系2014硕士研究生复试考生信息
工科复试人员名单 bkyxsmc bkdwmc bkzymc ywk2 ...西北大学复试录取调剂 西北大学 2014-08-25西北大学物理学院2014年硕士研究生调剂信息
西北大学物理学院2014年硕士研究生调剂信息 物理学院现有物理学(理论物理、凝聚态物理、光学三个二级学科)、光学工程两个一级 ...西北大学复试录取调剂 西北大学 2014-08-25西北大学信息科学与技术学院简介
西北大学信息科学与技术学院成立于2005年5月,是由原计算机科学系和电子科学系为主体整合而成。其中,计算机科学与技术专业于1971年设立,计算机科学系于1981年成立。电子科学系是在原物理学系设立 ...学校动态信息 西北大学 免费考研网 2014-08-24院校巡礼:西北大学信息科学与技术学院简介
西北大学信息科学与技术学院成立于2005年5月,是由原计算机科学系和电子科学系为主体整合而成。其中,计算机科学与技术专业于1971年设立,计算机科学系于1981年成立。电子科学系是在原物理学系设立 ...学校动态信息 西北大学 免费考研网 2014-08-24我的西北大学考研经验谈——找导师也能获取的信息
今天看到把我的帖子评上精华帖,我很高兴,所以在向学弟学妹们讲讲一些经验。楼主我在21号已经成功拿到录取通知书啦,直接到学校取的,我绝对是第一个领的,因为领取表上还没签字,我是第一个签字的。 不多 ...考研复习经验 西北大学 免费考研网 2014-08-242015年西北大学地理信息系统考研备考战略
2014年的考研硝烟已成埃落定,经过对今年地信考研真题和复试考察点的变换的分析, 为各位即将报考西北大学的师弟师妹提供一些参考信息。这篇文章非常适合地理科学、资源环境与城乡规划和跨考地理学的学弟学妹 ...考研复习经验 西北大学 免费考研网 2014-08-242013年西北大学637地理信息系统考研试题(回忆版)
自然地理11-13真题.zip c93a1a9484fb8a6e312c595b3ab5ba84.zip (355.46 KB) ...考研资料下载 西北大学 2014-08-242012年西北大学地理信息系统考研试题(回忆版)
标题: 西北大学2012年地理信息系统回忆版(高仿) [打印本页] --------------------------------------------------------------- ...考研资料下载 西北大学 2014-08-24