Vitor Lima
According to our database1,
Vitor Lima
authored at least 6 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Springer, ISBN: 978-3-319-16106-8, 2015
2010
Proceedings of the Software Engineering Research, 2010
2009
J. Object Technol., 2009
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009
Proceedings of the 13th workshop on Aspect-oriented modeling, 2009