Download

Fineshed Works
• Graduation Dissertion - KFM - Knowledge Flow Model
• Master Dissertion- JCML: Java Card Modeling Language

Publications
• Umberto Costa, Anamaria Moreira, Martin Musicante and Plácido Souza Neto. Specification and Runtime Verification of Java Card Programs. In Brazilian Symposium on Formal Methods, SBMF'2008, Salvador, Brazil, 26th-29th October 2008 (To appear) (Preprint PDF, PS)

Talks
• JSTL

Papers Summary
• An Overview of JML Tools and Applications
• Specification of JavaCard API in JML
• Are We Testing For The True Reliability
• CleanRoom Process Model
• Estimating Software Projects
• Software Architecture: A Roadmap
• Where now for Development Methodologies?

Photos
• Master Presentation
• Sidney 1
• Sidney 2
• CEFET Mossoró
• Olinda 1
• Olinda 2
• Extremoz Lake
• Cefet Mossoró Logo