计算机科学技术文献索引 软件工程题录专集

嵌入式系统软件开发技术基础

本书主要介绍了嵌入式的基础知识，ARM处理器体系结构与开发工具，嵌入式操作系统、基于Linux的嵌入式软件开发、基于Windows CE的嵌入式软件开发等内容。...

网络安全协议的形式化分析与验证

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

电力系统继电保护和安全自动装置动作统计和分析办法

计算机软件技术基础

本书包括计算机软件的基本知识和软件工程的工具、软件开发方法、软件的测试与维护，数据结构及其应用，软件编程中常用的逻辑结构和存储结构，操作系统的功能、特征及分类，数据库系统的一般概念和数据库系统的理论...

软件质量保证技术 四级

本书是“1+X”职业技术、职业资格培训教材之一.介绍软件质量保证人员职业道德和职业活动规范、软件质量保证概述、文档编制、集成的软件能力成熟度模型CMMI受管理级、ISO 9000质量管理体系日常软件测试、软...

中国食用油供给安全分析与预测

本研究主要运用了局部均衡、空间均衡等模型构建方法对花生油、菜籽油、豆油、其他植物油和食用动物油五个食用油品种的供求模型和空间均衡，并对未来中国食用油供求的远景进行了政策性模拟。、...

网构软件演化技术 面向多层架构

本书系统地介绍了面向多层架构的网构软件演化技术基本概念和新的特征，阐述了网构软件静态演化特征与波及效应，探讨了网构软件动态演化错误和运行实例动态可迁移准则。本书可为计算机软件工程技术领域科技人员...

软件测试技术基础

本书采用工学结合的模式，描述了软件测试领域的基础知识，本书共12章，内容包括软件测试概述、软件测试基础、软件测试过程与方法、软件测试策略、白盒测试技术、黑盒测试技术、软件测试文档、软件自动化测试、面...

模型驱动软件开发：技术、工程与管理

本书主要介绍模型驱动软件开发方面的内容。目的是为了使开发人员了解到MDSD（模型驱动软件开发）是一种实用的方法，而且在许多情况下都要优于传统开发方法。...