第三十三章 从何处获取更多的信息
33.1 软件领域的资料库
以下一些书理构成了软件开发活动中基本的资料库：
1．The Psychology of Computer Programming（1971 年）Gerald Weingerg，本书包含许多程
序开发中的趣闻轶事。
2．Programming Pearls（1986）作者是 Jon Bentley。本书对程序开发进行了生动有趣的讲
义，其对各种原因的生动阐述会使许多人觉得程序编制是一件有趣的事情。
3．Classics in Software Engineering （1979）作者是 Ed Yourdon，本书收集了软件工程的许
多研究论文。
4．Principles of Software Engineering Mangemment（1988）作者是 Tom Glib，本书主要讨
论管理，并有助于你加强对项目的管理。
5．Structured Desigen（1979）作者是 Yourdon 和 Constantine。，本书主要讨论结构设计的
有关方法和思想。
6．The Art of Software Testing（1979）作者是 Glenford。
7．一本关于需求分析的书。
8．项目计划和效率进行宣分析的书。
9．本关于数据结构和算法分析的书。
10．一本从整体上讨论软件开发过程的书。
33.2 软件创建信息
33.3 创建之外的主题
以下是似乎和软件创建无关的一些书籍：
软件工程总览
以下是有关书籍。
l．Software Engineering（1989 年），Ian Sommerville
2．Software Engineering：A practitioner's Apporoach（1987），Roger S. Pressman
3．Practical Handbook for Software Development(1985)，N.D.Birrell 和 M．A．Ould
4．Making Software Engineering Happen: A Guide for Installing the Technology（1988），Roger
Pressman
用户界面设计
这类书籍主要讨论用户界面设计中颜色、响应时间，命令行结构、菜单设计等有关工程原
则、参考书籍如下：
1．Design the User Interface: strategies for Effective human－Computer Interaction（1987）Ben
Shneiderman
2．The Elements of Frieldly Software Design：the Mew Edition（1991），Paul Hechel
3．The Art of Human－Computer InterfaceDesign（1990），Brenda Laurel
4．The Psycholoss of Everyday things（1988），Donald A. Norman
数据库设计
1．An Introduction to Database System（1977），Chris Date
2．Fundamentals of Database Systems（1989），Ramez Elmasri 和 Shamkant B. Navathe
正规的方法
正规的方法是通过逻辑变量而不是运行测试证明程序的正确性。
1．Software Engineering Mathematics（1988），Jim Woodcock 和 Martin Loomes。
2．Structured Programming: Theory and practice（1979），Richard C. linger，Harlan D, Mills
和 Bernard I. Witt
3．Social Process and proofs of Theorems and programs（1979），Richard A．DeMillo，Richard
J. Lipton 和 Alan J. Perlis。
4．Program Verification：The Very Idea（1988），James H. Fetzer
33.4 期刊
33.5 参加专业组织
学习程序编制的最好方法是和其它程序员进行接触和交流。
One for all, all for one! GOODBYE！！
本站仅提供存储服务，所有内容均由用户发布，如发现有害或侵权内容，请
点击举报。
