• Aucun résultat trouvé

[PDF] Top 20 Composants et modèles pour l’ingénierie des systèmes d’information

Has 8255 "Composants et modèles pour l’ingénierie des systèmes d’information" found on our website. Below are the top 20 most common "Composants et modèles pour l’ingénierie des systèmes d’information".

Composants et modèles pour l’ingénierie des systèmes d’information

Composants et modèles pour l’ingénierie des systèmes d’information

... des modèles autour d’un ensemble de standards comme le MOF, XMI, OCL, UML, CMW, SPEM, QVT , ...des systèmes et des ...les modèles qui en ...des modèles plus ... Voir le document complet

240

Des hyperclasses aux composants pour l'ingénierie des systèmes d'information - RERO DOC

Des hyperclasses aux composants pour l'ingénierie des systèmes d'information - RERO DOC

... Résumé Nous proposons un cadre conceptuel pour l’ingénierie des systèmes d’information (SIs) par composants. Ce cadre est basé sur les concepts d’hyperclasse et de composant de SI. Le concept d’hyperclasse ... Voir le document complet

279

Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?

Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?

... Les solutions reposent actuellement soit sur une refonte compl` ete des IHM, soit sur une juxtaposition des IHM de chaque si. Dans le cas d’une refonte, les choix de conception sont totalement revus et repens´ es. Une ... Voir le document complet

33

Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE

Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE

... de composants formant l’architecture d’un système embarqué, est standardisé par SAE International ...aux systèmes avioniques et spatiaux, et un mécanisme avancé de gestion de propriétés non ...des ... Voir le document complet

6

2012 — Une méthode d'agrégation de composants logiciels dirigée par les métadonnées et les modèles

2012 — Une méthode d'agrégation de composants logiciels dirigée par les métadonnées et les modèles

... des composants ainsi que les processus de développement des systèmes à base de composant (section ...les composants sont traduites sous la forme de contrats de ...de composants s‟implémente à ... Voir le document complet

308

Ingénierie d'entreprise et de système d'information dirigée par les modèles : quels usages ?

Ingénierie d'entreprise et de système d'information dirigée par les modèles : quels usages ?

... Chen D. (2005). "Modélisation d’entreprise pour l’intégration et l’interopérabilité des systèmes industriels." Habilitation à Diriger des Recherches de l’Université Bordeaux. 14 décembre 2005 Goepp V., F. ... Voir le document complet

5

topPROCESS : vers une ingénierie des procédés dirigée par les modèles

topPROCESS : vers une ingénierie des procédés dirigée par les modèles

... des systèmes, la maîtrise des processus du système d’information et des logiciels, une communication ciblée, claire et compréhensible par tous, la réduction du coût de maintenance et d’évolution du système ... Voir le document complet

8

Conception et usage des composants métier processus pour les systèmes d'information

Conception et usage des composants métier processus pour les systèmes d'information

... les modèles conceptuels, produits lors des étapes de spécification fonctionnelle, constituent de véritables productions capitalisables et réutilisables dans le cycle de conception d'un SI à base de ...des ... Voir le document complet

241

Assistance à la validation et vérification de systèmes critiques : ontologies et intégration de composants

Assistance à la validation et vérification de systèmes critiques : ontologies et intégration de composants

... de composants dans un langage de modélisation et du lien avec la vérification com- ...de systèmes logiciels. Le principe est d’utiliser les modèles ou les composants comme les pierres de ... Voir le document complet

195

Un outil d'assistance à la construction de tests de modèles à composants et services

Un outil d'assistance à la construction de tests de modèles à composants et services

... les modèles de composants logiciels basés sur les ...de systèmes logiciels à base de composants et services (Service-based Component ou SBC) et exploitent l’ingénierie dirigée par les ... Voir le document complet

3

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles

... 2.2.6 EAST-ADL EAST-ADL [ 17 ] est un langage architectural spécialisé pour l'automobile. Comme AADL, il couvre aussi bien les aspects logiciels que matériels. Il permet d'exprimer nativement l'aspect comportmental du ... Voir le document complet

176

Ingénierie des modèles pour les applications environnementales

Ingénierie des modèles pour les applications environnementales

... Fin 1999, la Direction Scientifique du Cemagref a retenu l’atelier de génie logiciel Objecteering de la société Softeam comme outil de modélisation et de développement des applications informatiques et des ... Voir le document complet

345

Ingénierie des systèmes orientés services adaptables : Une approche dirigée par les modèles

Ingénierie des systèmes orientés services adaptables : Une approche dirigée par les modèles

... des systèmes orientés services : phases, activités et artefacts SOC se base principalement sur le service comme un élément fondamental pour le développement des systèmes d‟information d‟entreprise ... Voir le document complet

196

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

198

Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique

Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique

... L’analyse!détaillée!des!pratiques!transverses!aux!entreprises!nous!permet!d’identifier!cinq!aspects! du!processus!d’ingénierie!des!exigences!qui!changent!significativement!dans!le!temps:!la!traçabilité,! la! maturité! ... Voir le document complet

234

COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système

COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système

... Notre approche COnfECt peut s’intégrer à GK-tail comme décrit en Figure 2. L’étape Analyse de Traces et Extraction de COnfECt permet de segmenter les traces et d’identifier des composants. Elle est réalisée après ... Voir le document complet

8

Une Forme de Rétro Ingénierie pour Systèmes Multi Agents : explorer l'espace des simulations

Une Forme de Rétro Ingénierie pour Systèmes Multi Agents : explorer l'espace des simulations

... de modèles aléatoires et leur implémentation à partir d’une ontologie spécifiée à l’avance, constituée d’interactions génériques que nous pouvons affecter à des familles ...les modèles sous-jacents puis ... Voir le document complet

11

Electroperméabilisation de systèmes modèles

Electroperméabilisation de systèmes modèles

... plication d’un champ électrique à travers la membrane et le réarrangement du réseau interfacial de molécules d’eau associé [Lopez 88]. L’électrofusion est une manière très commode de contrôler, spatiale- ment comme ... Voir le document complet

236

Spécification et vérification formelles des systèmes de composants répartis

Spécification et vérification formelles des systèmes de composants répartis

... In addition a permissive labelling discipline allows a variety of annotations on all distinct elements: states, transitions, automata and networks as a whole. It is through this labelling that behavioural action labels ... Voir le document complet

199

Négociation de contrats dans les systèmes à composants logiciels hiérarchiques

Négociation de contrats dans les systèmes à composants logiciels hiérarchiques

... de composants, un catalogue permettant de décrire les attributs de qualité issus de divers domaines et transposables aux composants logiciels [ Brahnmath et ...les composants logiciels ainsi que des ... Voir le document complet

200

Show all 8255 documents...