3147 search results - page 17 / 630 » Open-Source Model Checking |
ACL
2003
13 years 9 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
MSR
2010
ACM
14 years 18 days ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
SE
2010
13 years 9 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...