Spring 2008

From Gannodss

1. Jan 30 - Cihan Kaynak
   • Poshyvanyk, Denys; Marcus, Andrian, "Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code," Program Comprehension, 2007. ICPC '07. 15th IEEE International Conference on, pp.37-48, 26-29 June 2007. [pdf]
   • Presentation Slides [pdf]
2. Feb 13 - Sherrie Campbell
   • Barnett, M., Leino, K.R.M., and Schulte W., "The Spec# Programming System: An Overview", in Proceedings of CASSIS 2004, Lecture Notes in Computer Science 3362, pp. 49-69, 2005, Springer-Verlag. [pdf]
   • Presentation Slides [pdf]
3. Feb 27 - Wei Wang
   • Barbar, M., Gorton, I., & Kitchenham, B. (2006). A framework for supporting architecture knowledge and rationale management. In Rationale Management in Software Engineering, (Dutoit, A., McCall, R., Mistrik, I., & and Paech B., Eds.), pp. 237-254. Springer. [pdf]
4. Mar 12 - Joe Geyer
   • K. Czarnecki, S. Helsen, and U. Eisenecker. Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice, special issue on "Software Variability: Process and Management, 10(2), 2005, pp. 143 - 169 [pdf]
5. Apr 2 - Mez Gebre
   • Marco Brambilla, Irene Celino, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Model-Driven Design and Development of Semantic Web Service Applications, Transactions on IT, Special Issue on WebML, 2008.
6. Apr 16 - Cihan Kaynak
   • Practice Defense
7. May 6 or 7 - Sherrie Campbell
   • Proposal Defense