Marc Pantel (@MarcPantelPro) profile picture

Marc Pantel

@MarcPantelPro
Joined April 2016
  • Tweets23
  • Following42
  • Followers36
Marc Pantel retweeted
JM Jezequel (@jmjezequel) profile picture
JM Jezequel@jmjezequel22 Jun 2022
En ce sens la transformation de l’ENSEEIHT #N7 Toulouse, reconnue par exemple pour la qualité de sa formation en ingénierie informatique, en une Centrale Toulouse où on ne formera que des managers avec 1 vague vernis technique est un vrai problème @Inp_EnseeihtEs @MarcPantelPro
This Post is from an account that no longer exists. Learn more
2
4
6
Videos of the #models16 plenary sessions available at models2016.irisa.fr/videos cc @modelsconf
1
6
4
Gave a talk (slideshare.net/MarcPantel/co…) at EXE’2016 at @modelsconf
1
2
Or it will never be possible to produce consistent formal model for all OMG standards. #models2016 #ocl16
1
1
Languages must be structured as a collection of modules (UML, OCL, States, Messages, Time, QVT, …) #models16 #ocl16.
Isabelle might save the OCL semantic nightmare by using HOL-OCL as semantics background. #models16 #ocl16
1
Currently at @modelsconf in the wonderful city of Saint Malo attending the OCL workshop.
2
1
Gave a talk at FMICS-AVOCS 2016 (slideshare.net/MarcPantel/fm…).
Load more