FGA tool

graphical editor helping to you prepare visual specifications

support Formally Grounded Method Software Specification

Christine Choppy (a) Gianna Reggio (b)

(a) LIPN, Institut Galilee - Universite Paris XIII, France

(b) DISI, Universit di Genova, Italy