alyssonfm
Professor at UFERSA. PhD of Computer Science (UFCG). My research interests are Contract-Based Programs, Software Engineering and Testing.
Federal Rural University of the Semi-Arid region (UFERSA)Pau dos Ferros, RN
Pinned Repositories
compiladoroclgo
Automatically exported from code.google.com/p/compiladoroclgo
contractok
ContractOk is a tool for detecting nonconformances in C# -- Code Contracts systems.
easy-lab-correction
Automatically exported from code.google.com/p/easy-lab-correction
exemplos-teste-software
Repositório para o compartilhamento dos exemplos criados ao longo da disciplina Teste de Software, Universidade Federal Rural do Semi-Árido (UFERSA), Campus Pau dos Ferros.
gcm-classes
jmlok
Tool for detecting and classifying nonconformances in Java/JML projects.
jmlok-old-version1
Automatically exported from code.google.com/p/jmlok-2-tool
jmlok-tool-old
Automatically exported from code.google.com/p/jmlok-tool
mfes-ufersa
Repositório para a disciplina de Métodos Formais de Engenharia de Software
mobilestop
Automatically exported from code.google.com/p/mobilestop
alyssonfm's Repositories
alyssonfm/jmlok
Tool for detecting and classifying nonconformances in Java/JML projects.
alyssonfm/easy-lab-correction
Automatically exported from code.google.com/p/easy-lab-correction
alyssonfm/jmlok-old-version1
Automatically exported from code.google.com/p/jmlok-2-tool
alyssonfm/jmlok-tool-old
Automatically exported from code.google.com/p/jmlok-tool
alyssonfm/mfes-ufersa
Repositório para a disciplina de Métodos Formais de Engenharia de Software
alyssonfm/compiladoroclgo
Automatically exported from code.google.com/p/compiladoroclgo
alyssonfm/contractok
ContractOk is a tool for detecting nonconformances in C# -- Code Contracts systems.
alyssonfm/exemplos-teste-software
Repositório para o compartilhamento dos exemplos criados ao longo da disciplina Teste de Software, Universidade Federal Rural do Semi-Árido (UFERSA), Campus Pau dos Ferros.
alyssonfm/gcm-classes
alyssonfm/mobilestop
Automatically exported from code.google.com/p/mobilestop
alyssonfm/PokerTop
A poker system build verified with formal methods and tools (BONc, JML ,ESC/JAVA2)
alyssonfm/projetoredes20101-alysson-felipe
Automatically exported from code.google.com/p/projetoredes20101-alysson-felipe
alyssonfm/pyfighter
PyFighter
alyssonfm/si1-imhere-grupoh
Automatically exported from code.google.com/p/si1-imhere-grupoh
alyssonfm/util
This repository contains some small tools to help me in others projects
alyssonfm/Verification-using-JML
A simple android application is verified using Java Modelling Language