Section: Software
VerveineJ
Participants : Nicolas Anquetil [correspondant] , Andre Hora.
Web: Inria project https://gforge.inria.fr/projects/verveinej/ .
VerveineJ is a tool to export Java projects into the MSE format, which can then be imported inside Moose (see above). Although VerveineJ is not a research project in itself, it is an important building block for our research in that it allows us to run the Moose platform on legacy Java projects. Another similar tool, Infusion, already existed to fulfil the same needs, but it was closed sources and presented some errors that tainted the results we could obtain.