Bibliography

[Beck89a] Kent Beck and Ward Cunningham. "A Laboratory for Teaching Object-Oriented Thinking." SIGPLAN Notices. ACM 24: 10 (Oct. 1989).

[Beck99] Kent Beck and Erich Gamma. "Test Infected: Programmers Love Writing Tests." Available at http://members.pingnet.ch/gamma/junit.htm (1 December 2000).

[Beiz90] Boris Beizer. Software Testing Techniques. New York: International Thomson Publishers, 1990.

[BetterState00] http://www.windriver.com/products/html/betterstate_ds.html

[Booch99] Grady Booch, James Rumbaugh and IvarJacobson. The Unified Modeling Language User Guide. Boston, MA: Addison Wesley, 1999.

[Brow77] P. J. Brown, ed. Software Portability. Cambridge, England: Cambridge University Press, 1977.

[CaTa98] Richard H. Carver and Kuo-Chung Tai. "Use of Sequencing Constraints for Specification-based Testing of Concurrent Programs." IEEE Transactions on Software Engineering 24: 6 (June 1998).

[Chill92] R. Chillarege, et al. "Orthogonal Defect Classification A Concept for In-Process Measurements." IEEE Transactions on Software Engineering 18: (November 1992, pp. 943 956).

[Chow87] Tsun Chow. "Testing Software Design Modeled by Finite-State Machines." Transactions on Software Engineering SE-4 (1987).

[Cock00] Alistair Cockburn. Use Case Template. http://members.aol.com/acockburn/ (1 December 2000)

[Dono00] Donohoe, Patrick, ed. Software Product Lines: Experience and Research Directions. Norwell, MA: Kluwer Academic Publishers, 2000.

[EcDe96] Earl F. Ecklund, Jr. and Lois M. L. Delcambre. "Change Cases: UseCases that Identify Future Requirements." Proceedings of OOPSLA '96. ACM (1996).

[Ecke00] Bruce Eckel. Thinking in C++ Volume 1: Introduction to Standard C++. Upper Saddle River, NJ: Prentice-Hall, 2000.

[Faga86] M. Fagan. "Advances in Software Inspections." IEEE Transactions on Software Engineering. 12: 7 (July 1986): 744 51.

[FoSc97] Martin Fowler, Kendall Scott (contributor), Grady Booch. UML Distilled: A Brief Guide to the Standard Object Modeling Language, Second Edition. Boston, MA: Addison-Wesley, 1999.

[GHJV94] Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Boston, MA: Addison-Wesley, 1994.

[Gold89] Adele Goldberg. Smalltalk 80:The Language. Boston, MA: Addison-Wesley, 1989.

[Hens96] Bill Hensler. Sex, Lies, and Video Games: How to Write a Macintosh Video Game. Boston, MA: Addison-Wesley, 1996.

[Hetz84] W. C. Hetzel. The Complete Guide to Software Testing. Wellesley, MA: QED Information Sciences, 1984.

[IEEE87] IEEE. IEEE Software Engineering Standards. Piscataway, NJ: IEEE Press, 1987.

[Java] Sun Microsystems. Java Language Specification, http://java.sun.com/j2se/1.3 (1 December 2000)

[JCJO92] Ivar Jacobson, Magnus Christerson, Patrik Jonsson and Gunnar Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach Boston, MA: Addison-Wesley, 1992.

[Kazman94] R. Kazman, L. Bass, G. Abowd and M. Webb. "SAAM: A Method for Analyzing the Properties Software Architectures." Proceedings of the 16^th International Conference on Software Engineering, pp. 81 90. Sorrento, Italy, May 1994.

[LiWi94] Barbara Liskov and Jeanette Wing. "A Behavioral Notion of Subtyping." ACM Transactions on Programming Languages and Systems 16: 6 (Nov. 1994): 1811 41.

[Luckham95] David C. Luckham, et al. Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering, 21:4 (April 1995).

[McGr96] John D. McGregor, Jim Doble and Asha Keddy. "Let Architectural Reuse Guide Component Reuse." Object Magazine (April 1996): 38 47.

[McGr97] John D. McGregor. "The Parallel Architecture for Component Testing," Journal of Object-Oriented Programming (May 1997).

[Meye00] Bertrand Meyer. Eiffel: The Language. Upper Saddle River, NJ: Prentice-Hall, 2000.

[Meye94] Bertrand Meyer. Object-Oriented Software Construction. Upper Saddle River, NJ: Prentice-Hall, 1994.

[MFC] Microsoft Corporation, ed. Mastering MFC Development Using Microsoft Visual C++. Seattle: Microsoft Press, 2000.

[MoHa00] Richard Monson-Haefel. Enterprise JavaBeans. Sebastopol, CA: O'Reilly & Associates, 2000.

[Niels94] Jakob Nielsen. Usability Engineering. San Francisco: Morgan Kaufmann, Pub., 1994.

[NoCl00] Linda Northrop and Paul Clements. A Framework for Software Product Line Practice. Pittsburgh, PA: Software Engineering Institute, 2000.

[OMG98] Object Management Group. The Common Object Request Broker: Architecture and Specification. Needham, MA: Object Management Group, 1998.

[Phadke89] M.S. Phadke. Quality Engineering Using Robust Design. Upper Saddle River, NJ: Prentice-Hall, 1989.

[Pros99] Jeff Prosise. Programming Windows with MFC. Seattle: Microsoft Press, 1999.

[Redm97] Frank E. Redmone III. DCOM: Microsoft Distributed Component Object Model. Foster City, CA: IDG Books Worldwide, 1997.

[RJB98] James Rumbaugh, Ivar Jacobson, Grady Booch. The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley, 1998.

[SEI93] Software Engineering Institute. The Capability Maturity Model for Software, version 1.1, CMU/SEI-93-TR-024, Pittsburgh.

[Selic94] Bran Selic, et al. Real-Time Object-Oriented Modeling. New York: Wiley & Sons, 1994.

[ShGa96] Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Upper Saddle River, NJ: Prentice Hall, 1996.

[Szyp98] Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Boston, MA: Addison-Wesley, 1998.

[White97] Barabara White. Using JavaBeans. Indianapolis: Que, 1997.

[WK99] Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Boston, MA: Addison-Wesley. 1999.