ATACORA
Overview :
Atacora is a framework
dedicated to multi-facet analysis of software specification.
Given an
input specification in a given specification language, Atacora
generates a corresponding specification in an output language selected
by the user.
Atacora uses an
intermediate formalism, Abstract Transition System, to bridge the
(compatible) input and aoutput specification language.
Atacora Home Page
Christian Attiogbé
