Bridging the gap between visual design and formal specification Conference

cited authors

  • Arefi, F; Milani, M; Freund, R; Stary, C

fiu authors


  • 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.

publication date

  • January 1, 1994

start page

  • 197

end page

  • 207


  • 64


  • 8-1