黄园媛
【姓名】 黄园媛
【职称】
【研究领域】 计算机软件及计算机应用;数学;互联网技术;
【研究方向】 软件体系结构
【发表文献关键词】 π演算,并发,建模能力,CCS,软件规范,进程表达式,进程迁移图,强互模拟,约束条件,网上拍卖系统,形式化方法,规范描述,实例研究,操作语义,系统需求,派生树,电子商务系统,内部状态,软件实现,进程代...
【工作单位】 湖南师范大学
【曾工作单位】 湖南师范大学;
【所在地域】 长沙
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 2 2 3 49 995
中国期刊全文数据库    共找到3篇
[1]黄园媛;高春鸣;.基于活动网络图的工作流过程定义工具的研究[J]计算机工程与应用.2006,(02)
[2]黄园媛,高春鸣.网上拍卖系统的π演算建模[J]南华大学学报(自然科学版).2005,(02)
[3]高春鸣,黄园媛,陈火旺.基于CCS的软件规范描述及实例研究[J]计算机工程与应用.2005,(23)
更多
中国优秀硕士学位论文全文数据库    共找到1篇