Filters








1,381 Hits in 7.0 sec

Programmation fonctionnelle : Le glaneur des cellules centralisé et sa généralisation dans les environnements répartis

T Lemlouma, M Boudina
2001 Revue d Information Scientifique et Technique  
Résumé Différentes manières peuvent être utilisées pour assurer la récupération de l'espace mémoire dans les langages fonctionnels et mêmes dans les langages orientés objets.  ...  , peut être mise en oeuvre dans un environnement ou le seul moyen de communication est l'envoi et la réception de messages.  ...  Les langages fonctionnels La principale caractéristique des langages fonctionnels, est la notion de "fonctions".  ... 
doi:10.4314/rist.v11i1.26705 fatcat:wlkfndigqvbtpheflygn2orace

Ingénierie des exigences de la sécurité informatique : Revue de travaux de recherche de l'élicitation à la spécification

Lamia Ben Hiba, Laila Kjiri
2012 Electronic Journal of Information Technology  
Chaque opération de classe est modélisée comme une opération B dans une machine abstraite. • Modélisation des diagrammes d'états qui se fait en deux étapes, la création d'une opération abstraite B pour  ...  Par ailleurs, la méthode formelle intervient à un stade dans le processus de spécification où la frontière entre le logiciel et son environnement a déjà été établie : les exigences de sécurité sont d'abord  ... 
doaj:edf70a3954044d788e051a6a4d71d082 fatcat:kg7rroakxfcqtefscrukic37ly

Les nouvelles technologies, voie royale pour améliorer l'apprentissage des sciences par l'image ?

R. LOWE
1996 Aster  
essentielle pour que les outils informatiques améliorent l'apprentissage des sciences à partir de schémas.  ...  R étudie les différentes façons dont les principes dérivés de la psychologie cognitive pourraient être appliqués au traitement classique et au traitement informatique des schémas scientifiques, dans le  ...  dans les différents domaines scientifiques constitue un type de langage qui exige souvent une considérable expertise interprétative.  ... 
doi:10.4267/2042/8650 fatcat:t2jmmxek35dsxcnucokzbg4i5m

Approche pour un meilleur alignement des processus métiers. De la modélisation à l'implémentation

Jean-Stéphane Ulmer, Jean-Pierre Belaud, Jean-Marc Le Lann
2012 Ingénierie des Systèmes d'Information  
Un non-alignement se crée entre ces modèles hétérogènes lors de leurs manipulations : il s'agit du « fossé métier-TI » tel que décrit dans la littérature.  ...  MOTS-CLÉS : ingénierie de systèmes d'information, ingénierie dirigée par les modèles, alignement de modèles, ingénierie des processus métiers, métamodèles, transformation.  ...  Considérons par exemple BPMN 2 , un langage standard de modélisation de processus d'entreprise, il est centré sur la vue fonctionnelle, mais il permet de représenter les documents émis ou reçus (vue informationnelle  ... 
doi:10.3166/isi.17.4.17-47 fatcat:yxjhcrysk5fpjgshoklqg3eoa4

État de l'art sur le développement logiciel basé sur les transformations de modèles

Samba Diaw, Redouane Lbath, Bernard coulette
2010 Techniques et sciences informatiques  
Pour pouvoir mieux répondre aux attentes des utilisateurs, il est nécessaire de fournir des outils flexibles et fiables pour la gestion automatique des modèles ainsi que des langages dédiés pour leurs  ...  Dans cet article, nous proposons un tour d'horizon sur les travaux récents de l'IDM en mettant l'accent sur la transformation de modèles qui constitue le thème central de cette discipline.  ...  pour être intégrables dans les environnements de développement standard (Eclipse par exemple).  ... 
doi:10.3166/tsi.29.505-536 fatcat:t3fhp7hec5htbebv7kliahhzdm

Intégrer les aspects situés de l'activité dans une ingénierie cognitive centrée sur la situation d'utilisation

Jean-Baptiste Haué
2004 Activités  
Elle permet de fonder une démarche d'ingénierie cognitive centrée sur la situation d'utilisation, qui accompagne la formalisation des connaissances situées dans les modèles pour la conception.  ...  Les approches classiques de conception, notamment en génie logiciel, s'appuient sur une décomposition fonctionnelle de l'artefact, très puissante.  ...  Le fonctionnement de la machine peut également suggérer des améliorations dans la formalisation des besoins.  ... 
doi:10.4000/activites.1285 fatcat:d5g4bet32fe5jinvoidulr5tny

Les mécanismes de l'innovation radicale

Patrick Schumacher
2009 Communications  
La reproduction ou représentation de cet article, notamment par photocopie, n'est autorisée que dans les limites des conditions générales d'utilisation du site ou, le cas échéant, des conditions générales  ...  Distribution électronique Cairn.info pour Le Seuil. © Le Seuil. Tous droits réservés pour tous pays.  ...  de l'action d'hier dans les expériences et les interprétations d'aujourd'hui 6 .  ... 
doi:10.3917/commu.085.0171 fatcat:dgb6l2az2bcnnatjyf7fbekhly

Complexité des systèmes d'information et de leur ingénierie

Jean-Pierre Giraudin
2006 Electronic Journal of Information Technology  
Dans la mesure où un diagramme est une représentation d'une description pour capturer une sémantique partielle d'un système, il est souhaitable pour éviter des interprétations divergentes d'associer clairement  ...  Cette dissymétrie de navigation ne doit pas conduire à supprimer les cardinalités du rôle inverse ce qui nuirait à une bonne interprétation de l'association : la référence ou le pointeur dans un langage  ... 
doaj:b6dbf6a8127948a389b23048a82e7fd6 fatcat:4qwbcpxh7ng7hjwwrvdvyluxdu

