integrated tools < integration < integration de modules de raisonnement

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by integration

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
000417 (2015-08-02)	Rémi Nazin [France] ; Didier Fass [France]	Human Machine Epistemology Survey
000432 (2015-07-26)	Didier Fass [France]	Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture
001C47 (2012-01-17)	Guillaume Moroz [France] ; Boris Aronov [États-Unis]	Computing the Distance between Piecewise-Linear Bivariate Functions
004A12 (2007-01-19)	Nazim Benaissa [France] ; Dominique Cansell [France] ; Dominique Mery [France]	Integration of Security Policy into System Modeling
006889 (2004)	Marie-Dominique Devignes ; Malika Smaïl	Integration of biological data from web resources : management of multiple answers through metadata retrieval
007493 (2003)	Emmanuel Nataf ; Olivier Festor ; Guillaume Doyen	An SMIng-centric proxy agent for integrated monitoring and provisioning
008230 (2002)	Guillaume Doyen	Gestion commune des politiques et de l'administration des réseaux
008411 (2002)	Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG
008600 (2002)	Didier Fass	Éléments d'organisation du complexe Individu - Environnement artefactuel : Évaluation d'un système de réalité virtuelle d'aide à l'action
009987 (2000)	Eric Meyer ; Thomas Santen	Behavioral conformance verification in an integrated approach using UML and B
009B94 (2000)	Nacer Boudjlida ; Malika Smail-Tabbone ; Marie-Dominique Devignes	Services for a Genomics Open Distributed Environment
00A495 (1999)	John Paul Gibson ; Geoff Hamilton ; Dominique Méry [France]	Integration Problems in Telephone Feature requirements
00A662 (1999)	Patrice Lopez ; Jean-Luc Husson	Automates synchronisés pour l'intégration de techniques de reconnaissances de la parole et de compréhension du langage naturel
00A695 (1999)	Eric Meyer ; Jeanine Souquières	A systematic approach to transform OMT diagrams to a B specification
00B931 (1997)	Renato Guimaraes ; André Thomas ; Marie-Claude Portmann	Conception d'une interface logicielle liant la GPAO et la gestion d'atelier
00C181 (1995)	A. Khalfallah	Vers une démarche d'intégration des méthodes du temps réel fondée sur la modélisation du procédé de développement du logiciel
00C382 (1995)	E. Monfroy ; M. Rusinowitch ; R. Schott	Implementing Non-Linear Constraints with Cooperative Solvers
00C485 (1995)	N. Boudjlida	Intégration, Interopérabilité et Evolution des systèmes de données : Application aux environnements logiciels
00C832 (1995)	Eric Monfroy [France] ; Michaël Rusinowitch [France] ; René Schott	Implementing Non-Linear Constraints with Cooperative Solvers
00CB35 (1994)	N. Boudjlida ; O. Perrin	A Formal Framework and a Procedural Approach for Data Interchange
00D078 (1993)	F. Charoy	An Object-Oriented layer on PCTE

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "integration" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "integration" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    integration
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022