Descripteur
Documents disponibles dans cette catégorie (162)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués / P. Dhaussy in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
[article]
Titre : Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Type de document : Article/Communication Auteurs : P. Dhaussy, Auteur ; F. Boniol, Auteur Année de publication : 2007 Article en page(s) : pp 133 - 157 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] architecture orientée modèle
[Termes IGN] bibliothèque logicielleMots-clés libres : Context Description Langage CDL Résumé : (Auteur) L'article présente la définition et l'exploitation d'un concept d'unité de preuve comme élément encapsulant les données nécessaires à la preuve de propriétés sur un modèle de système à vérifier et plongé dans un environnement. Les modèles des unités, manipulées dans le processus de développement, peuvent être construits sous la forme de modèles abstraits à partir des données fournies par les phases d'analyse et de conception du système. Ces modèles intègrent des contextes de preuve abstraits. Ceux-ci modélisent formellement une exigence (ou une composition d'exigences) de sûreté ou vivacité bornée dans un contexte comportemental donné. Dans une approche IDM, les contextes de preuve sont traduits par transformation en modèles concrets puis en codes exploitables par des outils d'analyse formelle. Nous expérimentons cette approche sur une implantation des unités de preuve intégrant une description des contextes de preuve dans un langage nommé CDL et exploités par un outil OBP (Observer-Based Prover) mettant en oeuvre le langage IF et une technique de vérification par observateur Numéro de notice : A2007-613 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28976
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 133 - 157[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-07051 RAB Revue Centre de documentation En réserve L003 Disponible vol 12 n° 5 - septembre - octobre 2007 - Modèles et espace technologique des sytèmes d'information (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / T. Millan
[n° ou bulletin]
est un bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI (2001 -)
Titre : vol 12 n° 5 - septembre - octobre 2007 - Modèles et espace technologique des sytèmes d'information Type de document : Périodique Auteurs : T. Millan, Éditeur scientifique ; I. Ober, Éditeur scientifique Année de publication : 2007 Importance : 145 p. Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] gestion des connaissances (organisation)
[Termes IGN] implémentation (informatique)
[Termes IGN] modèle conceptuel de données
[Termes IGN] système d'information
[Termes IGN] système de gestion de bases de données relationnellesNuméro de notice : 093-0705 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Numéro de périodique Permalink : https://documentation.ensg.eu/index.php?lvl=bulletin_display&id=10216 [n° ou bulletin]Contient
- Un formalisme pour la gestion des connaissances : approche ingénierie dirigée par les modèles / T.L.A. Dinh in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
- Remodélisation de l'architecture d'un système d'information / P. Dugerdil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
- Aspect de la réingénierie des modèles UML par analyse de données relationnelles / M. Rouane in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
- Modélisation conceptuelle des IHM : une approche globale s'appuyant sur les processus métier / A. Brossard in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
- Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués / P. Dhaussy in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-07051 RAB Revue Centre de documentation En réserve L003 Disponible Modélisation conceptuelle des IHM : une approche globale s'appuyant sur les processus métier / A. Brossard in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
[article]
Titre : Modélisation conceptuelle des IHM : une approche globale s'appuyant sur les processus métier Type de document : Article/Communication Auteurs : A. Brossard, Auteur ; C. Kolski, Auteur ; M. Abed, Auteur Année de publication : 2007 Article en page(s) : pp 69 - 108 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] gestion de processus d'organisation
[Termes IGN] interface utilisateur
[Termes IGN] modèle conceptuel de donnéesRésumé : (Auteur) La modélisation conceptuelle des IHM est un élément essentiel pour arriver à une ingénierie dirigée par les modèles capable de prendre en charge un grand nombre de types d'applications. S'il est possible de trouver aujourd'hui des méthodes de modélisation des IHM capables de prendre en compte la modélisation de niveau conceptuelle, celles-ci sont bien souvent difficiles d'accès à travers l'utilisation de formalismes spécifiques qui ne facilitent pas les échanges avec les experts métier. Or ce sont les personnes les plus à même de définir ces modèles et de les valider. Pour répondre à cette problématique, nous avons défini les bases d'une méthode de modélisation des IHM qui, en s'appuyant sur les processus métier, permet de faciliter la communication entre les informaticiens et les experts métier. Copyright Lavoisier Numéro de notice : A2007-612 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28975
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 69 - 108[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-07051 RAB Revue Centre de documentation En réserve L003 Disponible Remodélisation de l'architecture d'un système d'information / P. Dugerdil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)
[article]
Titre : Remodélisation de l'architecture d'un système d'information Type de document : Article/Communication Auteurs : P. Dugerdil, Auteur Année de publication : 2007 Article en page(s) : pp 11 - 37 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] architecture de système
[Termes IGN] architecture orientée modèle
[Termes IGN] documentation de logiciel
[Termes IGN] maintenance
[Termes IGN] mise à jour de logicielRésumé : (Auteur) L'ingénierie des systèmes d'information basée sur les modèles est une approche prometteuse pour le développement de nouveaux systèmes. Cependant, cette approche est tout aussi intéressante pour la rénovation des anciens systèmes (le patrimoine logiciel existant). Un écueil important toutefois est que ces systèmes ne sont en général pas documentés et quand ils le sont, la documentation n'est pas à jour. Il s'agit donc, avant toute rénovation, de procéder à une remodélisation de ces systèmes. Dans cet article, nous présentons une approche de remodélisation des systèmes d'information basée sur le Processus Unifié et l'analyse dynamique. Cette approche est illustrée par un exemple de remodélisation d'un progiciel de gestion. Numéro de notice : A2007-610 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28973
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 11 - 37[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-07051 RAB Revue Centre de documentation En réserve L003 Disponible vol 12 n° 4 - juillet - août 2007 - Conception des systèmes d'information : patrons et spécifications formelles (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / J.M. Pinon
[n° ou bulletin]
est un bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI (2001 -)
Titre : vol 12 n° 4 - juillet - août 2007 - Conception des systèmes d'information : patrons et spécifications formelles Type de document : Périodique Auteurs : J.M. Pinon, Éditeur scientifique ; Chantal Soulé-Dupuy, Éditeur scientifique Année de publication : 2007 Importance : 145 p. Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] implémentation (informatique)
[Termes IGN] modèle conceptuel de données
[Termes IGN] spécification de produit
[Termes IGN] système d'informationNuméro de notice : 093-0704 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Numéro de périodique Permalink : https://documentation.ensg.eu/index.php?lvl=bulletin_display&id=10215 [n° ou bulletin]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-07041 RAB Revue Centre de documentation En réserve L003 Disponible vol 12 n° 3 - mai - juin 2007 - Systèmes d'information pair-à-pair (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / Bruno DefudePermalinkvol 12 n° 2 - mars - avril 2007 - Métadonnées et nouveaux SI (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / F. SedesPermalinkMétadonnées et XML : des standards efficients de l'environnement numérique / C. Morel-Pair in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 2 (mars - avril 2007)PermalinkAlgorithmes de notification pour bibliothèques numériques / H. Belhaj Frej in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)PermalinkDécouverte de services basée sur leurs protocoles de conversation / J.C. Corrales in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)PermalinkUn modèle de classement de services par contribution et utilité / C Constantin in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)PermalinkPréservation de la vie privée : recherche de motifs séquentiels dans des bases de données distribuées / V. Kapoor in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)Permalinkvol 12 n° 1 - janvier - février 2007 - Recherche d'information dans les systèmes d'information avancés (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / Dominique LaurentPermalinkvol 11 n° 6 - novembre - décembre 2006 - Elaboration des entrepôts de données (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / E. MétaisPermalinkvol 11 n° 5 - septembre - octobre 2006 - Adaptation et gestion du contexte (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / F. LaforestPermalink