Academic literature on the topic 'Programmation interface'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programmation interface.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Programmation interface"
1
Laugier, C. "Les apports respectifs des langages symboliques et de la cao en programmation des robots." Robotica 6, no. 3 (July 1988): 243–53. http://dx.doi.org/10.1017/s0263574700004355.
Full textAbstract:
SUMMARYA high-level robot programming language constitutes a general purpose interface for accessing the basic functional capabilities of a robot. On the other hand, CAD facilities give the possibility of using a subset of these capabilities in an easier fashion. In this paper, we show how a robot programming language and CAD facilities can be combined to obtain a robot programming system satisfying the need for generality, and allowing an easy connection with the basic robot programming functions. Such a connection is based on a “complete” simulator providing facilities for executing robot control programs on a graphic display, for describing manipulation tasks using interactive graphic tools, for simulating the physical world and its perception through sensors, and for displaying three-dimensional scenes as shaded pictures.
2
Vandergucht, David. "ZFOREST : UN PROTOTYPE DE PLATEFORME WEB DE COVISUALISATION LIDAR, RASTER ET VECTEUR À GRANDE ÉCHELLE." Revue Française de Photogrammétrie et de Télédétection 1, no. 211-212 (December 30, 2020): 129–42. http://dx.doi.org/10.52638/rfpt.2015.551.
Full textAbstract:
En recherche comme en exploitation forestière, la donnée Lidar aéroportée apporte des clefs de compréhension surla structure du terrain, de la forêt et par extension, des informations sur la biomasse aérienne. Mais pour être utile, cette donnée Lidar doit couvrir de vastes étendues tout en étant très résolue spatialement. Ces caractéristiques se traduisent par de grands volumes de données très difficiles à visualiser, manipuler et étudier sans l’aide de logiciels très onéreux.Dans le cadre du projet ANR FORESEE, nous avons développé un logiciel web, de visualisation mixte nuage de pointsLidar / surface 3D issue d’un Modèle Numérique de Terrain / carte / photographie aérienne et terrestre / donnée vectorielle : la plateforme zForest. Ce logiciel, qui s’adresse aux chercheurs en télédétection et à terme aux exploitants forestiers, permet la navigation à grande échelle dans des données massives et leur exploration, du niveau de détail le plus large (la région) jusqu’au plus fin (l’arbre). Cet outil permet la mesure, l’annotation et l’extraction des données. Il propose également une interface de programmation web (API) permettant à d’autres outils du marché d’utiliser ses données sources. zForest étant une plateforme web, elle est disponible sans installation sur tous les navigateurs internet récents, facilitant son accessibilité et son déploiement.
3
GUO, JUNXIA, and HAO HAN. "ANALYSIS AND DESIGN OF PROGRAMMATIC INTERFACES FOR INTEGRATION OF DIVERSE WEB CONTENTS." International Journal of Software Engineering and Knowledge Engineering 23, no. 10 (December 2013): 1487–511. http://dx.doi.org/10.1142/s0218194013500472.
Full textAbstract:
The technology that integrates various types of Web contents to build a new Web application through end-user programming is widely used nowadays. However, the Web contents do not have a uniform interface for accessing the data and computation. Most of the general Web users access information on the Web through applications until now. Hence, designing a uniform and flexible programmatic interface for integration of different Web contents is unavoidable. In this paper, we propose an approach that can be used to analyze Web applications automatically and reuse the information of Web applications through the programmatic interface we designed. Our approach can support the flexible integration of Web applications, Web services and Web feeds. In our experiments, we use a large number of Web pages from different types of Web applications and achieve the integration by the proposed programmatic interfaces. The experimental results show that our approach brings to the end-users a flexible and user-friendly programming environment.
4
Vitvar, Tomas, Steve Vinoski, and Cesare Pautasso. "Programmatic Interfaces for Web Applications." IEEE Internet Computing 16, no. 4 (July 2012): 11–14. http://dx.doi.org/10.1109/mic.2012.86.
Full text
5
Fortin, J. P., R. Moussa, C. Bocquillon, and J. P. Villeneuve. "Hydrotel, un modèle hydrologique distribué pouvant bénéficier des données fournies par la télédétection et les systèmes d'information géographique." Revue des sciences de l'eau 8, no. 1 (April 12, 2005): 97–124. http://dx.doi.org/10.7202/705215ar.
Full textAbstract:
Les processus hydrologiques variant dans l'espace et dans le temps en fonction de la variabilité spatio-temporelle des entrées météorologiques et de l'occupation du sol ainsi que de la variabilité spatiale de la topographie et de la nature du terrain, un modèle conçu pour bénéficier des données provenant de la télédétection et des SIG a été développé. Les principaux objectifs poursuivis étaient: l'application au plus grand nombre de bassins possible, une sélection d'algorithmes permettant de tenir compte des données disponibles, un minimum d'étalonnage, la facilité de transfert d'un bassin à l'autre, la programmation des algorithmes sur micro-ordinateur avec une interface très conviviale. La structure d'écoulement à l'intérieur d'un bassin versant est obtenue de manière informatisée à partir d'une discrétisation des altitudes rencontrées dans la zone d'intérêt, en mailles carrées de dimensions données, d'où l'on tire les pentes et les orientations de chaque maille, puis le bassin versant en amont de la maille identifiée comme exutoire, le réseau hydrographique, les sous-bassins versants et, finalement, les unités hydrologiques relativement homogènes (UHRH), définies sur la base de ces sous-bassins, en les regroupant ou les divisant au besoin. Un logiciel spécifique pour ce faire a été développé: PHYSITEL. Selon la conception très modulaire adoptée pour HYDROTEL, chaque sous-modèle offre généralement plus d'une option de simulation, afin de tenir compte des données disponibles sur le bassin versant traité. Les simulations peuvent être réalisées en considérant comme unité de simulation du bilan hydrologique vertical les mailles originales constituant le bassin ou les UHRH. Des exemples de simulation des débits à l'aide du modèle HYDROTEL sur divers bassins versants situés au Canada (Québec, Ontario, Colombie-Britannique) et dans le sud de la France sont présentés. Ces simulations indiquent que les différents algorithmes du modèle réagissent bien et qu'il est possible de considérer son application sur des bassins très divers situés sous des conditions climatiques variées. Des tests plus poussés sont en cours afin de mieux cerner la sensibilité des divers algorithmes aux données d'entrée ainsi que leur interchangeabilité.
6
Broman, David. "Interactive Programmatic Modeling." ACM Transactions on Embedded Computing Systems 20, no. 4 (June 2021): 1–26. http://dx.doi.org/10.1145/3431387.
Full textAbstract:
Modeling and computational analyses are fundamental activities within science and engineering. Analysis activities can take various forms, such as simulation of executable models, formal verification of model properties, or inference of hidden model variables. Traditionally, tools for modeling and analysis have similar workflows: (i) a user designs a textual or graphical model or the model is inferred from data, (ii) a tool performs computational analyses on the model, and (iii) a visualization tool displays the resulting data. This article identifies three inherent problems with the traditional approach: the recomputation problem, the variable inspection problem, and the model expressiveness problem. As a solution, we propose a conceptual framework called Interactive Programmatic Modeling. We formalize the interface of the framework and illustrate how it can be used in two different domains: equation-based modeling and probabilistic programming.
7
Staton, Ann Q. "The interface of communication and instruction: Conceptual considerations and programmatic manifestations." Communication Education 38, no. 4 (October 1989): 364–71. http://dx.doi.org/10.1080/03634528909378777.
Full text
8
Zou, Xiao Jia, Xiang Dong You, Hao Pan, Xu Zhang, and Qian Luo. "User Interface Design and Implementation for Electricity Operation Information System Based on Android." Applied Mechanics and Materials 602-605 (August 2014): 3630–34. http://dx.doi.org/10.4028/www.scientific.net/amm.602-605.3630.
Full textAbstract:
In this paper, we mainly explore how to design and implement the user interfaces of Electricity Operation Information System based on Android. The paper extends its process as the following four aspects---requirements analysis, UI design, interaction design and programmatic implementation. In response to user actions fluidly and friendly, we add modules to handle exceptions. In the end, we give a briefly test on the system UI to ensure it run smoothly and make less mistakes. There are limited studies focusing on the flow design of UI combined with programmatic implementation. The UI design and implementation methodology has good reference at the early stage of developing an application, especially on Android platforms.
9
Larraondo, Pablo R., Sean Pringle, Jian Guo, Joseph Antony, and Ben Evans. "GSio: A programmatic interface for delivering Big Earth data-as-a-service." Big Earth Data 1, no. 1-2 (November 30, 2017): 173–90. http://dx.doi.org/10.1080/20964471.2017.1397898.
Full text
10
Kim, Sunghwan, Paul A. Thiessen, Tiejun Cheng, Bo Yu, and Evan E. Bolton. "An update on PUG-REST: RESTful interface for programmatic access to PubChem." Nucleic Acids Research 46, W1 (April 30, 2018): W563—W570. http://dx.doi.org/10.1093/nar/gky294.
Full textDissertations / Theses on the topic "Programmation interface"
1
Le, Khac Nhien An. "Définition et évaluation d'INUKTITUT : une interface pour l'environnement de programmation parallèle asynchrone Athapascan." Grenoble INPG, 2005. http://www.theses.fr/2005INPG0020.
Full textAbstract:
Les grappes de calcul sont constituées par l'interconnexion de stations de travail par un réseau plus ou moins performant. Elles rencontrent un large succès dans le domaine du calcul scientifique. De nombreux protocoles et interfaces de programmation ont été développés pour exploiter ces grappes tels que Posix Threads, Marcel, Open MP, Socket, MPI, Madeleine, GM/Myrinet, Corba, etc. Pourtant la programmation d’une application ou le portage d’un environnement de programmation parallèle sur ces grappes est un travail difficile du fait de la complexité et la variété des caractéristiques de ces architectures et des bibliothèques disponibles. L'objectif de cette thèse est de définir et d'évaluer les performances d'INUKTITUT, une interface qui permet de porter efficacement et facilement sur des grappes des applications et des environnements de programmation parallèle de haut niveau comme Athapascan. INUKTITUT contient des fonctions pour multiprogrammation légère et pour les communications à base de message actif : le parallélisme intra-nœuds des processus, est géré à l'aide de processus légers communiquant par la mémoire partagée ; le parallélisme inter-nœuds est exploité par des communications basées sur des messages actifs. INUKTITUT est porté avec succès sur des systèmes aussi différents que Linux, Unix, MacOS X, Windows au dessus de TCP/IP, Myrinet ou Corba utilisé comme couche de transport de données. Ce mémoire présente l’architecture d’INUKTITUT, les résultats d’évaluation des performances ainsi que deux applications importantes utilisant INUKTITUT : Athapascan, un environnement de programmation parallèle et les KaTools, des outils pour le déploiement efficace de grandesThe computing clusters are established by the interconnection of workstations by a more or less performance network. They have a wide success in the scientific computing area. Numerous protocols and interfaces of programming were developed to exploit these clusters such as Posix Threads, Marcel, Open MP, Socket, MPI, Madeleine, GM/Myrinet, Corba, etc. Nevertheless the programming of an application or the carrying of an environment of parallel programming on these clusters is a difficult work because of the complexity and the variety of the characteristics of these architectures and the available libraries. The objective of this thesis is to define and to evaluate the performances of INUKTITUT, an interface which allows carrying effectively and easily the applications and the environments of parallel programming high-level as Athapascan on theses clusters. INUKTITUT contains functions for multithreading and for the communications based on active messages : the intra-nodes parallelism of the processes is managed by means of threads communicating by shared memory; the inter-node parallelism is exploited by communications based on active messages. INUKTITUT is successfully carried on systems so different as Linux, Unix, MacOS X, Windows above TCP/IP, Myrinet or Corba used as data transport layers. This thesis presents the architecture of INUKTITUT, the results of evaluation of the performances as well as two important applications using INUKTITUT : Athapascan, an environment of parallel programming and the KaTools, tools for the effective deployment on large clusters
2
Labbé, Alexandre. "Développement de logiciels d'analyse structurale à interface graphique : WMNPhi et CalWin." Sherbrooke : Université de Sherbrooke, 2001.
Find full text
3
Kahwati, Ghassan. "Conception et réalisation d'une interface pour l'interrogation d'une base de données documentaire." Grenoble 2, 1986. http://www.theses.fr/1986GRE21021.
Full textAbstract:
Le travail réalisé comprend une étude critique sur la structure de base des langages d'interrogation et leurs caractéristiques linguistiques (abrévation, vocabulaire et syntaxe). Une réflexion est faite sur les différents types d'utilisateurs pour comprendre les facteurs humains qui influencent leur comportement en face d'un système informatisé. A partir de là, nous avons défini l'utilisateur occasionnel visé par l'interface et un langage de commande (Lasydo) lui est adapté. Les caractéristiques de ce langage, ses fonctions et ses éléments sont discutés. Un traducteur ayant la structure de compilateur assure la transformation de la requête de l'usager en une forme acceptee par SGDB. Nous utilisons dans ce but un logiciel d'aide à l'écriture des traducteurs. La structure interne de Lasydo et celle de la base de données y sont prises en considération. Ce traducteur est défini et réalisé. Une étude synthétique et comparative sur les modèles de données à débouché sur la mise en oeuvre d'une base de données selon le modèle relationnel. En exploitant les propriétés de ce modèle, nous proposons deux schémas de la base, à relation unique et à relations multiples. Nous discutons la représentation de ces schémas sous forme de graphe extensible et nous décrivons le mécanisme de edéduction des chemins d'accès à l'information recherchée. Enfin, l'implantation de la base et de l'interface (modulaire et extensible) sous le système multics du HB68 est décriteThis survey deals with basic structure of query languages and their linguistic characteristics (i. E abbreviations, vocabulary and syntax). A part of the work carried out is about the different types of users in order to apprehend human factors influencing their behaviour when facing an automatized system. Next, the occasional user affected by the interface is defined and a command language (Lasydo) is adapted to him. The characteristics, functions and elements of this language are analysed here. A translator with a compiler structure realizes the transformations of the user's request into a form accepted by DBMS. For this purpose we use a software as a support to the writing of translator. It takes into account the internal structure of Lasydo and that of the data base. The translator is defined and realized. A comparative and synthetic study about data models has allowed the implementation of a database consistent with the relational model. By working out the properties of this model, we suggest two schemes for this base : a one-relational basis and multiple-relational basis. Moreover, we study the representation of these schemes as a dynamic graph ; and we express the deduction mechanism of the access path to the required information. At last, we study the implementation of the base and the interface under the multics system of the HB68
4
Tallard, Stéphane. "Une interface multimodale pour l'interrogation d'une base de données orienté-objet multimédia." Pau, 1994. http://www.theses.fr/1994PAUU3002.
Full textAbstract:
Cette thèse s'inscrit dans le cadre de travaux sur l'interrogation d'une base de données orientée-objet multimedia. Nous avons défini une interface multimodale proposant à l'utilisateur trois modes d'interaction. Un mode dit graphique permet la navigation dans les données. Ce mode utilise des métaphores iconiques permettant la représentation des propriétés structurelles et dynamiques du schéma de la base. Dans cet environnement, on peut utiliser les composantes dynamiques avec ou sans argument. Enfin, un langage des requêtes graphique permet d'exprimer des requêtes simples. Deux modes, dits textuel et iconique, le complètent. Le premier permet la saisie de requêtes algébriques. Nous avons en effet proposé une algèbre adaptée au contexte de l'interrogation d'une base de données orientée-objet multimedia. Le second, par l'intermédiaire du langage iconique que nous avons conçu, assiste l'utilisateur dans la définition de requêtes complexes. Celui-ci se sert de requêtes iconiques pour définir des squelettes de requêtes algébriques complétables dans le mode textuel. De plus, nous avons donné des règles permettant un paraphrasage intelligent basé uniquement sur les informations contenues dans la métabase. Nous montrons notamment que, dans certains cas la requête iconique suffit à déterminer une requête algébrique complète.
5
Chang, Eric Ty. "Etude d'une interface de programmation des services du réseau intelligent basée sur des composants reutilisables." Versailles-St Quentin en Yvelines, 1996. http://www.theses.fr/1996VERS004V.
Full text
6
Youssef, Mohamed Wassim. "Étude des interfaces logicielles/matérielles dans le cadre des systèmes multiprocesseurs monopuces et des modèles de programmation parallèle de haut niveau." Université Joseph Fourier (Grenoble), 2006. http://www.theses.fr/2006GRE10030.
Full textAbstract:
Today's systems-on-chip are multiprocessor. They are characterized by an increasing complexity and a reduced time to market. To tackle this complexity, the use of high level programming models seems to be a promising approach. In this work, we propose an MPSoC design flow, based on the use of high level parallel programming models API to design embedded software. An automated refinement of these API on target architecture is used. For that purpose, (1) MPSoC hardware/software interfaces were studied; then (2) parallel programming models and their classification in terms of provided abstraction were presented. The proposed flow has been used in two design experiments: (1) an MPEG video encoder, namely OpenDivX, using the MPI parallel programming model and targeting the ARM Integrator prototyping platform, (2) a software defined radio using the CORBA parallel programming model and targeting specific hardware architectureLes systèmes mono-puce sont composés d'une partie logicielle et d'une partie matérielle. L'exécution de la partie logicielle sur les ressources de la partie matérielle est assuré a travers l'utilisation d'une interface logicielle/matérielle. Cette interface a une structure complexe, sa conception nécessite des compétences issues des domaines du logiciel et du matériel. Pour maîtriser cette complexité, des approches de conception de haut niveau sont requises. Dans cette optique, un flot de conception des systèmes MPSoC est proposé. Il est basé sur l'utilisation des API des modèles de programmation parallèle en vue de l'abstraction des interfaces logicielles/matérielles lors de la conception de la partie logicielle, puis de leur génération automatique en raffinant l'API utilisée sur l'architecture cible. Pour arriver à ce but, (1) une étude de l'architecture des interfaces logicielles/matérielles a été réalisé. Puis, (2) une étude des modèles de programmation parallèle et une classification en fonction de leur niveau d'abstraction a été effectué. Ensuite, le flot proposé a été utilisé pour la conception de deux applications : (1) un encodeur vidéo OpenDivX en utilisant le modèle de programmation parallèle MPI et la plateforme ARM IntegratorAP comme architecture matérielle cible, (2) une radio définie par logiciel en utilisant le modèle de programmation CORBA et une architecture matérielle spécifique comme architecture cible
7
Thomazeau, Jacques. "Une interface multimodale pour l'interrogation d'une base d'objets complexes et documentaires." Toulouse 3, 1993. http://www.theses.fr/1993TOU30056.
Full textAbstract:
Les travaux presentes dans ce memoire s'inscrivent dans le cadre de la conception d'interfaces pour objets complexes. Nous proposons une interface multimodale qui a pour vocation d'etre accessible a des utilisateurs non specialistes en facilitant la consultation d'objets complexes et documentaires. Dans un premier temps, nous avons defini un modele oriente objet adapte a la manipulation d'objets complexes. Il conserve la richesse structurelle des modeles a objets complexes, permet une manipulation d'objets via leur comportement, et offre une manipulation ensembliste des classes, grace a l'utilisation de methodes algebriques. La deuxieme partie de notre etude est consacree a la definition de l'interface. Nous proposons tout d'abord un mode d'interrogation graphique qui integre les concepts du modele oriente objet et utilise une approche hypertexte. Cette interface s'appuie sur deux principes. Le schema de la base d'objets est represente sous forme de graphes representant la semantique vehiculee a differents niveaux d'abstraction. La manipulation des objets et des classes est realisee graphiquement et se traduit par l'activation de methodes. En complement de cette interface graphique, nous proposons un deuxieme mode d'interrogation facilitant l'acces aux objets documentaires. A partir d'une requete exprimee en langage pseudo-naturel, le systeme restitue les objets documentaires juges pertinents, classes dans un ordre decroissant de ressemblance avec la requete. L'originalite de nos travaux reside dans le fait que les deux modes d'interrogation que nous avons decrits peuvent etre employes de facon complementaire pour la recherche d'objets complexes et documentaires
8
Legeard, Bruno. "Prototypage de logiciels avec le langage PROLOG : méthode et outils." Lyon, INSA, 1987. http://www.theses.fr/1987ISAL0043.
Full textAbstract:
Cette thèse aborde le problème de la validation et de la vérification de spécifications fonctionnelles en s'intéressant aux techniques du prototypage exploratoire de logiciels. Elle s'inscrit dans une remise en cause du modèle "en cascade" du processus de développement du logiciel et se situe au sein de l'approche opérationnelle. Les principaux résultats obtenus concernent la définition d'une démarche et d'outils associés pour l'élaboration de spécifications exécutables avec le langage PROLOG, utilisées comme un prototype exploratoire. Des éléments méthodologiques sont dégagés au travers : - d'un cycle du prototypage exploratoire, - de techniques de structuration. Des schémas d'écriture en PROLOG sont fournis pour permettre le contrôle du niveau d'abstraction des spécifications, au travers : - d'un style déclaratif, - de structures de données abstraites avec leurs opérateurs, - de formes de spécification. La démarche présentée inclut un ensemble de techniques pour la validation et la vérification : détection de contradictions, terminaison, … Enfin, nous prenons en compte le cas spécifique des Interfaces Homme /Ordinateur. Il s'agit de pouvoir spécifier de façon opérationnelle des interfaces interactives de bonne qualité, intégrant des modes d'interaction graphique avec multi-fenêtrage et désignation directe (souris). Nous présentons un cadre unifié pour le prototypage des traitements et des dialogues fondé sur la démarche de spécifications opérationnelles avec le langage PROLOG. Il s'appuie sur une approche graphique de la définition des objets et de la cinématique des interfaces de dialogue. Le cadre conceptuel et les outils proposés ne constituent pas un nouveau langage mais favorisent une maîtrise du niveau d'abstraction des spécifications opérationnelles à l'intérieur du langage PROLOG. En cela, ils cherchent à bénéficier des résultats de certains travaux menés par ailleurs sur la preuve, la transformation et la compilation de programmes PROLOG, ainsi que sur les environnements de programmation bâtis autour de ce langageThe subject of this thesis is how to validate and verity executable functional specifications using rapid prototyping techniques. The proposed approach is a part of the operational specification paradigm and modifies the conventional software lite-cycle. The main results concern the definition of a framework to develop executable specifications in almost "pure" PAOLOG and using these logic specifications as a rapid prototype. So, we present : - a rapid prototyping process and its impacts upon the whole software life-cycle, - a schema to structure prototypes, -a PROLOG programming style to increase declarativity, - validation and verification techniques. Then, we access the problem of computer-Human Interface design. We propose a sketch of an integrated environment for both dialogue and computational modules of interactive applications rapid prototyping. The specification of the dialogue syntax and lexical level is based on graphs tools. Examples and live industrial applications are carried along this thesis which was elaborated in a mere industrial context
9
Sanou, Loé. "Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur Exemple." Phd thesis, Université de Poitiers, 2008. http://tel.archives-ouvertes.fr/tel-00369484.
Full textAbstract:
L'implémentation d'un système intégrant la Programmation sur Exemple (PsE) demande au développeur de mettre à disposition de l'utilisateur final des outils d'assistance lors de la réalisation des tâches. Pour le développeur, cela passe par la mise à disposition des différents services à partir de l'interface utilisateur de l'application. Le système doit donc fournir des interfaces particulières, car non seulement l'objectif fonctionnel de l'application ne doit pas changer, mais surtout parce que les techniques de la PsE doivent être naturellement intégrées. Un système de PsE est difficile à implanter, et pourtant, la plupart possèdent des éléments en commun parmi lesquels on trouve une représentation des actions utilisateur, un historique des actions, et parfois un algorithme d'apprentissage symbolique opérant sur l'historique. Nous favorisons la création d'un tel système en fournissant les outils nécessaires sous forme d'une boîte à outils par extension de Swing. Les développeurs peuvent bâtir, avec un minimum d'effort, des applications mettant en ?uvre les techniques de la PsE. Les principaux services de base ont été identifiés et définis : enregistrement des actions utilisateur, rejeu des actions et des techniques utilisables pour la mise en ?uvre d'applications types. Ils ont été prototypés à travers l'outil PbDToolkit, ouvrant la voie vers la simplification de la mise en ?uvre des applications de PsE. En utilisant PbDToolkit, il n'est pas nécessaire d'implémenter les fonctionnalités de base car toutes les opérations y sont déjà implémentées avec la liberté d'usage et d'exploitation offerte aux développeurs. PbDToolkit est instrumenté pour permettre de vérifier la conformité d'une IHM à son modèle de tâches. Le concept établit un lien entre les tâches élémentaires du modèle de tâches et les actions de l'IHM. Ainsi, à l'exécution, un scénario est généré suivant le format de scénario de l'environnement K-MADe, outil de modélisation utilisé.
10
Chapelier, Laurent. "Dialogue d'assistance dans une interface homme-machine multimodale." Nancy 1, 1996. http://www.theses.fr/1996NAN10117.
Full textAbstract:
Les interfaces homme-machine destinées au grand public demeurent souvent d'une approche difficile malgré leur caractère attrayant et leurs nombreuses fonctionnalités. Un utilisateur peu expérimenté doit ainsi fournir un effort d'apprentissage et de compréhension important. Dans cette thèse, nous défendons notre point de vue sur le dialogue d'assistance à l'utilisateur dans le cadre de son interaction avec une interface multimodale intelligente. Pour cela, nous avons adopté une démarche empirique basée sur une expérience du type Magicien d'Oz. L'étude psycho- sociale du corpus obtenu a permis d'identifier et de formaliser des schémas de dialogue propres à différents type d'aide. A partir de ces résultats, nous proposons un modèle d'architecture multi-agents d'interface multimodale intelligente. Nous présentons une maquette du système de dialogue d'assistance montrant la mise en oeuvre des schémas de dialogue dans un système multi-agentsMan-machine interfaces for a wide range of users still remain difficult to use in spite of their attractive aspect and their many fonctionalities. Thus, a novice user has to learn how to use the interface. In this thesis, we present our results on the assistance dialogue with a user in interaction with a multimodal intelligent interface. We conducted an experimental study using the Wizard of Oz paradigm to observe the behaviour of the users in front of such a system. The psycho-social study of the corpus permitted to identify and formalise dialogue schemes corresponding to different types of help. From these results we propose a model of a multi-agents architecture of a multimodal intelligent interface. We present a prototype of the assistance dialogue system which shows the use of the dialogue schemes in a multi-agents system
Books on the topic "Programmation interface"
1
Gosling, James. The Java application programming interface. Reading, Mass: Addison-Wesley Publ., 1996.
Find full text
2
Snodgrass, Richard. The interface description language: Definition and use. Rockville, MD: Computer Science Press, 1989.
Find full text
3
Jackie, Neider, Davis Tom, and OpenGL Architecture Review Board, eds. OpenGL programming guide: The official guide to learning OpenGL, version 1.1. 2nd ed. Reading, Mass: Addison Wesley, 1997.
Find full text
5
Kathy, Walrath, and Huml Alison, eds. The Java tutorial: A short course on the basics. 3rd ed. Boston: Addison-Wesley, 2001.
Find full text
6
Kathy, Walrath, ed. The Java tutorial: Object-oriented programming for the Internet. 2nd ed. Reading, Mass: Addison-Wesley, 1998.
Find full text
7
Kathy, Walrath, ed. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
Find full text
8
Campione, Mary. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
Find full text
9
t, Picaud Benoi, Mariel Ste phane, and Thomas Jean-Marie, eds. XUL. Paris: Eyrolles, 2005.
Find full text
10
Godard, Laurent. Programmation OpenOffice.org 3: Macros, OOoBASIC et API. Paris: Eyrolles, 2009.
Find full textBook chapters on the topic "Programmation interface"
1
Beringer, Lennart. "Verified Software Units." In Programming Languages and Systems, 118–47. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_5.
Full textAbstract:
AbstractModularity - the partitioning of software into units of functionality that interact with each other via interfaces - has been the mainstay of software development for half a century. In case of the C language, the main mechanism for modularity is the compilation unit / header file abstraction. This paper complements programmatic modularity for C with modularity idioms for specification and verification in the context of Verifiable C, an expressive separation logic for CompCert . Technical innovations include (i) abstract predicate declarations – existential packages that combine Parkinson & Bierman’s abstract predicates with their client-visible reasoning principles; (ii) residual predicates, which help enforcing data abstraction in callback-rich code; and (iii) an application to pure (Smalltalk-style) objects that connects code verification to model-level reasoning about features such as subtyping, self, inheritance, and late binding. We introduce our techniques using concrete example modules that have all been verified using the Coq proof assistant and combine to fully linked verified programs using a novel, abstraction-respecting component composition rule for Verifiable C.
2
Mangeot, Mathieu, and Mutsuko Tomokiyo. "Contributions et corrections dans le dictionnaire japonais-français jibiki.fr." In Lexique(s) et genre(s) textuel(s) : approches sur corpus, 259–70. Editions des archives contemporaines, 2020. http://dx.doi.org/10.17184/eac.2922.
Full textAbstract:
Concernant le couple de langues français-japonais, les ressources disponibles sur le Web sont peu nombreuses et de taille modeste. Il existe cependant de nombreux dictionnaire imprimés de qualité et à large couverture. C’est pourquoi nous avons lancé le projet jibiki.fr de construction d’un dictionnaire japonais-français de qualité et à large couverture à partir de récupération de données issues du dictionnaire de Jean-Baptiste Cesselin (1940) que nous avons numérisé et lu optiquement. Nous avons complété ces données par d’autres issues du dictionnaire JMdict de Jim Breen (2004) et de Wikipedia pour pallier le manque de vocabulaire récent. Nous avons ensuite installé ces données sur une plateforme de gestion de ressources lexicales en ligne. Les utilisateurs peuvent alors consulter le dictionnaire et corriger les erreurs qu’ils trouvent lors de la consultation. La plateforme possède également une interface de programmation (API) qui permet de programmer des scripts afin de corriger automatiquement certains phénomènes repérés lors de consultations. La ressource ainsi construite est disponible en téléchargement libre de droits. Cet article décrit certaines techniques de correction automatique et manuelle à l’issue des 3 ans et demi du projet.
Conference papers on the topic "Programmation interface"
1
Vuillemot, Romain, and Béatrice Rumpler. "Une interface de programmation visuelle pour la composition de services de visualisation d'information." In the 21st International Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1629826.1629840.
Full text
2
Liu, Hugo, and Henry Lieberman. "Programmatic semantics for natural language interfaces." In CHI '05 extended abstracts. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1056808.1056975.
Full text
3
Rohm, Tapie, Chris L. Jones, Scott S. Tucker, and C. Greg Jensen. "Parametric Engineering Design Tools and Applications." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/dac-14275.
Full textAbstract:
Abstract Recent collaborations with graduate students in Mechanical Engineering at Brigham Young University and industry, such as United Technologies (OTIS and Pratt & Whitney) and Honeywell (AlliedSignal) have resulted in significant advancements to the interactive and programmatic parametric design methodologies. This paper presents the basics of interactive parametric CAD design as a point-of-departure for our discussion of the programmatic approach. Further it will discuss the advantages and problems of using a programmatic parametric design approach to reduce design cycle time. This programmatic parametric approach involves the combination of vendor provided interactive CAD parametrics and native CAD toolkit development and customization. Finally it will focus on the advantages and drawbacks of this schema by using joint educational/ industrial examples. These advantages include improvements in the design/analysis/ manufacture process as well as in the overall communication between different engineering load centers. The time and resource commitment to custom CAD development has haunted industry for decades. However, through new techniques and interfaces being explored and developed at BYU we propose a new graphical user interface for custom programming of CAD. This paper discusses the advantages that such an interface would have in reducing programming time and allowing the program to interoperate between multiple CAD packages with varying graphic kernels.
4
Ragan-Kelley, Min, and John Verboncoeur. "A Programmatic Interface for Particle Plasma Simulation in Python." In Python in Science Conference. SciPy, 2010. http://dx.doi.org/10.25080/majora-92bf1922-00e.
Full text
5
Miller, Don W., Steven A. Arndt, Leonard J. Bond, Donald D. Dudenhoeffer, Bruce P. Hallbert, David E. Holcomb, Richard T. Wood, Joseph A. Naser, John O’Hara, and Edward L. Quinn. "Roadmap for Research, Development, and Demonstration of Instrumentation, Controls, and Human-Machine Interface Technologies." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48756.
Full textAbstract:
Instrumentation, controls, and human-machine interfaces are essential enabling technologies that strongly influence nuclear power plant performance and operational costs. The nuclear power industry is currently engaged in a transition from traditional analog-based instrumentation, controls, and human-machine interface (ICHMI) systems to implementations employing digital technologies. This transition has primarily occurred in an ad hoc fashion through individual system upgrades at existing plants and has been constrained by a number of concerns. Although international implementation of evolutionary nuclear power plants and the progression toward new plants in the United States have spurred design of more fully digital plantwide ICHMI systems, the experience base in the nuclear power application domain is limited. Additionally, design and development programs by the U.S. Department of Energy (DOE) for advanced reactor concepts, such as the Generation IV Program and Next Generation Nuclear Plant (NGNP), introduce different plant conditions and unique plant configurations that increase the need for enhanced ICHMI capabilities to fully achieve programmatic goals related to economic competitiveness, safety and reliability, sustainability, and proliferation resistance and physical protection. As a result, there are challenges that need to be addressed to enable the nuclear power industry to effectively and efficiently complete the transition to safe and comprehensive use of digital technology.
6
Lide, Charles, and Stefan Glista. "An Avionics Integrity Program Approach to Preventing Aircraft Electronics Humidity and Moisture Problems." In ASME 2009 International Mechanical Engineering Congress and Exposition. ASMEDC, 2009. http://dx.doi.org/10.1115/imece2009-10532.
Full textAbstract:
Analysis of the causes of airborne electronics field failures indicates that humidity, moisture, and corrosion are significant contributors to the total field failure population. In spite of this fact, analysis methods, test methods and standard procedures to address these problems are less mature than those for other electronics failure mechanisms such as low and high cycle fatigue. An Avionics Integrity Program (AVIP) approach to address humidity and moisture issues is outlined. Programmatic and technical issues associated with achieving humidity and moisture resistance are discussed. The paper focuses on the steps to be taken at each stage of the development and verification process to reduce the probability of moisture related problems escaping to later stages of development and verification. Design and development process improvements are discussed along with areas of need for improved methods. Sources of moisture including the influence of cooling interface temperatures are presented along with mitigations to moisture sources. Examples of moisture-related failures are discussed along with corrective actions to the electronic equipment. Design criteria to prevent moisture-related failures and achieve a moisture-resistant design are presented. Limitations of humidity test methods are covered along with suggested improvements to increase realism of testing to match the severe environmental and operating conditions. Finally, field life management moisture screening is proposed.