The integration of Software components within complex industrial applications with severe security standards, requires strict quality assessment of each integrated component. That is, requires a guarantee that each component is compliant with the software development good practices and all the standards in use. If full certification is easy to obtain for proprietary modules, it is particularly hard to achieve when dealing with Open-Source Software pieces, demanding for rigorous methods and techniques to implement their certification process. In this context, code analysis plays an important role as the basis for the automatization of quality assessment of open source software projects – code analysis provides the techniques and tools to im...
Developing and delivering secure software is a challenging task, that gets even harder when the deve...
The paper investigates on the nature of software certification and its reasons of being. The numerou...
An updated version of a tool for automated analysis of source code patches and branch differences is...
Cílem této práce je analyzovat zdrojové kódy v open source projektech a ukázat postup analýzy zdrojo...
Context: Software development is moving towards a place where data about development is gathered in ...
Abstract- Source code analysis is technology aimed at locating and describing different tokens, clas...
The analysis of C++ code is the basic building block of the collaboration between ITC-irst and CERN,...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Abstract — In this paper two intensive problems faced during software application’s analysis and dev...
As products and services become increasingly digital and software increasingly complex, all aspects ...
Open Source Software (OSS) created a paradigm shift within the software engineering field prompting ...
Conference of 2nd International Workshop on Formal Integrated Development Environment, F-IDE 2015 ; ...
Workshop proceedings with local publication by the University of OsloThis paper discusses the (often...
We present to you this special issue dedicated to the 2nd, 3rd and 4th editions of the International...
Research on software analysis has long history. It has been widely used in many processes in softwar...
Developing and delivering secure software is a challenging task, that gets even harder when the deve...
The paper investigates on the nature of software certification and its reasons of being. The numerou...
An updated version of a tool for automated analysis of source code patches and branch differences is...
Cílem této práce je analyzovat zdrojové kódy v open source projektech a ukázat postup analýzy zdrojo...
Context: Software development is moving towards a place where data about development is gathered in ...
Abstract- Source code analysis is technology aimed at locating and describing different tokens, clas...
The analysis of C++ code is the basic building block of the collaboration between ITC-irst and CERN,...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Abstract — In this paper two intensive problems faced during software application’s analysis and dev...
As products and services become increasingly digital and software increasingly complex, all aspects ...
Open Source Software (OSS) created a paradigm shift within the software engineering field prompting ...
Conference of 2nd International Workshop on Formal Integrated Development Environment, F-IDE 2015 ; ...
Workshop proceedings with local publication by the University of OsloThis paper discusses the (often...
We present to you this special issue dedicated to the 2nd, 3rd and 4th editions of the International...
Research on software analysis has long history. It has been widely used in many processes in softwar...
Developing and delivering secure software is a challenging task, that gets even harder when the deve...
The paper investigates on the nature of software certification and its reasons of being. The numerou...
An updated version of a tool for automated analysis of source code patches and branch differences is...