通信学报2010，Vol.31Issue(12)：131-139,9.
系统体系方法与软件系统功能形式分解
System of systems method and formal function decomposition for software systems
摘要
关键词
物联网/云计算/应用软件系统/框架方法/系统体系/呈现行为分类
信息技术与安全科学引用本文复制引用
卢捍华,张顺颐,王亚石,闵丽娟..系统体系方法与软件系统功能形式分解[J].通信学报,2010,31(12):131-139,9.基金项目
国家科技支撑计划基金资助项目(2007BAH17B04)国家高技术研究发展计划("863"计划)基金资助项目(2006AA01Z232、2009AA01Z212) （2007BAH17B04）
中华人民共和国工业和信息化部2009年电子发展基金资助项目 （）
