Vinícius Pereira

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Temporally Extended Goals

Modeling Language

Database Design

Top Venues

Publications

Vinícius Pereira, Márcio Eduardo Delamaro
Systematic Mapping - Formalization of UML Semantics using Temporal Logic. ICEIS (2) (2015)
Vinícius Pereira, Luciano Baresi, Márcio Eduardo Delamaro
Mapping Formal Results Back to UML Semi-formal Model. ICEIS (2) (2015)