洪昆,男,昆明市科学技术情报研究所副研究员。1976年生人。2004年毕业于云南大学软件学院,获得硕士学位。主要研究方向为情报学和情报信息建模理论研究。先后主持和参与各类项目10余项,先后公开发表科研论文10余篇。陈星,男,1976年11月生,硕士,昆明理工大学云南省计算机技术应用重点实验室助理研究员。作者长期致力于软件形式化开发方法和软件自动化的研究,发表论文十余篇,编著1部。作者多年从事软件开发工作,先后主持过3个昆明市科技计划项目的开发工作,均获得用户好评。作者理论功底深厚,具有丰富的实际工作经验,特别擅长从实践中深化理论研究,产生创新性的成果。王锋,男,昆明理工大学教授,日本高知工科大学博士。主要研究方向为人工智能和人机交互。戴伟,男,昆明理工大学讲师,硕士,主要研究方向为计算机语言的形式语义和软件工程。