暂缺简介...

暂缺简介...

暂缺简介...

暂缺简介...

暂缺简介...

全书全面、系统地介绍了计算机与自动化系统2000年问题分析与解决方案，全书共9章。内容包括什么是计算机2000年问题，计算机2000问题的危害，国际对2000年问题的反应以及带来的机遇，我国计算机2000问题的现状与对策，2000年问题测试标准和解决方案，自动化领域的2000年问题的法律条款与2000年问题的服务等内容。本书可供计算机与自动化系统管理员，设计、开发、测试、维护人员，政府相关的管理人员，计算机使用者阅读，并可作为计算机2000问题培训班教材。

内容简介本书是根据1999年中国计算机软件专业技术资格和水平考试中心公布的《中国计算机软件专业技术水平考试大纲》对软件工程（中级）考试的要求编写的。书中分为3篇，第1篇是C＋＋和面向对象程序设计；第2篇是用C＋＋与面向对象方法描述的数据结构；第3篇是软件工程方法。本书的内容相当完整，基本覆盖考试要求。每章最后附有习题，可作为自测的依据。本书可作为参加考试的指导教材，还可以作为各有关院校计算机软件课程学习的参考教材，以及从事计算机软件开发的技术人员学习软件开发基本知识的辅助教材。

内容简介本书以浅显流畅的语言，图文并茂的风格，介绍了从Director项目预规划到作品发行的全过程，包括项目预规划，故事板的创作，舞台、总谱、演员与演员库的概念，文本、图形、声音、动画、视频等各种媒体素材的制备、组织与集成，脚本（script）与行为（behavior）的概念及导航系统与交互性，以及作品的发行等Director的全部重要内容。本书的鲜明特点是“边学边用”、“以用带学”。一两个重要概念讲完后，紧接着就练习，并且每章后都有复习该章内容的短期作品创作练习，另有一个长期作品创作练习贯穿全书，以便读者把每一章所学的内容一步步地添加进去，最后顺理成章集成一个大项目。本书适用于Director6.x的初、中级用户及想了解Director6.5的最新功能的高级用户。

暂缺简介...

本书旨在介绍一种面向软件工程的时序逻辑语言及以该语言为基础的支撑软件开发全过程的软件工程系统，目标是希望能为一般工业界用户服务，以提高软件开发的自动化水平及所开发的软件的可靠性与可维护性。本书是作者近20年来研究成果的总结。全书共分上、下两册出版。 上册介绍时序逻辑语言XYZ/E，内容包括XYZ系统研制的技术和哲学背景，XYZ/E的逻辑基础，XYZ/E的基本特征和基本成分，XYZ/E的控制结构，XYZ/E中所表示的各种机制，XYZ/E的实现，基于XYZ/E的实时程序设计，以及在XYZ/E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具，内容包括基于模块程序设计的可视化图形工具，面向形式规范的逐步求精过程与速成原形方法，以可视图图形表示的体系结构描述语言XYZ/ADL及其软件开发过程中的应用；除以上三种不同软件开发方法外，最后还介绍了基于共享变量的程序验证方法、语言转换工具及其在软件再