3147 search results - page 14 / 630 » Open-Source Model Checking |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...
SPLC
2008
13 years 9 months ago
2008
In order to contribute to the understanding of how the SPL community and the open source community can benefit from each other, we present the Linux Kernel Configurator (LKC). We ...
IJET
2008
13 years 7 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We review the literature on Free/Libre Open Source Software (FLOSS) development and on software development, distributed work and teams more generally to develop a theoretical mod...
WCRE
2008
IEEE
14 years 1 months ago
2008
IEEE
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...