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.