Software product line engineering is an approach that supports developing products in family. These products are described by common and variable features. Currently, the validation activity is disjointed from the product lines development process. The effort and resources provided in the test campaigns for each product can be optimized in the context of product lines. Model-based testing is a technique for automatically generating a suite of test cases from requirements. In this thesis report, we present an approach to test a software product line with model-based testing. This technique is based on an algorithm that establishes the relationship between the variability model released with OVM and the test model, using traceability of funct...
The aim of my PhD thesis lay in the development of a new automatic approach for efficiently detectin...
The representation formats and behaviors of floating point arithmetics available in computers are de...
Cette thèse, intitulée "Contributions à l’apprentissage par renforcement inverse", fournit trois con...
Software product line engineering is an approach that supports developing products in family. These ...
Nowadays, software companies develop and maintain their software for several clients. Consequently, ...
This PhD thesis is a contribution for the noise control field and parameters identification forporou...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially ...
In this thesis, we are interested on scheduling production and maintenance on one machine and a Flow...
Ubiquitous computing has as a consequence, among others, the existing and under development software...
This thesis describes an automatic test generation process from models.This process uses two modelli...
This thesis describes an automatic test generation process from models.This process uses two modelli...
Nowadays, we are using an increasing number of computer applications. Errors in critical application...
We study a brain computer interface (BCI) to control a prosthesis with thought. The aim of the BCI i...
Proving that programs behave correctly is difficult; one uses proof tools, which must rely on overap...
The works presented in this dissertation propose a co-design methodology of dynamically reconfigurab...
The aim of my PhD thesis lay in the development of a new automatic approach for efficiently detectin...
The representation formats and behaviors of floating point arithmetics available in computers are de...
Cette thèse, intitulée "Contributions à l’apprentissage par renforcement inverse", fournit trois con...
Software product line engineering is an approach that supports developing products in family. These ...
Nowadays, software companies develop and maintain their software for several clients. Consequently, ...
This PhD thesis is a contribution for the noise control field and parameters identification forporou...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially ...
In this thesis, we are interested on scheduling production and maintenance on one machine and a Flow...
Ubiquitous computing has as a consequence, among others, the existing and under development software...
This thesis describes an automatic test generation process from models.This process uses two modelli...
This thesis describes an automatic test generation process from models.This process uses two modelli...
Nowadays, we are using an increasing number of computer applications. Errors in critical application...
We study a brain computer interface (BCI) to control a prosthesis with thought. The aim of the BCI i...
Proving that programs behave correctly is difficult; one uses proof tools, which must rely on overap...
The works presented in this dissertation propose a co-design methodology of dynamically reconfigurab...
The aim of my PhD thesis lay in the development of a new automatic approach for efficiently detectin...
The representation formats and behaviors of floating point arithmetics available in computers are de...
Cette thèse, intitulée "Contributions à l’apprentissage par renforcement inverse", fournit trois con...