Difference: Schedule (4 vs. 5)

Revision 52008-01-28 - murphy

Line: 1 to 1
 
META TOPICPARENT name="DirectedStudies"
This page will soon have all of the schedule of papers to read.
Line: 13 to 13
 
  • Dependable software by design. D. Jackson. Scientific American. June 2006. Paper
  • Modeling the active badge system. S. Xu.Paper
Changed:
<
<		Week of Feb 4 (Software Architecture)
>
>		Week of Feb 4 (Software Architecture), Time and location TBD
 
  • Introduction to the special issue on software architecture. D. Garlan and D. Perry. 1995. IEEE Transactions on Software Engineering. Paper
  • * ArchJava: Connecting software architecture to implementation. J. Aldrich, C. Chambers and D. Notkin. 2002. Proc. of Int'l Conf. on SE. 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. Paper
Line: 25 to 25
 Week of Feb 18 (Reading week)
  • No papers due to reading week
Changed:
<
<		Week of Feb 18 (Composing Modules)
>
>		Week of Feb 25 (Composing Modules)
  • * Implementing layered designs with mixin layers. Y. Smaragdakis and D. Batory. Proc. of ECOOP, 1998. Paper
 
Changed:
<
<		Week of Feb 25 (Advanced Static Analysis)
>
>		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.Paper
  • Houdini: An Annotation Assistant for ESC/Java C. Flanagan and K.R.M. Leino. Proc. of FME 2001. Paper
 
Deleted:
<
<		Week of Mar 3 (Advanced Dynamic Analysis)
 
Changed:
<
<		Week of Mar 10 (Software Evolution)
>
>		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. Paper
  • Invariant Inference for Static Checking: An Empirical Evaluation. J.W. Nimmer and M.D. Ernst. Proc of FSE, 2002. Paper
  Week of Mar 17 (no class)
Changed:
<
<		Week of Mar 24 (Tools I - Recommenders)
>
>		Week of Mar 24 (Software Evolution)
 
Changed:
<
<		Week of Mar 31 (Tools II - Bug Finders?)
>
>		Week of Mar 31 (Tools I - Recommenders)
  Week of Apr 7 (Evaluation Methods)
View topic | History: r8 < r7 < r6 < r5 | More topic actions...
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback