Sherlock!
An educational software used to teach English and Portuguese. Designed and implemented
with David Carraher and André Santos. A
commercial version was produced and is distributed by Editora SENAC (R. Dr. Vila Nova 228,
CEP 01222-903, São Paulo, Brazil. E-mail: senacpie@fpsp.fapesp.br).
FOOPS Proof Assistant and Simulator
A symbolic simulator and a theorem proving tool used to support the process of proving
refinement of concurrent object-oriented programs in FOOPS.
VDM to Lazy ML Translator
A rapid prototyping tool used to animate VDM specifications. More details are given in
the following article:
Paulo Borba and Silvio Meira. A system for translating executable VDM specifications
into Lazy ML. Software-Practice & Experience, 27(3):271-289, March 1997. (Preprint)