张广泉
【姓名】 张广泉
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;自动化技术;
【研究方向】 软件工程、形式化方法等研究
【发表文献关键词】 XYZ/ADL,软件体系结构,电梯控制系统,UML,图书管理系统,建模语言,VB语言,电梯,XYZ/E,时序逻辑语言,电梯系统,建模,体系结构,形式化方法,实时系统,软件体系,CA,RA,组件描述,动...
【工作单位】 重庆师范大学
【曾工作单位】 重庆师范大学;
【所在地域】 重庆
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/16 4 16 4 170 4083
中国期刊全文数据库    共找到16篇
[1]林苗;戎玫;张广泉;.基于构件的嵌入式实时软件组合时间分析研究[J]计算机工程与应用.2009,(11)
[2]张晓蒙;戎玫;张广泉;.基于rCOS的UML状态图语义研究[J]计算机工程.2009,(02)
[3]李忠慧;张广泉;.基于UPPAAL的NS密码协议模型检测分析[J]重庆师范大学学报(自然科学版).2009,(04)
[4]王友;张广泉;.B方法在家庭智能控制系统开发中的应用[J]计算机工程与应用.2006,(24)
[5]魏艳铭;张广泉;.RUP和UML在软件体系结构建模中的应用研究[J]重庆师范大学学报(自然科学版).2006,(03)
[6]刘珊艳;张广泉;.基于时序逻辑语言XYZ/E的实时系统应用研究[J]重庆师范大学学报(自然科学版).2006,(03)
[7]肖岗;张广泉;.UML在研究生成绩管理系统建模中的应用[J]重庆师范大学学报(自然科学版).2007,(01)
[8]张姝;张广泉;.UML顺序图的一种形式化描述方法[J]重庆师范大学学报(自然科学版).2007,(03)
[9]林苗;张广泉;.Web挖掘在Web交易中的应用[J]重庆师范大学学报(自然科学版).2007,(03)
[10]方燕萍;章晓芳;张广泉;.串空间模型及其认证测试方法的一种扩展与应用[J]计算机应用.2008,(12)
更多