A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
An integrated v&v environment for critical systems development
Proceedings Fifth IEEE International Symposium on Requirements Engineering
Preserved Fulltext
This paper is an introduction to the demonstration sessions for the Precise UML Development Environment (PrUDE). PrUDE is a software V&V platform that integrates in a cost-effective way various rigorous software analysis methodologies.
doi:10.1109/isre.2001.948587
dblp:conf/re/Traore01
fatcat:y2lomk3x4bd5zdstewlwkyzbiy