On Tue, Aug 27, 2013 at 10:17:47AM +0200, FARKAS, Illes wrote: > Thanks. I found that "Managing the Complexity of Large Free and Open Source > Package-Based > Software Distributions" (PDF at http://goo.gl/NTPqlE) describes the project > best. By the way, which is your favorite paper from IRILL? Dear Illes, that paper is indeed the starting point of several research works in the field of formal analysis of relationships between software components, and in particular FOSS distribution packages. If you're interested in that field, you might want to have a look at a recent survey paper (disclaimer: I'm one of the author, an) entitled "Formal Aspects of Free and Open Source Software Components" which is freely available at: http://upsilon.cc/~zack/research/publications/fmco2012-foss-components.pdf ( BiBTeX: http://upsilon.cc/~zack/research/publications/fmco2012-foss-components.bib ) In there, we made an effort to review research work in the field, encompassing not only the work done in the context of EDOS / Mancoosi / IRILL, but also those by other researchers around the world, to the best of our knowledge. If you're starting in the field, that might be valuable to you. As we're quickly getting off-topic for debian-devel, feel free to contact me (and likely the others who have participated in this thread, even though I cannot speak for them) off-list. All the best for your studies, Cheers. -- Stefano Zacchiroli . . . . . . . zack@upsilon.cc . . . . o . . . o . o Maître de conférences . . . . . http://upsilon.cc/zack . . . o . . . o o Former Debian Project Leader . . @zack on identi.ca . . o o o . . . o . « the first rule of tautology club is the first rule of tautology club »
Attachment:
signature.asc
Description: Digital signature