Relevant bibliographies by topics / LUSTRE (langage de programmation)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books

Academic literature on the topic 'LUSTRE (langage de programmation)'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'LUSTRE (langage de programmation).'

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 "LUSTRE (langage de programmation)"

1

Mélès, Baptiste. "Les langages de Turing." Intellectica. Revue de l'Association pour la Recherche Cognitive 72, no. 1 (2020): 81–110. http://dx.doi.org/10.3406/intel.2020.1947.

Full text
Abstract:
Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'intention de Turing sa pratique effective. L'exposition de ces langages sera également éclairée, à titre pédagogique, par la théorie moderne des langages
APA, Harvard, Vancouver, ISO, and other styles
2

Mandel, Louis, and Marc Pouzet. "ReactiveML, un langage fonctionnel pour la programmation réactive." Techniques et sciences informatiques 27, no. 8 (2008): 1097–128. http://dx.doi.org/10.3166/tsi.27.1097-1128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Laurent Bloch. "Un langage pour enseigner la programmation, Scheme ou Python ?" Bulletin 1024, no. 20 (November 2022): 85–95. http://dx.doi.org/10.48556/sif.1024.20.85.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Denis Merigoux and Liane Huttner. "Catala : formaliser la loi grâce à un langage de programmation dédié." Bulletin 1024, no. 20 (November 2022): 77–84. http://dx.doi.org/10.48556/sif.1024.20.77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Philippot, Alexandre, Stéphane Lecasse, Bernard Riera, and François Gellot. "Développement d’un connecteur logiciel pour l’apprentissage de l’automatisme." J3eA 21 (2022): 2056. http://dx.doi.org/10.1051/j3ea/20222056.

Full text
Abstract:
L’apprentissage de l’automatisme s’adresse aujourd’hui à un public d’étudiants ayant pour la plupart avant tout un background informatique. Ils/elles passent par des phases d’apprentissage de langages compilés et/ou interprétés. Il est compliqué alors pour eux de passer d’une réflexion informatique avec un langage venant du monde de l’IT (Information Technology) vers la programmation d’Automates Programmable Industriel (API), au comportement cyclique, synchrone et aux langages normalisés (IEC 61131-3) issu du monde de l’OT (Operational Technology). Ce papier présente une proposition de mise en
APA, Harvard, Vancouver, ISO, and other styles
6

Frick, V., and B. Boyer. "Conception de système embarqué sur cible FPGA : une approche par compétences." J3eA 21 (2022): 1022. http://dx.doi.org/10.1051/j3ea/20221022.

Full text
Abstract:
Cet article témoigne d’une expérience d’approche par compétence appliquée dans le cadre de modules d’enseignement aux systèmes électroniques embarqués. Les projets proposés aux étudiants visent à développer les compétences qui leur permettront de répondre efficacement à un cahier des charges dans un domaine où matériels et logiciels sont en constante évolution. En l’occurrence, il s’agit d’encourager l’initiative dans les choix techniques de co-conception de circuits numériques impliquant le langage de description matériel VHDL, la synthèse de processeur embarqué, la programmation en langage C
APA, Harvard, Vancouver, ISO, and other styles
7

Delaval, Gwenaël, Eric Rutten, and Hervé Marchand. "Intégration de la synthèse de contrôleurs discrets dans un langage de programmation." Journal Européen des Systèmes Automatisés 45, no. 1-3 (2011): 125–40. http://dx.doi.org/10.3166/jesa.45.125-140.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Forest, Françoise, and Maryse Siksou. "Développement de concepts et programmation du sens. Pensée et langage chez Vygotski." Intellectica. Revue de l'Association pour la Recherche Cognitive 18, no. 1 (1994): 213–36. http://dx.doi.org/10.3406/intel.1994.1456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kouki, Rahim, and Soumaya Derragi. "Interdisciplinarité et difficulté d’apprentissage des méthodes numériques en programmation." TANGRAM - Revista de Educação Matemática 6, no. 3 (2023): 2–22. http://dx.doi.org/10.30612/tangram.v6i3.16950.

