Docs-en-stock.com
  • Résumé
  • Sommaire
  • Extraits
  • Descriptif
  • À propos de l'auteur
  • Lecture
 

100% garanti

satisfait ou remboursé

UML et MODEL CHECKING

Résumé de l'exposé

Avec l'évolution numérique et informatique, le produit logiciel est devenu de plus en plus complexe et son évolution n'à qu'accroître. Leur développement fait appel à plusieurs techniques et méthodes dont l'objectif est de respecter les délais de développement et de minimiser les coûts. En effet, depuis la crise de génie logiciel dans les années 60s, plusieurs efforts ont été inventés pour améliorer ces techniques et méthodes de développement. Toujours, dont le but de répondre aux critères imposés par le marché du logiciel. Les méthodologies Orientées objet, les langages de programmation, les outils formelles, les ateliers logiciels, sont des variantes des ces efforts.

...

Consultez plus de 91303 études en illimité sans engagement de durée. Nos formules d'abonnement