Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards visual specification languages and design environments. However there is still a gap between formal specification (languages) and their visualization. In this paper, we present a formal modeling approach and a visual language generator system that assist in the design and the maintenance of object-oriented system specification.