金大圭博士

教授 计算机科学与工程系 546 b电子商务;(248) 370 - 2863;传真:(248)370-4625 kim2@www.zhongqiwg.com secs.www.zhongqiwg.com/ ~ kim2 科罗拉多州立大学博士

教学

• 面向对象编程
• 软件工程与实践
• 软件建模基础
• 软件原型和验证
• SoftwareEngineering
• 软件验证与测试

研究

• 软件设计与规格说明
• 基于模式的开发
• 面向方面的设计
• 基于组件的开发
• 访问控制策略
• 访问控制建模
• 智能电网数据建模
• 物联网

“我的研究重点是开发可靠的，
可维护的、安全的软件系统。”
——Kim dae - kyoo, 2016

选定的出版物

1.“OPC UA与UML之间的模型转换”，计算机标准与接口, 2016年

2.统一IEC 61850和CIM的数据类型;IEEE电力系统学报，2014

3.“通过配置RBAC和MAC功能构建混合访问控制”，信息与软件技术学报， 56(7)， 2014

4.“序列图语义和细化的必要行为”，美国计算机学会软件工程与方法论汇刊， 23(2)， 2014。

5.“基于uml的模式规范技术”，IEEE软件工程学报30 (3), 2004

6.专利，“推荐软件过程的装置和方法”
研究”,2015