Frederick P. Brooks, Jr. The Mythical Man-month: Essays on
Software Engineering, Addison-Wesley, 1975.
Anyone who is involved in large software projects should read
this book at least once.
We have requested the Engineering Library to put this book on
reserve. We'll keep you posted.
David Harel, et al. STATEMATE: A working environment for the
development of complex reactive systems, IEEE Transactions on
Software Engineering, 16(4), April, 1990.
Kathryn L. Heninger. Specifying software requirements for
complex systems: New techniques and their application, IEEE
Transactions on Software Engineering, SE-6(1), January,
1980.
Nancy G.
Leveson and Clark S. Turner. An investigation of the Therac-25
Accidents, Computer, July, 1993.
Ken Lunde. Understanding Japanese Information
Processing, O'Reilly & Associates, Inc., 1993.
David L. Parnas and Paul C. Clements. A rational design
process: How and why to fake it, IEEE Transactions on Software
Engineering, SE-12(2), February, 1986.
Elaine J. Weyuker. Axiomatizing software test data adequacy,
IEEE Transactions of Software Engineering,
SE-12(12):1128-1138, December 1986.