Tags:
view all tags
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), Time and location TBD * 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) * *Week of Mar 31* (Tools I - Recommenders) *Week of Apr 7* (Evaluation Methods) -- Main.murphy - 16 Jan 2008
Edit
|
Attach
|
Watch
|
P
rint version
|
H
istory
:
r8
<
r7
<
r6
<
r5
<
r4
|
B
acklinks
|
V
iew topic
|
Raw edit
|
More topic actions...
Topic revision: r6 - 2008-01-29
-
murphy
Home
Site map
BETA web
Communications web
Faculty web
Imager web
LCI web
Main web
SPL web
Sandbox web
TWiki web
TestCases web
SPL Web
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
P
View
Raw View
Print version
Find backlinks
History
More topic actions
Edit
Raw edit
Attach file or image
Edit topic preference settings
Set new parent
More topic actions
Account
Log In
Register User
Edit
Attach
Copyright © 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