Eu sei que voce me querMas voce merece meu amor? tinha uma namorada, mas ele ja estava enjoado dela, porque ela sempre demonstrava carinho por ele mandando mensagens que diziam: sinto sua falta, ou eu te amo. Uma certa noite antes de ir se deitar, recebeu uma mensagem dela, m...as ao inves de ler foi dormir. De manha acordou com uma ligacao da mae da sua namorada chorando dizendo que a mesma tinha sido morta na noite anterior. Ele desligou e ficou chocado com toda a situacao, e foi ler a mensagem que ela havia mandado, que dizia Amor, vem rapido. Acho que tem alguem me seguindo.Moral da Historia: Nunca rejeites aquele que te ama e se preocupa contigo. Porque um dia iras perceber que perdes-te a lua enquanto contava as estrelas... Eu,? do fundo do meu coracao, tenho um orgulho absurdo de ser quem eu sou. Nao vou dizer que e facil, e que nunca deu vontade de desistir, mas valeu muito mais a pena continuar. Enquanto a justica de Divina nao chega, vou fazer voce pagar com a minha mesmo. (6' . Eu tambem sei esquecer, tambem sei ignorar e tambem consigo machucar. e eu consigo fazer da sua vida um inferno. que uma mulher descobre que e capaz de sobreviver mesmo quando esta morrendo de amor. Ela aprende a nao ter mais medo de dizer adeus pra quem nao merece ficar. Estou adicionando a especificacao do CICS, descrita no artigo:Mecanizando o componente de navegacao do IBMs CICS: um experimento do Grande Desafio."Mechanising IBM's CICS Browser Component: An experiment of the Grand Challenge" in ERBASE 2009. Original title: Mecanizando o componente de navegacao do IBMs CICS: um experimento do Grande Desafio.Documento original: ftp://ftp.cs.york.ac.uk/pub/leo/mefes/cics/z-refinement/Article/Artigo: https://dl.dropboxusercontent.com/u/11299884/Papers/erbase-09.pdfSpecification/Especificacao: http://dl.dropbox.com/u/11299884/ZEves/Specification.zip Estou adicionando o material do mini-curso que ocorreu no inicio desta anona ERBASE 2010 (Escola Regional de Computacao - Bahia, Alagoas, Sergipe)em Maceio-AL.Os slides do mini-curso realizado na ERBASE 2010 encontram-se em:http://dl.dropbox.com/u/11299884/Minicurso/Minicurso.pdfOs arquivos do experimento usado no mini-curso estao em:http://dl.dropbox.com/u/11299884/Minicurso/spec-filesystem-erbase2010.zip Nowadays I'm a first-year PhD student in Computer Science at Newcastle University. Previously, I did a MSc at the Federal University of Pernambuco (UFPE, 2012 - Brazil) under supervision of Juliano Iyoda, and a BSc in Computer Science at the Federal University of Bahia (UFBA, 2010 - Brazil) with conclusion work under supervision of Adolfo Duran and Aline Andrade. You can find and download some the papers I published through links on my Research Gate's profile. More details about me are available at my profissional profile in Linkedin.My master's dissertation title is Behavioural Preservation in Fault Tolerant Patterns and can be download from here. In order to read just the abstract, see this post. During the masters I published part of the disseration on the 14th Brazilian Symposium on Formal Methods (link). An extended version of this paper is under revision for publication in the Science of Computer Programming Journal.My BSc's dissertation is entitled Formal Verification of the Scheduler and Synchronous Message System of a Simple Kernel (original title: Verificacao formal do escalonador e do sistema de troca de mensagens sincronas de um simple kernel)