This is your work, valued

Pau dos Ferros, RN

Alysson Milanez

Advanced
@alyssonfm

Professor at UFERSA. PhD of Computer Science (UFCG). My research interests are Contract-Based Programs, Software Engineering and Testing.

sites.google.com/site/alyssonfilgueira

jmlok. Tool for detecting and classifying nonconformances in Java/JML projects.

4

easy-lab-correction. Automatically exported from code.google.com/p/easy-lab-correction

1

jmlok-old-version1. Automatically exported from code.google.com/p/jmlok-2-tool

1

mfes-ufersa. Repositório para a disciplina de Métodos Formais de Engenharia de Software

1

jmlok-tool-old. Automatically exported from code.google.com/p/jmlok-tool

1