Productivity is a key element in organizational management. Although it can be measured at different levels (country, sector, organization ...) this research focuses on productivity at the job level. The aim of this paper is to obtain an overview of the state of the art in productivity measurement in software engineering, including the inputs and outputs of the production process used for this ...

This paper presents a formal model of the EMV (EuropayMasterCard-Visa) protocol suite in F# and its analysis using the protocol verification tool ProVerif [4] in combination with FS2PV [3]. The formalisation covers all the major options of the EMV protocol suite, including all card authentication mechanisms and both onand offline transactions. Some configuration parameters have to be fixed to a...

This paper describes some difficulties that one encounters in the testing and maintenance of C++ programs, which may result in program unreliability. Inheritance and polymorphism are key concepts in objectoriented programming (OOP), and are essential for achieving reusability and extendibility, but they also make programs more difficult to understand. We have tried to show by arguments and by s...

We describe a simple approach to named-entity recognition (NER), aimed initially at the Dutch language, but potentially applicable to other languages. Our NER system employs a two-stage architecture, with handcrafted but dataset-independent features for both stages, and is on a par with state-of-the-art systems described in the literature. Notably, our approach does not depend on language-speci...

During the preparation of the corresponding chapter inDavy Landman's PhD thesis, someminor graphical and statistical discrepancieswere found in the paper “Empirical analysis of the relationship between CC and SLOC in a large corpus of Javamethods and C functions.”1 To support future reproduction and use of this work, we prepared the current erratum, containing several updated figures, a diagnos...

In an industrial process of production, project managers look for ways to visualise the progress of their project. Reverse engineering projects do not escape this requirement. These projets have the particularity to provide information, more or less accurate, about the whole project, from documentation to source code. Comparison between the number of treated entities (lines of code or entities)...

Software tends to be highly configurable, but most applications are hardly context aware. For example, a web browser provides many settings to configure printers and proxies, but nevertheless it is unable to dynamically adapt to a new workplace. In this paper we aim to empirically demonstrate that by dynamic and automatic reconfiguration of unmodified software we can systematically introduce co...

This study has been inspired by the paper "An efficient 3D topology optimization code written in MATLAB” written by Liu and Tovar (2014) demonstrating that SIMP-based three-dimensional (3D) topology optimization of continuum structures can be implemented in 169 lines of MATLAB code. Based on the above paper, we show here that, by simple and easy-to-understand modificati...

Large multi-platform software systems are likely to encompass hardware-dependent code or sub-systems. However, analyzing multi-platform source code is challenging, due to the variety of supported configurations. Often, the system was originally developed for a single platform, and then new target platforms were added. This practice promotes the presence of duplicated code, also said “cloned” co...