1.
Textbooks
and other reading
There are literally hundreds of texts and reference books on
general software engineering, requirements, design, and construction. I have asked
the Campus Bookstore to order three texts (one required, two suggested); the
order went in late so do not expect the texts to be available immediately. I will place copies
on reserve in the Science and Engineering Library. I suggest that you look for
these at on-line sources. Many times, used copies in Òalmost newÓ condition can
be found for a fraction of the cost
1.1.
Required
text
Requirements Analysis and System Design: Developing
Information Systems with UML by Leszek A. Maciaszek Pearson Addison Wesley; 1st edition
(April 13, 2001) website
1.2.
Suggested
text
The Mythical Man-Month: Essays on Software Engineering,
Anniversary Edition (2nd Edition) by Frederick P. Brooks Addison-Wesley Pub Co; 1st edition
(August 2, 1995)
The Unified Modeling Language User Guide by Grady Booch, Ivar Jacobson, James
Rumbaugh Addison-Wesley Pub Co; 1st edition (September 30, 1998)
1.3.
Other
interesting books
Software Requirements & Specifications: A Lexicon of
Practice, Principles and Prejudices (Acm Press Books) by Michael Jackson Addison-Wesley
Pub Co; 1st edition (August 23, 1995)
Practical Software Requirements: A Manual of Content and
Style by Benjamin
L. Kovitz Manning Publications Company; (December 1998)
Software Design (2nd Edition) by David Budgen Pearson Addison
Wesley; 2nd edition (May 15, 2003)
Design Patterns by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
Addison-Wesley Pub Co; 1st edition (January 15, 1995)
1.4.
Other
reading
FPB-87
Brooks, Jr., F.P., ÒNo
Silver Bullet; Essence and Accidents of Software Engineering,'' IEEE
Computer, April 1987, pp.10--19.
DH-92 David Harel, ÒBiting theSilver
Bullet,Ó Computer, January 1992
LJO-97 Leon J. Osterweil ÒSoftware
processes are software too, revisited: an invited talk on the most influential
paper of ICSE 9.Ó Proceedings of the 19th international conference on
Software engineering May 1997
LJO-87 L. J.
Osterweii. ÒSoftware Processes are Software Too,Ó Proceedings of the Ninth International Conference
if Software Engineering, March 1987.
RW-98 Roel Wieringa, ÒA survey of structured
and object-oriented software specification methods and techniques,Ó ACM
Computing Surveys December 1998
JMW-90
Wing, J.M., ÒA Specifier's Introduction
to Formal Methods,'' IEEE Computer,
September 1990, pp.8--24.
DLP-72 D.L. Parnas. ÒOn the Criteria to be Used in Decomposing
Systems,Ó ACM. Vol. 15. No. 5. 1972. pp. 1.053-1.058.
BHL+-75
Liskov, B.H. and Zilles, S.N., ÒSpecification Techniques for Data Abstractions,'' IEEE Transactions on Software
Engineering, March 1975, pp.7--19.
CARH-69
Hoare, C.A.R., ``An Axiomatic Basis
for Computer Programming, ' Communications of the ACM, October 1969,
6 pages.
JVG-85
Guttag, J.V., Horning, J.J. and Wing, J.M., ÒThe Larch family of Specification Languages,'' IEEE
Software, September 1985, pp.24--36.
1.5.
Project
Documents
AIS Implementation Analysis, Version
1.41 19 November 2001 UC Santa Cruz
Project
Components Definition Draft 6 December 1999 UC Santa Cruz
Request for Proposal Academic
Information System 17 April 2000 UC Santa Cruz
Peoplesoft Bid 10 May 2002
Request for Bid Student Information System #SG97-40 3 March 1997
University of Massachusetts Amherst