Formalisation D'exigences Sysml Relatives Aux Diagrammes D’activités.
Résumé: La formalisation des exigences est une activité primordiale pour la vérification des systèmes complexes. Cette étape de formalisation pose un défi majeur pour les analystes SysML. Ce travail propose une formalisation des exigences SysML relatives aux diagrammes d’activités. Les exigences SysML sont exprimées en AcTRL puis translatées automatiquement vers le langage de la logique temporelle LTL tout en préservant une traçabilité au niveau des diagrammes d’exigences SysML. Des outils permettant de supporter cette activité de formalisation sont implémentés dans ce travail
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
