BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pereira:Vin=iacute=cius

Contributed to:

ICEIS v2 20152015
SEKE 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.