Schedule < SPL

This page will *soon* have *all of* the schedule of papers 
to read.

Unless otherwise noted (i.e., Feb 7), meetings will be in Room 304 at 11am on Thursdays.

Papers marked with a *** are suitable for writing a critical evaluation.

*Week of Jan 21* (Requirements Engineering) 
   * From object-orientation to goal orientation: A paradigm shift for requirements engineeringA. van Lamsweerde and E. Lettier. 2004. 9th Int'l Workshop on Radical Innovations of Software and Systems Engineering in the Future. [[http://citeseer.ist.psu.edu/664895.html][Paper]] 
   * *** Scenario-based requirements engineering. A. Sutcliffe. Location coming. 2004. 11th IEEE Int'l RE Conference. [[http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=1232776][Paper]] 

*Week of Jan 28* (Alloy), 
   * Dependable software by design. D. Jackson. Scientific American. June 2006. [[http://www.sciam.com/article.cfm?chanID=sa006&colID=1&articleID=00020D04-CFD8-146C-8D8D83414B7F0000][Paper]] 
   * Modeling the active badge system. S. Xu.[[http://alloy.mit.edu/contributions/ActiveBadgeInAlloy.pdf][Paper]] 

*Week of Feb 4* (Software Architecture), Thursday 11:15am-noon, ICICS 304
   * Introduction to the special issue on software architecture. D. Garlan and D. Perry. 1995. IEEE Transactions on Software Engineering. [[http://ieeexplore.ieee.org/iel1/32/8744/x0152963.pdf][Paper]]
   * *** ArchJava: Connecting software architecture to implementation. J. Aldrich, C. Chambers and D. Notkin. 2002. Proc. of Int'l Conf. on SE. [[http://archjava.fluid.cs.cmu.edu/papers/icse02.pdf][Paper]]
   * Software reflexion models: Bridging the gap between source and high-level models. G.C. Murphy, D. Notkin and K. Sullivan. 1995. Proc. of Foundations of SE. [[http://www.cs.ubc.ca/~murphy/papers/rm/reflexion_model_fse95.pdf][Paper]]

*Week of Feb 11* (Software Design/Modularization)
   * On the criteria to be used in decomposing systems into modules. D. Parnas. CACM, Dec. 1972. [[http://portal.acm.org/citation.cfm?id=361623][Paper]]
   * Decoupling change from design. M. VanHilst and D. Notkin. Proc. of Foundations of SE, 1996. [[http://portal.acm.org/citation.cfm?id=239098.239109&coll=GUIDE&dl=guide,acm&CFID=13807185&CFTOKEN=77897216][Paper]]

*Week of Feb 18* (Reading week)
   * No papers due to reading week 

*Week of Feb 25* (Composing Modules)
   * *** Implementing layered designs with mixin layers. Y. Smaragdakis and D. Batory. Proc. of ECOOP, 1998. [[http://www.cs.uoregon.edu/~yannis/templates.pdf][Paper]]

*Week of Mar 3* (Advanced Static Analysis)
   * *** Extended static checking for Java. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe, and R. Stata. Proc. of PLDI, 2002.[[http://doi.acm.org/10.1145/512529.512558][Paper]]
   * Houdini: An Annotation Assistant for ESC/Java C. Flanagan and K.R.M. Leino.  Proc. of FME 2001. [[http://citeseer.ist.psu.edu/flanagan00houdini.html][Paper]]


*Week of Mar 10* (Advanced Dynamic Analysis)
   * *** Dynamically Discovering Likely Program Invariants to Support Program Evolution. M.D. Ernst, J. Cockrell, W.G. Griswold and D. Notkin. Proc. of ICSE 1999. [[http://portal.acm.org/citation.cfm?id=302467][Paper]]
   * Invariant Inference for Static Checking: An Empirical Evaluation. J.W. Nimmer and M.D. Ernst. Proc of FSE, 2002. [[http://portal.acm.org/citation.cfm id=605466.605469][Paper]]

*Week of Mar 17* (no class)

*Week of Mar 24* (Software Evolution)
   * *** Does code decay? Assessing the evidence from change management data. S.G. Eick, T.L. Graves, A.F. Karr, J.S. Marron and A. Mockus. IEEE TSE, 2001. [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=895984][Paper]]

*Week of Mar 31* (Tools I - Recommenders)
   * *** Hipikat: Recommending pertinent software development artifacts. D. Cubranic and G.C. Murphy. Proc. of ICSE 2003. [[http://portal.acm.org/citation.cfm?id=776816.776866&coll=ACM&dl=ACM&CFID=16388588&CFTOKEN=47832603][Paper]]
   * *** Mining version histories to guide software changes. T. Zimmermann, P. Weisgerber, S. Diehl and A. Zeller. Proc. of ICSE 2004. [[http://portal.acm.org/citation.cfm?id=998675.999460&coll=ACM&dl=ACM&CFID=16388588&CFTOKEN=47832603][Paper]]
   * Note there are journal versions of each of these papers. I have selected the conference versions because we will concentrate on the basic ideas.

*Week of Apr 7* (Evaluation Methods)
   * What makes good research in software engineering? M. Shaw. Int'l Journal on Software Tools for Technology Transfer. 2002. [[http://www.springerlink.com/content/rpap482f8tf26rb2/][Paper]]
   * Experimental models for validating technology. M. Zelkowitz and D.R. Wallace. Computer, 1998. [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=675630][Paper]]


-- Main.murphy - 16 Jan 2008
This topic: SPL > WebHome > DirectedStudies > Schedule
Topic revision: r8 - 2008-02-14 - murphy