Thesis presented to the Post-Graduation Program in Computer Science Program of Federal University of Pernambuco in partial fulfillment of the requirements for the Master Degree of Computer Science. - View it on GitHub