Travelled to:1 × Spain
1 × USA
Collaborated with:M.E.Delamaro L.Baresi F.C.M.Souza A.C.C.d.Santos E.Francine V.R.T.Ferraz
Talks about:formal (3) map (3) use (2) uml (2) experiment (1) cartograph (1) systemat (1) generat (1) themat (1) tempor (1)
Person: Vinícius Pereira
DBLP: Pereira:Vin=iacute=cius
Contributed to:
2015
2013Wrote 3 papers:
- ICEIS-v2-2015-PereiraBD #formal method #uml
- Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
- ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using
- Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
- SEKE-2013-SouzaSPFF #case study #generative #using
- Generation of Thematic Maps using WPS-Cartographer: An experimental study (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.