软件工程及软件方法学
-
软硬件参考集肖晋宇,王毅峰编著本书为《软件村99精华本》5卷本丛书中的一本。分别介绍了计算机硬件知识、硬件商情、计算机组装、常用工具软件、常用网络工具和软件的安装与卸载知识。叙述精炼、图文流畅、实用性强。本丛书秉承“软件村”思想:软件各有各的用途,软件材各有各的写法。相信“软件村”家族一定能成为广大读者的好帮手。 -
2000年问题软件测试(美)[W.佩里]William Perry著;潇湘工作室译本书详细介绍了解决2000年问题的测试计划,人书从评估用户是否对2000年问题有足够的认识入手,逐步讨论了着手测试的方针以及解决问题的策略,并介绍了执行2000年问题测试过程的9步计划。书中提供了大量的方法,用于验证2000年问题评估工作和计划的充分性,并确认软件是否能够适应2000年问题的到来。本书适用于与2000年问题测试有关的所有技术和管理人员。 -
软件开发工具课程考试仿真试题精解李红编著暂缺简介... -
数据结构姚菁主编普通中等专业教育机电类规划教材。 -
PowerPoint 2000中文版快递东箭工作室编著暂缺简介... -
计算机软件应用技术崔志明主编《计算机软件应用技术》尝试把计算机软件应用技术中一些常用软件综合在一起加以叙述,力求内容相互渗透,有机连接。并以目前较为流行的常用软件为背景,各章内容的介绍遵循“实用为主”的原则,力求解决软件应用开发中的实际问题。《计算机软件应用技术》既可作为高校理工类学生在计算机软件应用方面的教科书,也可作为各种继续教育和计算机培训班的教材。 -
信息系统开发案例张基温主编信息系统的开发极为困难。这除了它要涉及方方面面的专业知识外,还在于构成信息系统的软件具有复杂性、难于控制的特点。由于内部、外部环境的变化和复杂性,以及在信息系统开发过程中所涉及的设备、技术上的复杂性,造成了信息系统开发的复杂性。这些复杂性构成了对人脑的挑战。为了克服这些复杂性,系统开发研究者不断总结经验,不断探索新的更好的开发方法。我们编写这套信息系统开发案例的目的在于,为“信息系统开发方法”、“软件工程”等课程的教学提供一些翔实的例子;也想通过已运行系统的开发者对自己开发过程的总结,为初学者和系统开发人员提供借鉴。这套案例主要收集了已完成系统的系统分析和设计的主要部分,基本上没有收入它们的程序编码。信息系统开发案例在国内尚未见到。编写这套案例是一种尝试性的工作,这套案例分多辑出版。本辑收集了土地管理、海洋环境地理管理、防汛信息管理、图书信息检索、地方税务稽查管理、住房公积金管理6个信息系统开发案例。 -
信息系统工程中的面向对象方法陈余年,方美琪著内容简介本书讲述了信息系统工程中的00方法。第1章是介绍00的理论;第2章从信息系统研制生命周期的几个阶段,详细地阐述了如何用00方法研制信息系统;第3章讲解了信息系统工程的新进展。作者收集了直到1997年底的美国流行的00软件产品,对其进行了简述。本书是在一百多篇美国最新参考文献的基础上编写的。本书可作为高等院校信息管理与信息系统专业的高年级及研究生的教材。也可作为计算机应用系统项目的研制者、各级信息处理、管理部门的技术骨干及技术负责人的参考书。 -
时序逻辑程序设计与软件工程唐稚松等著本书旨在介绍一种面向软件工程的时序逻辑语言及以该语言为基础的支撑软件开发全过程的软件工程系统,目标是希望能为一般工业界用户服务,以提高软件开发的自动化水平及所开发的软件的可靠性与可维护性。本书是作者近20年来研究成果的总结。全书共分上、下两册出版。 上册介绍时序逻辑语言XYZ/E,内容包括XYZ系统研制的技术和哲学背景,XYZ/E的逻辑基础,XYZ/E的基本特征和基本成分,XYZ/E的控制结构,XYZ/E中所表示的各种机制,XYZ/E的实现,基于XYZ/E的实时程序设计,以及在XYZ/E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具,内容包括基于模块程序设计的可视化图形工具,面向形式规范的逐步求精过程与速成原形方法,以可视图图形表示的体系结构描述语言XYZ/ADL及其软件开发过程中的应用;除以上三种不同软件开发方法外,最后还介绍了基于共享变量的程序验证方法、语言转换工具及其在软件再 -
微机工具软件与系统维护谭浩强主编;庄洪林[等]编著内容简介本书介绍了计算机日常应用过程中最需要了解的磁盘与文件管理、系统维护与测试、图形与图像处理、多媒体应用及计算机病毒防治等5大类18种工具软件的具体使用方法:介绍了计算机病毒的一般知识及如何用手工方法诊治计算机病毒的广谱反病毒技术。为便于读者获得本书介绍的软件,书中给出了获取途径。本书适用于计算机的一般使用人员、专业技术人员和大中专院校师生。
