Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Literaturverzeichnis
[63] D. R. Cok1 and J. R. Kiniry2, “Esc/java2: Uniting esc/java and jml. progress
and issues in building and using esc/java2,” Nijmegen Institute for Computing and
Information Science, University of Nijmegen, The Netherlands, 2004, fetched on the 21st
of September 2006. [Online]. Available: http://secure.ucd.ie/products/opensource/
ESCJava2/ESCTools/papers/NIII-R0413.pdf
[64] G. Leavens, A. Baker, and C. Ruby, “JML: A notation for detailed design,” Behavioral
Specifications of Businesses and Systems, pp. 175–188, 1999.
[65] G. T. L. Patrice Chalin, Joe Kiniry and E. Poll, “Beyond assertions: Advanced specification
and verification with jml and esc/java2,” Proceedings of Formal Methods for
Components and Object (FMCO) Amsterdam, The Netherlands, 2006.
[66] G. Myers, Methodisches Testen von Programmen. Oldenbourg, 1989.
[67] H. Sneed and M. Winter, Testen objektorientierter Software. Hanser, 2002.
[68] E. Riedemann, Testmethoden für sequentielle und nebenläufige Software-Systeme. Teubner,
1997.
[69] B. Boehm, “Guidelines for Verifying and Validating Software Requirements and Design
Specifications,” in Proceedings of Euro IFIP, 1979, pp. 711–719.
[70] K. Beck and E. Gamma, “JUnit Cookbook,” fetched on the 21st of September 2006.
[Online]. Available: http://junit.sourceforge.net/doc/cookbook/cookbook.htm
[71] Java Community Process, “JSR-286 Portlet Specification,” September 2006, fetched on
the 20th of September 2006. [Online]. Available: http://jcp.org/en/jsr/detail?id=286
[72] C.-H. A. Hsieh, J. C. Gyllenhaal, and W. mei W. Hwu, “Java bytecode to native code
translation: the caffeine prototype and preliminary results,” in MICRO 29: Proceedings
of the 29th annual ACM/IEEE international symposium on Microarchitecture. Washington,
DC, USA: IEEE Computer Society, 1996, pp. 90–99.
[73] J. Raskin, The Humane Interface. New Directions for Designing Interactive Systems. Addison
Wesley, 2000.
[74] S. Krug, Don’t Make Me Think! A Common Sense Approach to Web Usability. New Riders,
2005.
[75] W. Ruh, F. Maginnis, and W. Brown, Enterprise Application Integration: A Wiley Tech
Brief. John Wiley, 2001.
91