Informatique et Systèmes, Spécialité « Modèles, Optimisation, Programmation et Services »