Veuillez utiliser cette adresse pour citer ce document : http://dspace1.univ-tlemcen.dz/handle/112/12864
Affichage complet
Élément Dublin CoreValeurLangue
dc.contributor.authorBEMRAH, Fatima Zohra-
dc.contributor.authorKHERBOUCHE, Meriem-
dc.date.accessioned2018-09-12T08:21:29Z-
dc.date.available2018-09-12T08:21:29Z-
dc.date.issued2018-06-25-
dc.identifier.otherMS-003-
dc.identifier.urihttp://dspace.univ-tlemcen.dz/handle/112/12864-
dc.descriptionRequirements engineering presents many challenges for researchers as software systems become more complex and their implementation requires more rigorous modeling approaches. Our goal is to combine requirements engineering methods with formal specification and verification methods. The idea is to propose an extension of the SYSML model by existing concepts in the field of requirements engineering and then to implement the transformation rules of this SYSML extension to formal B specifications to verify the architecture of the system.en_US
dc.description.abstractL’ingénierie des exigences présente de nombreux défis pour les chercheurs car les systèmes logiciels deviennent de plus en plus complexes et leur mise en oeuvre demande des approches de modélisation plus rigoureuses. Notre but est de Combiner des méthodes d’ingénierie des exigences avec des méthodes formelles de spécification et de vérification. L’idée est de proposer une extension du modèle SYSML par des concepts existants dans le domaine de l’ingénierie des exigences puis d’implémenter les règles de transformation de cette extension SYSML vers des spécifications B formelles pour vérifier l’architecture du système.en_US
dc.language.isofren_US
dc.publisher12-09-2018en_US
dc.subjectvérification, modélisation, méthode B, SysML, diagramme de bloc de définition, diagramme d’exigencesen_US
dc.subjectverification, modeling, method B, SysML, Block Definition Diagram, Requirement Diagram.en_US
dc.titleVérification des architectures systèmes basées sur SysML à l’aide de la méthode B.en_US
dc.typeThesisen_US
Collection(s) :Master MID

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
Verification-des-architectures-systemes-basees.pdfCD2,69 MBAdobe PDFVoir/Ouvrir


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.