中文|English
beat365手机中文官方网站
您的当前位置：首页  学术报告
学术报告
10月22日：金芝
发布时间：2018-10-14 浏览量：2058

报告题目：基于环境建模的需求工程方法
报告人：    金 芝 教授 北京大学
主持人：    刘 静 教授
报告时间：10月22日  周一13:30
报告地点： 理科大楼B504

 

 
报告摘要：
基于环境模型的需求工程，通过对软件系统交互环境的建模，以及对环境静态和动态特征的分析，推导出软件应具有的行为和需要满足的约束，从而规约出软件系统的功能需求，以及和交互环境的特性相关的非功能需求。本次报告介绍如何为软件交互环境建模，如何从与环境的交互中识别和推断软件系统的能力规约。
 
报告人简介：
北京大学教授， 973项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会软件工程专业委员会主任，《软件学报》执行主编，《计算机学报》副主编。主要研究领域包括：软件需求工程、知识工程、和基于知识的软件工程等，出版英文专著2部，中文编著1部，发表论文150余篇。。2006年获得国家杰出青年科学基金资助。
快速通道:

华东师范大学beat365手机中文官方网站
学院地址：上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱：yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
Copyright Software Engineering Institute


XML 地图