计算之智与哲学之慧分享 http://blog.sciencenet.cn/u/huangfuqiang

博文

Automated Software Engineering(2011)国际会议

已有 3253 次阅读 2011-8-12 07:21 |个人分类:计算机软件理论与工程|系统分类:海外观察| 国际会议, 2011, ASE

   IEEE/ACM   Program Committee看见一位中国成员:梅宏---北京大学信息科学技术学院院长、软件研究所所长
  • Automated reasoning techniques
  • Component-based systems
  • Computer-supported cooperative work
  • Configuration management
  • Domain modelling and meta-modelling
  • Empirical software engineering
  • Human-computer interaction
  • Knowledge acquisition and management
  • Maintenance and evolution
  • Model-based software development
  • Model-driven engineering and model transformation
  • Modelling language semantics
  • Open systems development
  • Product line architectures
  • Program understanding
  • Program synthesis
  • Program transformation
  • Re-engineering
  • Requirements engineering
  • Specification languages
  • Software architecture and design
  • Software visualization
  • Testing, verification, and validation
  • Tutoring, help, and documentation systems
  • Software analysis
  • 主页


https://blog.sciencenet.cn/blog-89075-474308.html

上一篇:软件驱动世界,安全威胁世界110809
下一篇:第六届中国智能交通年会论文主题
收藏 IP: 124.129.45.*| 热度|

1 罗岚

该博文允许注册用户评论 请点击登录 评论 (2 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-21 23:08

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部