Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Refactoring feature modules : disciplined generation of reusable modules

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Towards flexible feature composition : static and dynamic binding in software product lines

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Prototype based clustering in high-dimensional feature spaces

...In dieser Arbeit untersuche ich den ”Fluch der Dimensionen” mittels dem Begriff der Distanzkonzentration. Ich zeige, dass dieser Effekt im Datenmodell mittels der paarweisen Kovarianzkoeffizienten der Randverteilungen beschrieben werden kann. Zusätzlich vergleiche ich 10 prototypbasierte Clusteralgorithmen mittels 800.000 Clusterergebnissen von künstlich erzeugten Datensätzen. Ich erforsche, wie und warum Clusteralgorithmen von der Anzahl der Merkmale beeinflusst werden. Mit den Clusterergebnissen untersuche ich außerdem, wie gut 5 der populärsten Clusterqualitätsmaße die tatsächliche Clusterqualität schätzen.

Conserved non-genic sequences - an unexpected feature of mammalian genomes.

Mammalian genomes contain highly conserved sequences that are not functionally transcribed. These sequences are single copy and comprise approximately 1-2% of the human genome. Evolutionary analysis strongly supports their functional conservation, although their potentially diverse, functional attributes remain unknown. It is likely that genomic variation in conserved non-genic sequences is associated with phenotypic variability and human disorders. So how might their function and contribution to human disorders be examined?

The feature of papers and citation analysis of eleven journals in tropical medicine indexed by Science Citation Index Expanded

To determine the features of papers, authors, and citation of eleven journals in tropical medicine indexed by Science Citation Index Expanded, the database of the Institute for Scientific Information, we analyzed original articles, editorials, reviews, corrections, letters, biographies, and news published in these journals. The results show that these journals covered 107 countries or regions on six continents. The average number of reference was 23.05, with 87.89% of the references from periodicals. The Price Index was 31.43% and the self-citing rate was 7.02%. The references in the first 20 journals ranked by the amount of citation accounted for 36.71% of the total citations. Brazil, United States, India, and England are more advanced in tropical medicine research. The conclusion is that these journals covered most research done in these countries or regions. Most researches were done by cooperation of the researchers, but many of the publications used outdated articles and should include newer information.

Particularités de la prise en charge des infections chez le patient neutropénique [Special feature in the handling of infectious in neutropenic patients]

Les progrès continus des connaissances réalisés dans le domaine de l'oncohématologie depuis quelques décennies ont permis une amélioration considérable du pronostic de la plupart des formes de cancer. Toutefois, la morbidité et la mortalité attribuables aux infections apparaissent actuellement comme les principaux facteurs limitant l'agressivité des traitements de la maladie cancéreuse, et un meilleur contrôle de ces dernières est devenu l'un des éléments essentiels de la prise en charge de ce type de patients. Une recherche clinique intense a permis d'en identifier les grands principes qui sont exposés dans cet article. Un algorithme thérapeutique susceptible de guider le clinicien face au développement d'un état fébrile, toujours suspect d'infection chez le patient cancéreux neutropénique, est ensuite proposé.

A genetic algorithm to ensemble feature selection

We are going to implement the "GA-SEFS" by Tsymbal and analyse experimentally its performance depending on the classifier algorithms used in the fitness function (NB, MNge, SMO). We are also going to study the effect of adding to the fitness function a measure to control complexity of the base classifiers.

A survey on transfer-based approaches to MT using feature structures

Aquest treball és una revisió d'alguns sistemes de Traducció Automàtica que segueixen l'estratègia de Transfer i fan servir estructures de trets com a eina de representació. El treball s'integra dins el projecte MLAP-9315, projecte que investiga la reutilització de les especificacions lingüístiques del projecte EUROTRA per estàndards industrials.

Geoheritage popularisation and cartographic visualisation in the Tsanfleuron-Sanetsch area (Valais, Switzerland)

This paper presents the underlying concepts developed by the Institute of Geography of the University of Lausanne (Switzerland) for a popularisation project of the geoheritage in the Tsanfleuron-Sanetsch area (Valais, Switzerland). Due to its wide scientific interest, the local geoheritage is of great value (Reynard, 2008). The article details the complementary links existing between the different parts of a geotourist project - databases, educational panels, educational material and geotourist map - developed for popularising the geoheritage value of the area. Each element of the project is briefly presented. Special focus is set on mapping questions: how cartographic design and information structure can be set in order to facilitate map's use and comprehension. In this way, the Tsanfleuron-Sanetsch map is presented as an applied example of the guiding principles proposed by Coratza and Regolini-Bissig (2009).

Feature Extraction from Whole-Sky Ground-Based Images for Cloud-Type Recognition

Several features that can be extracted from digital images of the sky and that can be useful for cloud-type classification of such images are presented. Some features are statistical measurements of image texture, some are based on the Fourier transform of the image and, finally, others are computed from the image where cloudy pixels are distinguished from clear-sky pixels. The use of the most suitable features in an automatic classification algorithm is also shown and discussed. Both the features and the classifier are developed over images taken by two different camera devices, namely, a total sky imager (TSI) and a whole sky imager (WSC), which are placed in two different areas of the world (Toowoomba, Australia; and Girona, Spain, respectively). The performance of the classifier is assessed by comparing its image classification with an a priori classification carried out by visual inspection of more than 200 images from each camera. The index of agreement is 76% when five different sky conditions are considered: clear, low cumuliform clouds, stratiform clouds (overcast), cirriform clouds, and mottled clouds (altocumulus, cirrocumulus). Discussion on the future directions of this research is also presented, regarding both the use of other features and the use of other classification techniques

Surface granularity as a discriminating feature of illicit tablets

In this paper we propose an innovative methodology for automated profiling of illicit tablets bytheir surface granularity; a feature previously unexamined for this purpose. We make use of the tinyinconsistencies at the tablet surface, referred to as speckles, to generate a quantitative granularity profileof tablets. Euclidian distance is used as a measurement of (dis)similarity between granularity profiles.The frequency of observed distances is then modelled by kernel density estimation in order to generalizethe observations and to calculate likelihood ratios (LRs). The resulting LRs are used to evaluate thepotential of granularity profiles to differentiate between same-batch and different-batches tablets.Furthermore, we use the LRs as a similarity metric to refine database queries. We are able to derivereliable LRs within a scope that represent the true evidential value of the granularity feature. Thesemetrics are used to refine candidate hit-lists form a database containing physical features of illicittablets. We observe improved or identical ranking of candidate tablets in 87.5% of cases when granularityis considered.