Building complex and trustworthy software systems in the shortest time-to-market remains the challenging objective that competitive companies are facing constantly,and mastering the development process is a key issue ...Building complex and trustworthy software systems in the shortest time-to-market remains the challenging objective that competitive companies are facing constantly,and mastering the development process is a key issue towards this objective.Companies and software developers need to be able to formalize their development processes in order to analyze them,to enact them,and to assess them for展开更多
8月21日,“软件智能分析”学术沙龙在中国科学院软件研究所成功举行。本次活动由软件所“软件智能分析”协同创新团队和In For Sec论坛共同举办,美国加州大学伯克利分校的Dawn Song教授和美国加州大学河滨分校的宋程昱博士分别作了精彩...8月21日,“软件智能分析”学术沙龙在中国科学院软件研究所成功举行。本次活动由软件所“软件智能分析”协同创新团队和In For Sec论坛共同举办,美国加州大学伯克利分校的Dawn Song教授和美国加州大学河滨分校的宋程昱博士分别作了精彩报告。清华大学张超博士主持了本次沙龙。展开更多
文摘Building complex and trustworthy software systems in the shortest time-to-market remains the challenging objective that competitive companies are facing constantly,and mastering the development process is a key issue towards this objective.Companies and software developers need to be able to formalize their development processes in order to analyze them,to enact them,and to assess them for
