Vasco Sousa

Vasco Sousa

Université de Montréal - Montréal / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207987
University of Montreal
person_outline Vasco Sousa's MOST POPULAR ARTICLES
1-) Dsltrans: A turing incomplete transformation languageB Barroca, L Lúcio, V Amaral, R Félix, V SousaSoftware Language Engineering: Third International Conference, SLE 2010 …, 2011712011
2-) Structure and behavior preserving statecharts refinementsE Syriani, V Sousa, L LúcioScience of Computer Programming 170, 45-79, 2019132019
3-) Operationalizing the integration of user interaction specifications in the synthesis of modeling editorsV Sousa, E Syriani, K FallProceedings of the 12th ACM SIGPLAN International Conference on Software …, 201992019
4-) Verifying access control in statechartsL Lúcio, Q Zhang, V Sousa, Y Le TraonElectronic Communications of the EASST 50, 201272012
5-) Feedback on how MDE tools are used prior to academic collaborationV Sousa, E Syriani, M PaquinProceedings of the Symposium on Applied Computing, 1190-1197, 201762017