Multiformalism in specification : Some industrial experiences have been carried out to apply a multi-paradigms or multiviews in systems development. Several projects have been implemented and mainly ,

	- Integration of partial specification for embedded avionics systems (SDL, Specific Aerospatiale Language and Statecharts)

	- Formal and semi-formal specification with Statecharts and VDM