Open source software certification
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... for Open Source Software Certification (O PEN C ERT 2007) was held on 31 March 2007 in Braga, Portugal, as a satellite event of ETAPS 2007 (the 10th European Joint Conferences on Theory and ...
5
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... projects. Source configuration management (SCM), of which CVS or SVN 1 is part, is mainly used to co- ordinate the coding activities of software developers and manage software builds and ...lists: ...
18
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... checking source code for (security) bugs. The emphasis in the source code checkers of the Clang project is on minimising false positives (reporting “errors” that are not really errors) and thus is likely to ...
19
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... mining and text mining. A number of OSS communication antipatterns have been identified and made available [Leu08, Ber, Nea11, ant11, CSa]. OSS participant communication analysis using data mining can reveal commonly ...
22
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... large open source software code bases, and performed experiments on some millions of lines of C code with ...an open source project who do not have the skills to provide help at ...
21
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... The hope is that this work will allow the wider community to identify process improvement for better quality and critical software. The importance of quality in OSS due to development practices has already been ...
12
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... Software security hardening is defined in [MLD06] as any process, methodology, product or combination that is used to add security functionalities, remove vulnerabilities or prevent their exploitation in existing ...
19
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... closed software and supplier-specific solutions, in order to protect their intellectual ...the open software idea 2 ...of open source software in the safety-critical domain – ...
15
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... Finally, the Graph tool is language independent and receives as arguments the initState.gui and eventsFromInitState.gui files, and generates several metadata files with events, conditions, actions, and states extracted ...
19
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... Our tool follows the same approach used in other scenarios for general-purpose languages such as Java [MPU04] and C [FM04]. Furthermore, the tool architecture itself fundamentally relies on the Jessie plug-in included in ...
18
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integration ...of software compo- nents raises a ...
18
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... The Open-Source community is investing in this approach for code ...as open-source projects and many times rely on testing frameworks to make sure their code is not only working, since there ...
11
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... Free/Libre Open Source Software (FLOSS) communities have proven them- selves to be able to deliver high-quality system and application ...beyond software development [Muf06, ...
18
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... of open source software since 2006, using Coverity Scan, a tool for automated static analysis of source code ...in open source are considered high- risk defects; (2) there has ...
16
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... of certification is played by the process-related work products such as blogs, FAQs, annotations, bug logs and so ...That source of information can allow monitoring of product maturity, testing activity and ...
16
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... way open source communities operates. Open Source communities work in a kind of bazaar ...traditional software development process to built cathedrals, few specialized individuals ...
18
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... traditional software projects, the structures and goals, budgets, schedules, ...the software is their contact point with OSS projects. OSS is free, is open source, is built by volunteers and ...
11
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
... The important and critical role of DNSSEC in software systems and networks makes it a prime target for formal verification. We are not aware of projects that have set out to formally verify the correctness of ...
21
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... the Software Quality Observatory for Open Source Software (SQO-OSS) European Community’s Sixth Framework ...of software projects which integrates with a diverse set of revision control ...
21
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
... the certification, the figures Cust (that may co- incide with the User) and the EUser are more relevant for our declared ...that software is in the product / service, neither that a CB has certified ...
13