msc-ufpe-thesis. 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.