one of my interests is all sort of software reengineering, and sick of looking for tools, i found moose.
How many of you are using Moose? For which purpose?
I don't know if they at the facultad de ingeniería are aware of moose, posibly some of them, some of them use coq and the like for program-theorem demostration, but that's in scheme , not in smalltalk. I'd like to get some time to be able to make moose analyze my own software. I haven't yet.