英汉双向笔译方法与实践

本书主要内容包括：翻译标准、翻译理论、翻译佳作赏。

基于网格的面向Agent软件分析与设计建模方法及环境研究

本书收录了2005年上海大学博士论文60篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

大学英语教学与测试 理论与实践

本书把英语语言教学理论与实践结合起来，分别对英语语法教学，词汇教学，听力教学，阅读教学，翻译教学及写作教学给予了理论指导和实践应用；并为广大教师提供了操作性较强的语言测试思路及方法。本书适用于在高等院.....

潮间带调查方法与实践

组织学习 理论、方法与实践

B方法与形式化软件开发技术研究

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

软件工程技术与实践

本书是一本系统而全面地介绍软件工程及其相关技术理论的专著，以理论和实践相结合的方式，主要讲述了软件工程基础知识，软件行业发展，软件开发相关技术和工具（项目管理、CMM、ISO9000等），软件开发全过程管理等。本.....

文档格式转换自动化测试技术与方法

第一部分介绍了软件测试基础知识，并对测试用例的设计和测试覆盖分析进行了细致讲解；第二部以软件测试的过程为主线，介绍了单元测试、集成测试、系统测试、验收测试和回归测试过程中相关的测试技术和方法；第三部...

教育过程系统评测方法与实践