References

• • Tuncay Hazirolan, Baris Tasbas, Merve Gulbiz Dagoglu, Murat Canyigit, Gulcan Abali, K...
• • Wolfgang M. Schaefer, Claudia S.A. Lipke, Dirk Standke, Harald P. Kühl, Bernd Nowak, ...
• • Boudewijn J Krenning, Marco M Voormolen and Jos RTC Roeland. (2003) “Assessment of Le...
• • Lissa Sugeng, Victor Mor-Avi, Lynn Weinert, Johannes Niel, Christian Ebner, Regina St...
• • Fischbach, Roman; Juergens, Kai; Ozgun, Murat; Maintz, David; Grude, Matthias; Seifar...
• • V. T. Rajlich and K. H. Bennett (2000), “A staged model for the software life cycle,”...
• • S. W. Ambler, M. J. Vizdos, and J. Nalbone, “The enterprise unified process: Extendin...
• • IEEE Standard for Developing Software Life Cycle Processes, IEEE Std 10741991, The In...
• • ISO/IEC 15288, Systems and Software Engineering- System life cycle processes, IEEE St...
• • M. Kajko-Mattsson, R. Fredriksson, and A. Hauzenberger, “Elicting a retirement proces...
• • B. Laurel, “Design research: Methods and perspectives,” the MIT Press, 2003.
• • M. D. Vose, “A formal analysis of edit distance,” UT CS Technical Report ut-cs-04-517...
• • R. O. Duda and P. E. Hart, Pattern Classification (2nd ed.). Wiley Interscience, 2000...
• • A. Wagner and M. I. Fischer, “The string-to-string correction problem,” Journal of th...
• • E. Ukkonen, “Algorithms for approximate string matching,” International Control 64, p...
• • E. Ukkonen, “On approximate string matching,” International Conference Fundamentals o...
• • N. Campbell and J. Reese, Biology (6th ed.), Addison Wesley, 1997.
• • S. Anderson, et al., “Sequence and organization of the human mitochondrial genome,” N...
• • K. L. Monson, et al., “The mtDNA population database: An integrated software and data...
• • http://iperf.sourceforge.net.
• • C. Werner, “UML profile for communicating systems,” Ph.D thesis, University of Gottin...
• • Unified Modeling Language, The official homepage of UML, Object Management Group.
• • Model Driven Architecture: A Technical Perspective, Architecture Board MDA Drafting T...
• • Process Meta Language.
• • G. J. Holzmann, “The model checker SPIN,” IEEE Transactions on Software Engineering, ...
• • M. Farid, G. Patrice, and B. Mourad, “Verifying UML diagrams with model checking: A r...
• • S. Wuwei, C. Kevinon, and H. James, “A toolset for supporting UML static and dynamic ...
• • B. Prasanta, “Automated translation of UML models of architectures for verification a...
• • S. W. Vitus and J. Padget, “Symbolic Model Checking of UML Statechart Diagrams with a...
• • A. Kleppe, J. Warmer, and W. Bast, “MDA Explained—The Model Driven Architecture: Prac...
• • Query, Views, Transformations: A Specification document. http://www.omg.org/technolog...
• • eXample Data Transfer (XDT) Protocol. http://www.protocol-engineering.tu-cottbus.de/i...
• • E. M. Clarke, O. Grumberg, and D. Peled, “Model checking,” MIT Press, 1999.
• • M. Zyda, “Educating the next generation of game developers,” Computer, IEEE, June 200...
• • F. Chau, “Mobile gaming aims for mass market,” 2006. http://www.smackall.com/viewreso...
• • M. Mayo, “Games for science and engineering education,” CACM, Vol. 50, No. 7, July 20...
• • M. Zyda, “Creating a science of games,” CACM, Vol. 50, No. 7, July 2007.
• • J. Schollmeyer, “Games get serious,” Bulletin of the Atomic Scientists, 2007. http://...
• • [6] A. Phelps, K. Bierre, and D. Parks, “MUPPETS: Multi-user programming pedagogy for...
• • [7] K. Bierre and A. Phelps, “The use of MUPPETS in an introductory java programming ...