Login / Signup

A formal approach for managing component-based architecture evolution.

Abderrahman MokniChristelle UrtadoSylvain VauttierMarianne HuchardHuaxi (Yulin) Zhang
Published in: Sci. Comput. Program. (2016)
Keyphrases
  • component based architecture
  • object oriented
  • formal model
  • database
  • formal specification
  • formal methods
  • genetic algorithm
  • multimedia
  • evolutionary algorithm
  • query language
  • software components
  • dynamic aspects