112 search results - page 13 / 23 » Using Free Libre Open Source Software Projects as E-learning... |
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
MSR
2005
ACM
15 years 5 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
ICSE
2009
IEEE-ACM
16 years 15 days ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
ECEASST
2010
14 years 9 months ago
2010
: The majority of Free and Open Source Software (FOSS) developers are mobile and often use different identities in the projects or communities they participate in. These characteri...