Imen Sayar

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The formal approach of software development promotes getting proved correct software. It faces the shortcomings of the classical approach concerning the ambiguity of the requirements document, the risk of errors distributed to all phases and the high testing cost (because of late detection of such errors). However, this approach poses problems mainly(More)
  • 1