MC 05 - Java Modeling Language - JML
 M�rcio Lopes (UFPE) |
 Rohit Gheyi (UFCG) |
 Tiago Massoni (UFCG) |
 Henrique Reb�lo (UFPE) |
Wednesday, September 29, 2010 (08:30-12:00) |
Java Modeling Language (JML) � uma linguagem de especifica��o comportamental de interfaces que � amplamente utilizada em pesquisas acad�micas que lidam com ferramentas para m�todos formais que trabalham com Java. JML � utilizada como uma linguagem de contratos que prov� especifica��es detalhadas de designs de programas Java, frameworks e bibliotecas de classe. Designs detalhados incluem, por exemplo, pr�- e p�s-condi��es para m�todos e invariantes de objeto. Participantes sair�o do mini-curso com entendimento do uso de especifica��es em engenharia e design de software, um conhecimento b�sico da linguagem de especifica��o JML e ser� conhecedor das principais ferramentas dispon�veis para a linguagem JML, em particular a suite de ferramentas de JML (incluindo o compilador cl�ssico de JML), ajmlc (um compilador alternativo para JML que usa orienta��o a aspectos para checar contratos) e o ESC/Java2. Instrutores:
- M�rcio Lopes Corn�lio obteve o t�tulo de bacharel em Ci�ncia da Computa��o pela Universidade Federal da Para�ba (1996), mestrado (1998) e doutorado (2004) em Ci�ncia da Computa��o pela Universidade Federal de Pernambuco. Atualmente � professor no Centro de Inform�tica da Universidade Federal de Pernambuco. Seus interesses em pesquisa envolvem m�todos formais para Engenharia de Software, transforma��o de programas e refatora��o.
- Rohit Gheyi obteve o t�tulo de bacharel em Ci�ncia da Computa��o pela Universidade Federal da Para�ba (2001), mestrado (2004) e doutorado (2007) em Ci�ncia da Computa��o pela Universidade Federal de Pernambuco. Atualmente � professor no Departamento de Sistemas e Computa��o da Universidade Federal de Campina Grande. Seus interesses em pesquisa envolvem m�todos formais para Engenharia de Software, refatora��o e linha de produto de software.
- Tiago Massoni � professor do Departamento de Computa��o e Sistemas da Universidade Federal de Campina Grande. Seus interesses em pesquisa incluem design e evolu��o de software, e m�todos formais. Adicionalmente, Tiago trabalhou como programador na IBM Calif�rnia. Possui doutorado em Ci�ncia da Computa��o pela Universidade Federal de Pernambuco e � membro da ACM.
- Henrique Reb�lo � estudante de doutorado pelo centro de inform�tica da Universidade Federal de Pernambuco (UFPE), em coopera��o com a Universidade da Central Florida (UCF), USA. Obteve o t�tulo de mestre em Engenharia da Computa��o pela Universidade de Pernambuco (UPE), em Maio de 2008. Seus interesses em pesquisa envolvem desenvolvimento de software orientado a aspectos, projeto por contrato, especifica��o e verifica��o de software, arquitetura de software, linha de produtos, engenharia de software emp�rica e linguagens de programa��o.