Full text
Abstract:
Les algorithmes numériques font l’objet d’un enseignement explicite dans les classes préparatoires à l’entrée aux écoles d’ingénieurs. Le caractère interdisciplinaire de ces derniers, permet de construire un pont entre le langage et l’action et met l’accent sur l’utilité d’une certaine rigueur scientifique expérimentée. Notre recherche s’inscrit dans le cadre d’une démarche réflexive avec une prise de conscience centrée sur les difficultés liées à l’implémentation de la méthode d’Euler comme algorithme numérique pour la résolution des équations différentielles. L’exploration d’un milieu théori
APA, Harvard, Vancouver, ISO, and other styles
10

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text
Abstract:
Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "LUSTRE (langage de programmation)"

1

Bergerand, Jean-Louis. "LUSTRE un langage déclaratif pour le temps réel /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00320006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Plaice, John. "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone." Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.

Full text
Abstract:
Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini
APA, Harvard, Vancouver, ISO, and other styles
3

Hsiao, Nai-Cheng. "Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE /." Gif-sur-Yvette : Service de documentation et d'édition multimédia, Centre d'études de Saclay, 1995. http://catalogue.bnf.fr/ark:/12148/cb36687000k.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Full text
Abstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus le
APA, Harvard, Vancouver, ISO, and other styles
5

Raymond, Pascal. "Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00198546.

Full text
Abstract:
Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du code objet doit donc être synthétisée par le compilateur. Cette synthèse consiste à construire un automate fini en simulant exhaustivement le comportement des variables booléennes du programme. Le code produit est particulièrement rapide ; en effet, la plupart des calculs booléens sont effectués une fois pour tou
APA, Harvard, Vancouver, ISO, and other styles
6

Roché, Pierre. "Modélisation et validation d'interface homme-machine." Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0009.

Full text
Abstract:
Cette thèse propose une approche qui permet de coupler l'utilisation de méthodes formelles avec celle de techniques de développement objet ou fonctionnel. Dans cette approche, la conception, basée sur l'utilisation d'outils tels que Uim / x, fournit une description de l'Interface dans les langages Uil et C. De cette description est extrait un modèle formel Lustre qui sert à la vérification de propriétés à satisfaire par l'Interface. La description de celle-ci peut alors être améliorée en fonction des propriétés analysées sur le modèle. La modélisation ainsi que la vérification des propriétés g
APA, Harvard, Vancouver, ISO, and other styles
7

Lakehal, Abdesselam. "Critères de couverture structurelle pour les programmes Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00100384.

Full text
Abstract:
Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défin
APA, Harvard, Vancouver, ISO, and other styles
8

Sessitskaia, Irina. "Apport des techniques d'abstraction pour la vérification des interfaces homme-machine." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2002. http://www.theses.fr/2002ESAE0004.

Full text
Abstract:
Cette thèse étudie une approche pour la vérification des interfaces Homme Machine fondée sur le formalisme à flots de données Lustre. Elle consiste à construire des modèles formels de l’IHM décrits en Lustre et de les utiliser pour vérifier des propriétés des interfaces par les techniques de model-checking. L’approche présente deux difficultés : la première est que les modèles d’IHM en Lustre ne sont pas facilement compréhensibles pour l’utilisateur ; la deuxième est due au problème de l’explosion combinatoire inhérente au model checking. Le travail de cette thèse cherche à apporter des soluti
APA, Harvard, Vancouver, ISO, and other styles
9

Seljimi, Besnik. "Test de logiciels synchrones avec la PLC." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00408225.

Full text
Abstract:
Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes.<br /><br />Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les
APA, Harvard, Vancouver, ISO, and other styles
10

Seljimi, Besnik. "Test de logiciels synchrones avec la PLC." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10120.

Full text
Abstract:
Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes. Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les propriétés
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "LUSTRE (langage de programmation)"

1

Synchronous programming of reactive systems. Kluwer Academic Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Myx, André. LOGO: Votre langage de programmation. Cedic, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Weis, Pierre. Le Langage Caml. 3rd ed. InterEditions, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dax, Philippe. Langage C. 6th ed. Eyrolles, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cédric, Nicolas, ed. Programmation JAVA. Eyrolles, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kernighan, Brian W. Le langage C. 2nd ed. Masson, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fieux, Loïc. Le langage C. CampusPress, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lortie, Claude. Langage d'assemblage. Guérin, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Niedermair, Elke. Java 2: Programmation. Micro Application, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Le langage C ++. Micro application, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'LUSTRE (langage de programmation)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography