软件可靠性建模研究
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐...
抗扰性限值技术资料下载专区,收录3,474份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐...
资料->【C】嵌入系统->【C0】嵌入式综合->【2】单片机编程->【编程规范、文档模板】->东软的软件开发文档模板 14册 1.7M->技术可行性报告.doc...
天津经济开发区风力发电规划,作为环渤海的经济中心,天津及天津开发区凭借其优越的地理区位和港口资源,聚集了众多国内外世界知名风电设备商,正在成为崛起中的中国风电产业基地。...