齐治昌
【姓名】 齐治昌
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 LOTOS,形式化方法,软件开发,协议规范语言,概率规范,发方法,进程代数,软件开,实时系统,形式化,规范语,半形式化方法,ELOTOS,设计决策,软件体系结构,软件重用,演算,异步通讯,面向对象,建...
【工作单位】 长沙工学院
【曾工作单位】 长沙工学院;
【所在地域】 长沙
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 0 16 233
中国期刊全文数据库    共找到2篇
[1]陈火旺，齐治昌，王兵山，宁洪，谭庆平.一种严格的软件开发方法框架[J]软件学报.1996,(03)
[2]罗铁庚,陈火旺,齐治昌,龚正虎.协议形式化开发环境的规范语言[J]软件学报.1997,(11)
更多