暂缺简介...

暂缺简介...

暂缺简介...

暂缺简介...

台湾文魁公司授权出版。

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

内容简介本书讲述了信息系统工程中的00方法。第1章是介绍00的理论；第2章从信息系统研制生命周期的几个阶段，详细地阐述了如何用00方法研制信息系统；第3章讲解了信息系统工程的新进展。作者收集了直到1997年底的美国流行的00软件产品，对其进行了简述。本书是在一百多篇美国最新参考文献的基础上编写的。本书可作为高等院校信息管理与信息系统专业的高年级及研究生的教材。也可作为计算机应用系统项目的研制者、各级信息处理、管理部门的技术骨干及技术负责人的参考书。

暂缺简介...

内容简介本书讲述的是专题内容，深入介绍了当今最优秀的编程工具C＋＋Builder3的数据库技术，包括面向对象的编程思想、数据集、数据访问链路、数据控件、QuickReport报表、TeeChart图表、决策方、多层Client/Server、数据库浏览器等内容。本书内容全面而又不失简洁，既可以作为广大读者学习C＋＋Builder3的入门指导书，也可以作为程序员编程时的参考手册。

暂缺简介...