Download

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)

JSTL

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?

http://del.icio.us/placido.neto

Research

Software Engeneering
Formal Methods
Object Oriented Programming
Aspect Oriented Programming
Compilers
JML - Java Modeling Language
JCML - Java Card Modeling Language

Other Areas

Theology
Philosophy
Sociology

Tools

Events 2008