O ex-aluno e professor da Barros Melo, Henrique Rêbelo, participou, no dia 10 de novembro, em Atlanta (USA), do workshop Specification and Verification of Component-Based Systems (SAVCBS 2008). Durante o evento, Henrique apresentou o artigo “JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ”. De acordo com o professor, o artigo é baseado nos resultados da sua tese de Mestrado concluída na Universidade de Pernambuco (UPE). “No artigo explico como representar as construções de JML (Um linguagem de especificação formal para Java) utilizando AspectJ (uma linguagem orientada a aspectos para Java)" disse.
Em seguida, Henrique viajou para a Florida, onde foi convidado pelo professor University of Central Florida (UCF), Gary Leavens, para dar uma palestra sobre “An Aspect-Oriented Approach to implement JML Features”. O debate aconteceu no dia 17 de novembro e tratou do uso de aspectos com AspectJ para representar as construções da linguagem de JML.
voltar