Formalisation de la sémantique des langages iconiques. Méthode à base d'ontologie et applications

Jean-Baptiste Lamy, Lina Soualmia, Catherine Duclos, Alain Venot
2016 Revue d'intelligence artificielle : Revue des Sciences et Technologies de l'Information  
Les langages iconiques permettent de représenter des concepts par la combinaison de primitives graphiques (couleurs, pictogrammes...).  ...  Cette méthode a initialement été développée pour le langage iconique VCM (Visualisation des Concepts en Médecine), qui permet de représenter par des icônes les principaux concepts médicaux (antécédents  ...  Remerciements Ce travail a été en partie financé par l'ANR (Agence Nationale de la Recherche) au travers des projets de recherche L3IM (ANR-08-TECS-007) et SiFaDo (ANR-11-TECS-0014).  ... 
doi:10.3166/ria.30.579-606 fatcat:q3gowt2flfez3ih3i2bqiojf5m

Towards autonomic enterprise service bus

Denis Morand, Issac Garcia, Philippe Lalanda
2011 Proceedings of the 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing - MAASC '11  
est décrite dans un langage spécifique qui est interprété par le coordinateur. Ce langage, graphique ou textuel, permet de décrire les services composés.  ...  Le nombre de lien nécessaire pour avoir une connectivité complète dans un environnement d'intégration comprenant n applications est donnée par la formule suivante : n(n − 1) 2 Dans des environnements réels  ... 
doi:10.1145/2034649.2034652 fatcat:iawmxpl3xzd23kvrnlkxrdkuyy

Programmation par objets structurée en contextes

Olivier Caron, Bernard Carré, Alexis Muller
2007 L objet  
Par exemple, les objets circuits ( Circuit ) prennent ici part dans la totalité des fonctions du système. Il en est de même pour les objets représentant des portes logiques ( Gate ).  ...  Par la suite, nous voulons rendre compte de ces deux axes de structuration et de leur articulation dans la description d'un système d'objets afin d'en améliorer la modularité.  ...  Remerciements Nous remercions les quatre rapporteurs anonymes pour la précision de leurs relectures et leurs commentaires constructifs.  ... 
doi:10.3166/obj.13.2-3.11-42 fatcat:rrtx5yo3rre7pjvovkfdyrj5r4

Une approche conduite par les modèles pour le traçage des activités des utilisateurs dans des EIAH hétérogènes

Julien Broisin, Philippe Vidal
2007 STICEF  
Une approche conduite par les modèles pour le traçage des activités des utilisateurs dans des EIAH hétérogènes.  ...  par les modèles pour la gestion des traces d'activité des utilisateurs au sein de systèmes d'apprentissage hétérogènes instrumentés par les technologies Web.  ...  tracé afin de représenter les activités avec une sémantique de plus haut niveau que celle offerte par les fichiers de log, dans le but de rendre les traces plus facilement interprétables (Héraud et al  ... 
doi:10.3406/stice.2007.969 fatcat:ydkgp6d4gngpjl7wxp3t37lm54

De l'importance de la distance entre représentants et « prétendus représentés » dans certaines luttes urbaines : le cas du Sillon de Bretagne

Lucien Nizard
1980 International Review of Community Development  
2 » Il est remarquable que, parfois, lorsque le responsable est en même temps locataire au Sillon, deux langages différents se juxtaposent, celui du représentant : abstrait, fonctionnel, cohérent, rassurant  ...  De l'importance de la distance entre représentants et « prétendus représentés » dans certaines luttes urbaines : le cas du Sillon de Bretagne L.  ... 
doi:10.7202/1035058ar fatcat:yzfrq546dbgrvazpre3xxlbi2u

La littératie sans l'école : à la recherche des effets intellectuels de l'écriture

Sylvia Scribner, Michael Cole
2010 Langage et société  
La reproduction ou représentation de cet article, notamment par photocopie, n'est autorisée que dans les limites des conditions générales d'utilisation du site ou, le cas échéant, des conditions générales  ...  pour Éditions de la Maison des sciences de l'homme. © Éditions de la Maison des sciences de l'homme.  ...  Greenfield a interprété ces résultats comme des mesures d'une aptitude générale à la pensée abstraite, indépendante du contexte, attestée chez les seuls enfants scolarisés.  ... 
doi:10.3917/ls.133.0025 fatcat:a6v6hcd23rboxf2htprfxickm4

INDIGO

Renaud Blanch, Michel Beaudouin-Lafon, Stéphane Conversy, Yannick Jestin, Thomas Baudel, Yun Peng Zhao
2005 Proceedings of the 17th conference on 17ème Conférence Francophone sur l'Interaction Homme-Machine - IHM 2005  
Le projet INDIGO vise à concevoir une nouvelle génération d'outils pour le développement d'applications graphiques interactives distribuées.  ...  Le rendu graphique et l'interaction peuvent ainsi être optimisés en fonction des périphériques disponibles et du contexte.  ...  COMPARAISON AVEC L'ETAT DE L'ART De nombreux modèles, architectures logicielles et boîtes à outils ont été proposés pour séparer le code fonctionnel de la description des interactions et du rendu dans  ... 
doi:10.1145/1148550.1148568 dblp:conf/ihm/BlanchBCJBZ05 fatcat:b7g6qrpjgbelhguarxbrovtlte
« Previous Showing results 1 — 15 out of 1,381 results