Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
Cette carte conceptuelle, cree avec IHMC CmapTools, contient des informations liees a : 02_LOG670-H2011, langages formels langages existants logique temporelle, UML, OCL et USE constitue une façon de spécifier un système, langage propositionnel comment s'effectue le passage? logique du 1er ordre, méthodes formelles de développement permettent de comparer les assertions dans le système concret, les assertions dans le système concret si le langage respecte une sémantique axiomatique, une famille à faire en utilisant le document, spécification formelle permettent parfois de générer du code, UML permet de produire diagrammes de classes, USE avec OCL, Exemples introductifs modèle 1 club vidéo simpliste, le comportement du système concret si le langage respecte une sémantique opérationnelle, des contraintes afin de restreindre instanciations, raisonnement logique sur des propositions, des propositions provenant de spécification formelle, des diagrammes de séquences que l'on peut comparer avec diagrammes de séquences, logique modale comment s'effectue le passage? logique temporelle, langages formels langages existants logique du 2e ordre, méthodes formelles de développement permettent de comparer le comportement du système concret, OCL permet d'écrire des contraintes, spécification formelle permet de faire des vérifications formelles