Arnaud Monégier

Learn More
Model-Based Engineering (MBE) and Product Line Engineering (PLE) have been combined, to handle new system development constraints like: increasing complexity, higher product quality, faster time-to-market and cost reduction. As observed by some authors, the derivation of a product from product line shared core assets has been insufficiently addressed and(More)
CDL : un langage de description de contextes et d'exigences Dans le domaine de la validation formelle de modèles logiciels de systèmes industriels, les modèles sont souvent de grande taille. Leur validation formelle, à l'aide de méthodes classiques (model-checking par exemple), est limitée par le problème bien connu de l'explosion combinatoire. Pour(More)
  • 1