This paper is an introduction to the demonstration sessions for the Precise UML Development Environment (PrUDE). PrUDE is U software V&V platjiorm that inte- grates in a cost-effective way various rigorous sofmare analysis methodologies.
['Issa Traore']
An integrated v&v environment for critical systems development