ISO/IEC/IEEE 90003 软件工程-将ISO 9001:2015标准应用于计算机软件的指南这项标准是计算机软件开发、供应与维护的清单。刚刚更新的版本将ISO 9001经证实的优势与全球软件工程领域最重要的部分支持文件相结合,使组织从生命周期的每一步提高质量的国际最佳规程中受益。生命周期包括供应、采购、运行、维护到持续改进的循环过程。...
二ISO 9001行业特定指南将质量标准用于软件开发中ISO/IEC/IEEE 90003 软件工程-将ISO 9001:2015标准应用于计算机软件的指南这项标准是计算机软件开发、供应与维护的清单。刚刚更新的版本将ISO 9001经证实的优势与全球软件工程领域最重要的部分支持文件相结合,使组织从生命周期的每一步提高质量的国际最佳规程中受益。...
近年来,胡振江教授将研究重点放在程序演算及其在自动并行化的应用、双向变换的语言计、模型驱动的软件开发,以及软件求精过程的形式化上,取得了一系列突破,在POPL, PLDI, ICFP等程序语言的顶级国际会议以及ICSE,FSE等软件工程的顶级国际会议上发表众多成果。 ...
担任CCF软件工程专委会副主任,CCF-IEEE CS青年科学家奖评奖分委员会主席(2020-2021),2020年中国计算机大会程序委员会主席,软件工程顶级国际会议ICSE 2021程序委员会共同主席,《软件测试、验证与可靠性(STVR)》Wiley期刊联合主编等。主要研究领域包括软件工程,系统软件,软件安全,可信人工智能。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号