张姝
【姓名】 张姝
【职称】
【研究领域】 计算机软件及计算机应用;中等教育;
【研究方向】 软件工程与形式化方法
【发表文献关键词】 UML顺序图,形式化语法,形式化语义,线性时序逻辑,AOP,OOP,设计模式,组合编程,软件复用,应用程序,建模语言,面向对象,编程方式,动态语义,形式化描述方法,形式化描述语言,形式化分析,形式化方...
【工作单位】 重庆师范大学
【曾工作单位】 重庆师范大学;
【所在地域】 重庆
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 0 1 4 28 1070
中国期刊全文数据库    共找到2篇
[1]王晓欢;张姝;唐万梅;.一种基于面向对象和方面的组合编程方式[J]重庆文理学院学报(自然科学版).2007,(04)
[2]张姝;张广泉;.UML顺序图的一种形式化描述方法[J]重庆师范大学学报(自然科学版).2007,(03)
更多
中国优秀硕士学位论文全文数据库    共找到2篇