[PDF] Top 20 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 ... See full document

... Abstract: Certification of Open Source Software (OSS) presents inherent trade-offs due to the necessity of precisely identifying both a product and an independent certi- fication agent, and on ... See full document

... Of course, OSS is not developed, all the time, in the same way. Each community have par- ticular habits. Different development and management methodologies, more traditional or more agile, can be used. Currently, the ... See full document

... TCP/IP software, since it stands for Internet, iv) T T L stands for Time To Live; it is primarily used by resolvers, and specifies how long a resource record should be cached before discarding it, v) the field ... See full document

... an open democratic society, were the role of the individuals and the role of the community are very significant in contrast to the pre-established structures in the traditional software development ... See full document

... This is especially interesting when we start formalising the dependency cone (the transitive closure of the dependency function, i.e. all packages that could possibly be needed to instal[r] ... See full document

... closed source software en- vironments. With the advent of Free/Libre Open Source Software (FLOSS), re- searchers have started analysing popular FLOSS projects, seeking vitality indica- ... See full document

... 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 ... See full document

... the Source Control System ...same source code. A group of developers takes a copy of the projects source code and sets up a new source code repository under a new ... See full document

... The remainder of paper is composed of 8 sections. Section 2 is devoted to basic concepts cru- cial to the understanding of the rest of the paper: the notions of slicing and system dependency graph are introduced. Section ... See full document

... Why software verification toolkit ...the open source certification tasks if a student’s academic specialization has relevance to these tasks ...in software testing and verification ... See full document

... 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 ... See full document

... Contributions. In this paper we describe an implementation of such a deductive verification platform for the CAO language. We show that CAO presents interesting challenges for formal verification, concerning not only the ... See full document

... the open problem can be used to generate minimal sequences of user actions between pairs of states, each sequence including all possible users actions in the ... See full document

... in source code of big programs, trying to satisfy the requirements listed in the ...in source code, indicating possible bugs or violations of source code ... See full document

... Abstract: Software components are common in the open source community. These components can be specified in model languages like AsmL or JML by using contracts (preconditions, postconditions). ... See full document

... Addressing the workflow is one of the objectives in Open-DO. This is one point where Open- DO approaches Lean [MS05] and Agile [Mar03] methodologies. Although these two approaches are not widely considered ... See full document

... the software is critically depedent on the understanding of goals and requirements, either directly, at the higher abstraction levels in the development process, or through a choice of methodologies for testing ... See full document

... The leading IT-companies are committing significant resources (partly through the Linux Foundation) to making it possible to easily build portable applications for Linux. The Linux Foundation Ecosystem Knowledge Base and ... See full document

... the Software Engineering Group (SU) [Con] of the Department of Computer and Information Science (IDI) at the Norwegian University of Sci- ence and Technology ...Netbean open source project, to ... See full document