International audienceLa norme STEP a pour objet de standardiser des modèles de données par métier. Ce standard a développé un procédé de validation de la conformité des modèles dans lequel l'instanciation est un composant essentiel : un modèle est valide si un ensemble d'instances conformes au modèle est jugé sémantiquement correct par un expert du domaine. Appliqué à la métamodélisation, cette approche permet de construire et de valider les métamodèles par ranements successifs. Cette méthode est utilisée dans l'environnement Platypus qui intègre un outillage STEP dans un système Squeak
Les applications de commande présentent un caractère distribué qui s'accompagne de forts besoins de ...
Méthodes de validation de protocoles de sécurité -- Spécification de protocoles de sécurité -- Modèl...
89 p. : ill. ; 30 cmLe travail présenté dans ce mémoire est consacré principalement à l’élaboration ...
International audienceLa norme STEP a pour objet de standardiser des modèles de données par métier. ...
National audienceLes modèles de patrons de sécurité ont été proposés comme des solutions méthodologi...
International audienceLa validation des modèles d’évaluation intégrée constitue un défi important de...
International audienceUne machine électrique utilisée pour un entraînement à vitesse variable est gé...
International audienceLa validation des modèles d’évaluation intégrée constitue un défi important de...
International audienceDans le cadre d'un projet européen et en vue d'une application au pronostic de...
La validation des modèles d’évaluation intégrée constitue un défi important de la recherche pluri- e...
International audienceL’ingénierie des modèles (IDM) prone l’utilisation de modèles tout au long du ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
International audienceDans cet exposé, je rappelle que la question de la validation des modèles comp...
60 p. , ill. , 30 cmLe Domaine des procédés logiciels est vaste et les procédés logiciels sont intri...
Rapport de contrat.Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du con...
Les applications de commande présentent un caractère distribué qui s'accompagne de forts besoins de ...
Méthodes de validation de protocoles de sécurité -- Spécification de protocoles de sécurité -- Modèl...
89 p. : ill. ; 30 cmLe travail présenté dans ce mémoire est consacré principalement à l’élaboration ...
International audienceLa norme STEP a pour objet de standardiser des modèles de données par métier. ...
National audienceLes modèles de patrons de sécurité ont été proposés comme des solutions méthodologi...
International audienceLa validation des modèles d’évaluation intégrée constitue un défi important de...
International audienceUne machine électrique utilisée pour un entraînement à vitesse variable est gé...
International audienceLa validation des modèles d’évaluation intégrée constitue un défi important de...
International audienceDans le cadre d'un projet européen et en vue d'une application au pronostic de...
La validation des modèles d’évaluation intégrée constitue un défi important de la recherche pluri- e...
International audienceL’ingénierie des modèles (IDM) prone l’utilisation de modèles tout au long du ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
International audienceDans cet exposé, je rappelle que la question de la validation des modèles comp...
60 p. , ill. , 30 cmLe Domaine des procédés logiciels est vaste et les procédés logiciels sont intri...
Rapport de contrat.Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du con...
Les applications de commande présentent un caractère distribué qui s'accompagne de forts besoins de ...
Méthodes de validation de protocoles de sécurité -- Spécification de protocoles de sécurité -- Modèl...
89 p. : ill. ; 30 cmLe travail présenté dans ce mémoire est consacré principalement à l’élaboration ...