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)
Pour surmonter les limites inhérentes aux deux approches classique et formelle de développement des logiciels complexes, nous avons proposé une approche hybride combinant l'approche formelle (Event-B) et l'approche classique (UML/OCL). Les phases en amont de notre approche comportent : Réécriture du cahier des charges, Stratégie de raffinement,(More)
  • 1