文件控制程序1. 目的 本程序规定了文件的起草批准发行发放回收作废储存保管标识的方法以确保现场都使用有效版本的文件保证质量管理体系的有效运行2. 范围 适用于内部的质量管理体系文件以及外来文件和标准的控制与管理3. 职责 综管部负责管理性文件打印 编号 发放 回收归档保管技术部负责技术性文件打印 编号 发放 回收归档保管各部门主管负责执行有效文件的使用保存管理管理者代表负责监察

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级2005年3月3日星期四鲍玉斌 东大信息学院计算机软件所 程序设计方法学 All Rights Reserved第3章 程序规范及其正确性证明概述第3章 程序规范及其正确性证明概述鲍玉斌东北大学信息学院计算机软件与理论研究所18 April 20221内容－Where we are程序规范规范的描述断言与规范及{P} S {

产 品 立 项管理控制程序版 本：0.2版制 定：CMM组产品立项程序目的对范围内自主产品开发的立项活动做出规定加强产品立项的规范化确保被立项的产品能够满足潜在用户的需要有市场竞争力确认在规定的时间内在技术上有能力完成该项产品的开发适用范围适用于的自主产品开发立项以及原有产品版本升级的立项申请及评审活动任务 图1 立项任务图 (TasksSub-Milesto

1. 目的为了及时准确地收集传递及反馈有关信息作好信息的管理特制定本程序2. 范围适用于内部信息的传递与处理以及与外部各方的信息交流3. 引用文件3.1《管理手册》 XG-MM-013.2 《文件控制程序》 XG-OP-04013.3 《记录控制程序》 XG-OP-0402 3.4 《统计技