2013 III Brazilian Symposium on Computing Systems Engineering