web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 2 May 2008 13:32:36 +0000 (13:32 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 2 May 2008 13:32:36 +0000 (13:32 +0000)
wiki/academia/reading_list.mdwn

index f178a9e..4c88317 100644 (file)
@@ -5,7 +5,7 @@
 * *[effort, cooperation and coordination in an open source software project: GNOME](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00110.x)* (information systems journal) by Koch, Schneider
 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
 * *[two case studies of open source software development: Apache and Mozilla](http://portal.acm.org/ft_gateway.cfm?id=567795&type=pdf&coll=GUIDE&dl=GUIDE&CFID=26279986&CFTOKEN=98303047)* (ACM TOSE) by Mockus, Fielding, Herbsleb
-* *[maintainability of the Linux kernel](http://opensource.ucc.ie/icse2002/SchachOffutt.pdf)* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt
+* *[maintainability of the Linux kernel](http://ieeexplore.ieee.org/iel5/5658/21556/00999087.pdf?tp=&isnumber=&arnumber=999087)* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt
 * *extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution* by Gelder
 * *analyzing dependencies in large component-based systems* (ASE 02) by Vieira, Richardson
 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik