Vitor Lima

Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages

Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb et al. · Electronic Notes in Theoretical Computer Science · 2009 · 64 citations · Full text

Computing, Computer Engineering, Computer Science +17

Usability of Security Specification Approaches for UML Design: A Survey.

Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima et al. · The Journal of Object Technology · 2009 · 16 citations · Full text

Computing, Computer Science, Design +13

Weaving security aspects into UML 2.0 design models

Djedjiga Mouheb, Chamseddine Talhi, Vitor Lima et al. · 2009 · 16 citations

Computing, Computer Science, Computer Security +15

Variability of Total Carotenoids in C. moschata Genotypes

Lucía María Jaeger de Carvalho, J. L. V. de Carvalho, Vitor Lima · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2015 · 11 citations · Full text

Agriculture, Biochemistry, Nutritional Sciences +15