To see the other types of publications on this topic, follow the link: Génération de logiciel.
Journal articles on the topic 'Génération de logiciel'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 19 journal articles for your research on the topic 'Génération de logiciel.'
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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
1
Soyer, A., and A. Rimsky. "Logiciel de génération et représentation de structures cristallines." Journal of Applied Crystallography 25, no. 2 (April 1, 1992): 214–20. http://dx.doi.org/10.1107/s0021889891012086.
Full textAbstract:
Software has been written in Fortran77 for the space-filling representation of crystal structures. It generates atomic positions starting from the asymmetric unit and taking into account the 230 possible space groups. It then computes realistic shaded images in correct perspective with the hidden part removed. The main differences from existing programs are the ability to represent thermal ellipsoids and good portability to commonly used workstations. Details are given about the organization and operation of the program and some applications.
2
Contant, Chantal. "Génération automatique de rapports boursiers français et anglais." Revue québécoise de linguistique 17, no. 1 (May 12, 2009): 197–221. http://dx.doi.org/10.7202/602620ar.
Full textAbstract:
Résumé Depuis peu de temps, il est possible, dans un sous-langage technique bien délimité, de créer des systèmes automatiques capables de générer, à partir d’une représentation sémantique, des textes linguistiquement bien formés. Un tel système existe pour le sous-langage boursier. En effet, à partir des données de la Bourse de New York, ce logiciel produit de façon automatique des résumés boursiers en anglais et en français. Le présent article présente le système anglais et français de génération automatique de texte et décrit brièvement les particularités du sous-langage boursier.
3
Manneheut, Agnès, and Emmanuelle Paulet-Grandguillot. "Folio au SCD de Nantes : le choix d’un logiciel de nouvelle génération." Arabesques, no. 113 (April 1, 2024): 16–17. http://dx.doi.org/10.35562/arabesques.4094.
Full text
4
Andary, Philippe, Daniel Krob, and Jean-Pierre Pécuchet. "GAET, un logiciel de génération automatique d'emplois du temps: recuit simulé et langage objet." Journal of Decision Systems 3, no. 3 (January 1994): 221–41. http://dx.doi.org/10.1080/12460125.1994.10511622.
Full text
5
Díaz Villalba, Alejandro. "Comment outiller l’étude des autorités avec l’analyse de réseaux dans les grammaires françaises des XVIe et XVIIe siècles." SHS Web of Conferences 138 (2022): 03003. http://dx.doi.org/10.1051/shsconf/202213803003.
Full textAbstract:
L’article propose d’outiller, par le recours à l’analyse de réseaux, l’étude des références, c’est-à-dire les mentions et les citations d’autorités dans les textes métalinguistiques. Il s’agit, d’une part, de présenter les principes méthodologiques qui ont présidé à l’élaboration d’une visualisation sous forme de graphes de réseau : la modélisation et la construction d’une base de données de références et la génération du graphe dans un logiciel approprié. Il est question, d’autre part, de décrire les aspects liés à l’interprétation des graphes de réseaux, le but étant d’explorer le potentiel de l’outil dans l’histoire des idées linguistiques.
6
Sicard, E., S. Ben Dhia, and L. Trojman. "Conception de cellules nano-CMOS – Perspectives à dix ans." J3eA 23 (2024): 1018. http://dx.doi.org/10.1051/j3ea/20241018.
Full textAbstract:
La conception de cellules logique et analogique servant de base à la création de circuits intégrés a évolué graduellement au fil des progrès technologiques. Nous proposons dans cet article une synthèse de cette évolution avec une prospective à 10 ans. L’évolution de nos travaux pratiques vers la conception 3nm Nano-Sheet est aussi décrite, basé sur un retour d’expérience de deux promotions. Nous esquissons l’évolution des besoins en enseignement et recherche pour la prochaine décennie, et notre stratégie de mise à disposition de logiciel de conception nano-CMOS implémentant les évolutions majeures associées à chaque génération technologique.
7
Boyadjian, Julien. "Les logiques sociales de structuration de l’audience de l’internet français." Réseaux N° 243, no. 1 (February 20, 2024): 67–101. http://dx.doi.org/10.3917/res.243.0067.
Full textAbstract:
Cet article interroge les logiques sociales de structuration de l’audience des 500 sites et applications internet générant le plus de trafic en France. L’analyse se focalise sur les données inédites du panel « Audience Internet Global » de Médiamétrie, qui mesure à l’aide d’un logiciel dédié les pratiques de navigation d’un panel de 25 000 individus âgés de 2 ans et plus, représentatifs de la population internaute française. L’article met au jour les trois variables « lourdes » explicatives de la distribution de l’audience numérique : le genre, l’âge et la position sociale des internautes. Alors que les inégalités d’accès à internet et les inégalités de compétences numériques ont été bien documentées dans la littérature spécialisée, cette recherche met en exergue une dimension moins souvent étudiée de la « fracture numérique » : les inégalités de navigation des internautes. Plutôt qu’évoquer une fracture numérique de « troisième génération », l’article postule plutôt l’existence d’une homologie structurale entre l’espace numérique et l’espace social « réel ».
8
El Bettioui, Rachid, Abdelkhalil Haidane, Lhassane Jaouhari, and Samir Mirdasse. "Digitalisation pédagogique et défis de l’enseignement à distance." revistamultidisciplinar.com 4, no. 1 (2022): 27–48. http://dx.doi.org/10.23882/rmd.22083.
Full textAbstract:
La digitalisation représente, de notre temps, une nécessité de développement et de compétitivité de la majorité des secteurs. Le secteur de l’enseignement supérieur n’échappe pas de cette transformation digitale. Ainsi, au cours des deux dernières décennies, la pédagogie digitale est devenue l'une des formes d'apprentissage les plus adéquates pour la génération actuelle des étudiants de l'enseignement supérieur qui préfèrent un modèle de formation doté des smart universités. Dans ce cadre, le présent article consiste à étudier les défis de l’enseignement à distance appliqué au Maroc pendant la pandémie de COVID-19 pour maintenir la formation des étudiants. La méthode de recherche utilisée est la méthode quantitative. Ainsi, un questionnaire en ligne a été rempli par 487 étudiants de l’Ecole supérieure de technologie d’Agadir de l’université Ibn Zohr au Maroc. Les données collectées ont été analysées premièrement par la méthode descriptive (statistique descriptive uni-variée), puis par la méthode analytique en appliquant le Test de Khi-deux, à l’aide du logiciel IBM SPSS Statistics. Cette dernière a été menée pour analyser les relations entre les variables du modèle conceptuel. Les résultats de cette recherche ont révélé que l’accélération de la transformation digitale de l’enseignement supérieur fait face à plusieurs défis. Au niveau des apprenants, de nombreux étudiants éprouvent de sérieuses difficultés à utiliser les plateformes digitales de l’enseignement à savoir le problème de lenteur et de coût de connexion internet, la qualité de la vidéo et du son des vidéoconférences, la difficulté de compréhension des cours… Par conséquent, ils ne participent pas toujours à leurs classes virtuelles.
9
Bertrand-Gastaldy, Suzanne, and Gracia Pagola. "L’analyse du contenu textuel en vue de la construction de thésaurus et de l’indexation assistées par ordinateur; applications possibles avec SATO." Analyse de l’information textuelle 38, no. 2 (February 13, 2015): 75–89. http://dx.doi.org/10.7202/1028612ar.
Full textAbstract:
L’intervention de l’ordinateur, longtemps réservée aux tâches mécaniques effectuées en aval de l’analyse des documents et de la constitution des thésaurus, se déplace en amont vers l’analyse elle-même. Des logiciels existent désormais qui assistent l’exploration des textes. On montre comment SATO (système d’analyse de textes par ordinateur), utilisé par des chercheurs de plusieurs disciplines, peut faciliter les tâches de contrôle et de structuration du vocabulaire ainsi que l’indexation. On présente ses caractéristiques importantes : possibilité d’ajouter des propriétés aux mots et aux segments textuels, génération de lexiques, analyses lexico-statistiques diverses, définition de sous-ensembles de textes et de lexiques. On examine ensuite l’aide apportée dans l’élaboration de thésaurus : extraction d’unités lexicales simples et complexes, pondération pour faciliter le choix, regroupements divers, repérage en contexte de formes équivalentes, de synonymes, de termes génériques et spécifiques, de termes associés. L’indexation assistée par ordinateur est également illustrée, avec des perspectives d’analyse « sur mesure », de même que plusieurs stratégies d’interrogation. On conclut sur la nécessité de résoudre les questions théoriques auxquelles l’analyse du contenu confronte désormais les spécialistes de l’information.
10
Blanpain, O., and B. Chocat. "Un système d'aide au choix de modèles hydrologiques et hydrauliques pour simuler les réseaux d'assainissement : application aux modèles de propagation en conduite." Revue des sciences de l'eau 12, no. 2 (April 12, 2005): 317–32. http://dx.doi.org/10.7202/705354ar.
Full textAbstract:
La nouvelle génération de logiciels destinés aux études d'assainissement dispose d'un nombre croissant de modèles hydrauliques et hydrologiques. Il en découle une augmentation des possibilités de choix parmi ces modèles qui complique la tâche des techniciens de l'assainissement. Pour limiter cette difficulté, nous suggérons d'introduire dans les logiciels des outils permettant d'aider les utilisateurs à choisir les modèles en adéquation avec le réseau à simuler. Dans cet article, nous nous intéresserons essentiellement aux modèles de propagation en conduite. Les modèles de propagation les plus usités sont un modèle basé sur les équations de Barré de Saint Venant et des modèles conceptuels nettement plus simples tels que le modèle Muskingum. Ces modèles présentent chacun des avantages et des inconvénients. Dans la pratique, plus un modèle est sophistiqué, mieux il est capable de représenter la réalité. En contrepartie, il est plus difficile à utiliser et nécessite davantage de données et des temps de calcul plus importants. Le problème qui se pose alors à l'utilisateur est de décider quel modèle utiliser. Pour régler ce problème, nous proposons un système d'aide au choix prenant en compte les caractéristiques du réseau étudié, les événements pluvieux simulés et le type d'étude réalisée. Les connaissances nécessaires pour cette aide au choix de modèles peuvent être de qualité variable. Pour mesurer la confiance à accorder à ces connaissances, il est nécessaire de prendre en compte les notions d'imprécision et d'incertitude. Cet état de fait nous a conduit, lors de l'élaboration de cet outil d'aide au choix des modèles de propagation en conduite, à définir un ensemble de règles utilisant la théorie des sous-ensembles flous.
11
Youssefi, David, Dimitri Lallement, Christian Hümmer, Emmanuelle Sarrazin, Emmanuel Dubois, and Jean-Marc Delvit. "Pléiades à Pléiades Neo : Une analyse de l'amélioration de la restitution 3D." Revue Française de Photogrammétrie et de Télédétection 226, no. 1 (May 15, 2024): 1–9. http://dx.doi.org/10.52638/rfpt.2024.672.
Full textAbstract:
Fort de son expertise en géométrie et en 3D, le Centre National d’Études Spatiales (CNES) développe de nouveaux outilsopen-source capitalisant une partie de son savoir-faire. Ils sont destinés à être au coeur du segment sol de la missionCO3D et à servir tout l’écosystème aval. Le traitement de ces données impose de concevoir des chaînes robustes, capablesde passer à l’échelle. De ce fait, les outils 3D du CNES sont massivement parallélisables, utilisant des technologiesmultiprocesseurs voire multi-noeuds tout en restant agnostique au matériel utilisé. Ces logiciels proposent des interfacessimples afin de permettre également leur utilisation en dehors des chaînes de traitement opérationnelles. Ces outils sontcapables de produire un Modèle Numérique de Surface (MNS) à partir de couples stéréoscopiques d’images (CARS) dontl’étape majeure repose sur la mise en correspondance (Pandora). Par la suite, ils permettent d’extraire un Modèle Numériquede Terrain (MNT) à partir du MNS produit (Bulldozer) et d’en dériver un Modèle Numérique de Hauteur (MNH). Suiteà cela, des comparaisons entre tous ces modèles numériques d’élévation peuvent également être effectuées (Demcompare).Dans l’attente de l’arrivée des données CO3D, le CNES éprouve d’ores et déjà ces outils sur d’autres capteurs,dont Pléiades et plus récemment Pléiades Neo. Cet article qualifie l’amélioration de cette restitution 3D apportée par cettenouvelle génération de satellite. Les outils 3D du CNES sont sous licence libre et non contaminante (Licence Apache v2)afin de notamment permettre l’exploitation et la valorisation des données Pléiades et maintenant Pléiades Neo. Ils offrentenfin la possibilité de reproduire les résultats présentés dans cet article.
12
Gouadec, Daniel. "Le bagage spécifique du localiseur/localisateur." Meta 48, no. 4 (August 6, 2004): 526–45. http://dx.doi.org/10.7202/008724ar.
Full textAbstract:
Résumé L’auteur se propose de présenter le bagage spécifique ou nouveau profil requis du localiseur ou localisateur. Il commence par définir ce qu’est la « localisation » dans ses rapports avec l’internationalisation, la globalisation et la traduction. Puis l’analyse de la localisation se fonde sur une décomposition des tâches constituant les prestations courantes de localisation (clonage et pseudo-clonage de sites Web, localisation des logiciels et autres jeux vidéo et de la documentation d’accompagnement). La connaissance des contenus de la prestation de localisation permet de construire le profil du localiseur ou localisateur vu ici comme le traducteur le plus abouti en termes de maîtrise de la traduction spécialisée, de la rédaction et de la réécriture, de contrôle des ergonomies, de gestion de la qualité, de gestion de projets, de gestion d’équipes de projets et, bien évidemment, de maîtrise de l’informatique vue à la fois comme une discipline, comme une technique, et comme une somme d’outils. L’auteur plaide pour une redéfinition des profils de traducteurs qui, faisant reculer les frontières de leurs domaines de compétences, leur permettrait de conquérir une part aussi large que possible des nouveaux marchés de la localisation. Il propose un profil de traducteur reconverti en ingénieur en communication multilingue et multimédia, dont les compétences et les marchés incluraient, entre autres, toutes les formes de ce qu’il est convenu d’appeler la localisation et qui n’est qu’une variante, triplement spécialisée et doublement valorisée, de la traduction. Il conclut en insistant sur les défis que posent aujourd’hui ces nouvelles formes de spécialisations et spécialités aux traducteurs (qui doivent faire une sorte de révolution culturelle pour des raisons de marketing) et aux formateurs (qui ont la responsabilité de faire en sorte que les nouvelles générations de traducteurs puissent entrer de plain-pied sur les marchés les plus enrichissants), dans les deux sens du terme. Il confirme qu’une nouvelle évolution/révolution des marchés est en marche et que toutes les parties concernées, au premier rang desquelles figurent les institutions de formation, doivent s’y préparer.
13
Bohoussou, Crystel Natacha, Hyppolite N'Da Dibi, Noel Kouman Nanan, Memon Kassaou Guirmaisso, Kadio Saint Rodrigue Aka, and Jephte N'Dri Koffi. "Dynamique spatio-temporelle des écosystèmes de mangroves sous pressions anthropiques dans le Sud-est du Parc national d'Azagny (PNA) de 1988 à 2020 au Sud de la Côte d'Ivoire." International Journal of Biological and Chemical Sciences 18, no. 1 (May 9, 2024): 244–60. http://dx.doi.org/10.4314/ijbcs.v18i1.20.
Full textAbstract:
Comme les forêts tropicales, les forêts de mangrove ne sont pas épargnées du recul constant en superficie partout dans le monde comme en Côte d’Ivoire. La plupart du temps ce recul est causé par des pressions anthropiques exercées sur ces forêts à cause de l’activité socioéconomique lié à celle-ci sans une conservation adéquate de la ressource pour les générations futures. C’est dans cette optique que cette étude a été initiée dans le Sud-Est du Parc National d’Azagny. Elle s’était fixée pour objectif général d’améliorer la gestion des écosystèmes de mangrove en évaluant l’impact des activités anthropiques sur cette ressource dans ladite zone. Le matériel utilisé était essentiellement composé de Garmin Map type 62s, quatre (4) images Landsat (1988, 1998, 2008, 2020), ainsi que les logiciels Envi 5.1 et QGIS 3.3 et ArcGIS 10.2. La méthodologie s’appuyait sur le prétraitement des images, suivies du traitement et l’analyse de la répartition spatiale. Les cartes de dynamique résultante montraient que les formations végétales naturelles ont régressé au profit des formations végétales anthropisées. Les superficies de la mangrove ont considérablement baissé en passant de 36,14% en 1988 à 4,4% en 2020 sous pression anthropique. Les cartes de dynamique et les superficies des différentes classes obtenues étaient des outils et informations importantes pour la mise en œuvre d’une politique de gestion durable des écosystèmes de mangrove. English title: Spatio-temporal dynamics of mangrove ecosystems under anthropogenic pressures in the southeastern Azagny National Park (ANP) from 1988 to 2020 in southern Côte d'Ivoire Like tropical forests, mangrove forests are not spared from the constant decline in surface area throughoutthe world, as in Côte d'Ivoire. Most of the time, this decline was caused by anthropic pressures exerted on these forests due to the socio-economic activity associated with them, without adequate conservation of the resource for future generations. It was with this in mind that this study was initiated in the south-east of the Azagny National Park. Its overall aim was to improve the management of mangrove ecosystems by assessing the impact of human activities on this resource in the aforementioned area. The equipment used was essentially Garmin Map type 62s, four (4) Landsat images (1988, 1998, 2008, 2020), as well as Envi 5.1 and QGIS 3.3 and ArcGIS 10.2 software. The methodology was based on image pre-processing, followed by processing and analysis of the spatial distribution. The resulting dynamics maps showed that natural plant formations haved regressed in favor of anthropized plant formations. The area of mangroves has declined considerably, from 36.14% in 1988 to 4.41% in 2020 under anthropogenic pressure. The dynamic maps and surface areas of the different classes obtained are important tools and information for implementing a sustainable management policy for mangrove ecosystems.
14
Bughin, Jacques. "DISTRIBUTION DE PRODUCTIVITÉ ASSOCIÉE À L’IA GÉNÉRATIVE EN ENTREPRISE : UNE NOUVELLE FRACTURE NUMÉRIQUE ?" Management & Data Science, 2023. http://dx.doi.org/10.36863/mds.a.23957.
Full textAbstract:
L'intelligence artificielle générative est en train d'envahir les bureaux et les salles de réunion des entreprises, ce qui soulève des questions sur les avantages et les inconvénients de son utilisation dans l'entreprise. La première question fondamentale est de savoir si l'IA générative change vraiment la donne, et est source d’avantage. Nous regardons donc des indicateurs d’intérêt et notamment les gains de productivité associés à trois pratiques susceptibles d’etre affectée par l’IA générative, dont l’écriture de logiciel, la formation de contenu et l’interaction clients. Nous constatons qu’il y a des avantages matériels, ce nouveau moment de l'IA peut sembler un peu chaotique, mais il est certainement en train de trouver des gisements de productivité que le monde de l’entreprise ne peut ignorer. Il n’empêche que ceux-ci varient toutefois considérablement d'un cas à l'autre augurant d’un risque d’une nouvelle fracture numérique (« digital divide »).
15
Dufeu, Frédéric, Peter Manning, and Michael Clarke. "Des outils interactifs pour l’étude des méthodes de composition des musiques électroacoustiques : les logiciels TaCEM comme ressources pédagogiques." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.479.
Full textAbstract:
Introduction L’enseignement et l’apprentissage de la musique liée aux technologies, et plus particulièrement au traitement numérique de signal, peuvent dans une large mesure bénéficier de la recherche sur la production des musiques électroacoustiques. En effet, ce répertoire repose par définition sur un usage substantiel des nouvelles technologies, et l’étude d’une situation compositionnelle donnée offre un point de vue privilégié sur, d’une part, un processus créatif singulier et, d’autre part, un ensemble de techniques pour la génération et la transformation du son et des matériaux musicaux. Une approche par études de cas peut ainsi compléter l’apprentissage in abstracto des méthodes de composition musicale et des algorithmes de traitement de signal. Le projet TaCEM, conduit par les trois auteurs de cet article de 2012 à 2017, s’est donné pour objectif l’investigation des musiques électroacoustiques et une orientation particulière sur la relation entre innovations technologiques et processus compositionnels1. Bien que le projet relève principalement de la recherche musicologique, avec des questionnements à la fois d’ordre historique et analytique, une part significative de sa mise en œuvre s’appuie sur le développement de logiciels innovants qui peuvent également servir d’outils dans un contexte pédagogique. De fait, une partie de la recherche intégrant une importante dimension logicielle, entreprise par Michael Clarke à l’Université de Huddersfield avant le projet TaCEM, é
16
López Charles, Carlos. "La transduction dans la création de la musique visuelle en temps différé." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.202.
Full textAbstract:
Le coût de traitement computationnel nécessaire pour transférer des données entre le son, le geste et l'image numériques pose des contraintes considérables sur la quantité, la qualité et les processus de manipulation qu’un artiste peut réaliser sur ces matériaux en temps réel. Cet article introduit des techniques et outils logiciels pour établir des transferts de données entre divers espaces de représentation (comme des signaux audio ou vidéo, des bases des données ou des algorithmes génératifs, par exemple) en temps différé. Trois exemples de l’usage des idées présentées sont décrits pour analyser les avantages que cette approche pour la création audiovisuelle.
17
DELAHAIE, Fiona. "Art as an invitation to care for the living and the Earth." Reprendre l’art aux machines numériques ? 12, no. 2 (December 19, 2023). http://dx.doi.org/10.25965/interfaces-numeriques.5101.
Full textAbstract:
Si le numérique est désormais accesible au plus grand nombre et fait partie de la vie quotidienne, l’utilisation de l’Intelligence Artificielle s’est également déployée dans le monde de l’art et de la culture : naissance de laboratoires de recherche art/science, recours à l’imagerie virtuelle dans des expositions artistiques dites « immersives », mise en ligne de plateformes et logiciels de conception générative… À l’aune de ces nouvelles tendances, que devient concrètement la place de l’art ? Peut-on encore mettre à l’épreuve le processus créatif en tant que dynamique respiratoire, esthésique, vivante ? Ou sommes-nous désormais voués à contempler des créations chimériques, hors-sol ? Pour cet article, nous proposons de revenir sur le débat opposant la créativité et la technicité afin d’interroger les pratiques numériques actuelles qui entendent flirter avec le geste artistique. Nous verrons que dans l’abstraction, voire l’anesthésie du sens (significatif et sensoriel), émerge la nécessité de repenser la création artistique comme une invitation à prendre soin du vivant.
18
Sindhuja, R., and S. Padma. "Logical Analysis for Switching Sequence Generation in 15-Level Reduced Switch MLI Analyse logique pour la génération de séquences de commutation dans le MLI à commutation réduite à 15 niveaux." IEEE Canadian Journal of Electrical and Computer Engineering, 2023, 1–9. http://dx.doi.org/10.1109/icjece.2023.3275734.
Full text
19
NZEBOP NDENOKA, Gérard, Maurice Tchuenté, and Emmanuel Simeu. "Language and semantics of expressions for Grafcet model synthesis in a MDE environment." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 33 - 2020 - Special... (November 22, 2021). http://dx.doi.org/10.46298/arima.6452.
Full textAbstract:
The GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) is a powerful graphical modeling language for the pecification of controllers in discrete event systems.It uses expressions to express the conditions of transitions and conditional actions as well as the logical and arithmetic expressions assigned to stored actions. However, several research works has focused on the transformation of Grafcet specifications (including expressions) into control code for embedded systems. To make it easier to edit valid Grafcet models and generate code, it is necessary to propose a formalization of the Grafcet expression language permitting to validate its constructs and provide an appropriate semantics. For this, we propose a context-free grammar that generates the whole set of Grafcet expressions, by extending the usual grammars of logical and arithmetic expressions. We also propose a metamodel and an associated semantics of Grafcet expressions to facilitate the implementation of the Grafcet language. A parser of the expressions Grafcet emph G7Expr is then obtained thanks to the generator of parsers ANTLR, while the metamodel is implemented in the Eclipse EMF Model Driven Engineering (MDE) environment. The combination of the two tools makes it possible to analyze and automatically build Grafcet expressions when editing and synthesizing Grafcet models. Le GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) est un puissant lan-gage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événe-ments discrets. Il fait usage des expressions pour exprimer les conditions de franchissement des transitions et des actions conditionnelles ainsi que les expressions logiques et arithmétiques assi-gnées aux actions stockées. Cependant, de nombreux travaux se sont penchés sur la transformation de spécifications Grafcet (y compris les expressions) en code de contrôle pour systèmes embar-qués. Pour faciliter l'édition de modèles Grafcet valides et la génération du code de contrôle, il est judicieux de proposer une formalisation du langage des expressions Grafcet, permettant de valider ses constructions et d'en pourvoir une sémantique appropriée. Pour cela, nous proposons une gram-maire hors-contexte qui génère tout l'ensemble des expressions Grafcet, en étendant les grammaires usuelles des expressions arithmétiques et logiques. Nous proposons également un métamodèle et une sémantique associée des expressions Grafcet pour faciliter la mise en oeuvre du langage Grafcet sous la forme d'un parseur des expressions Grafcet G7Expr obtenu grce au générateur d'analyseurs syntaxiques ANTLR, alors que le métamodèle est mis en oeuvre dans l'environnement d'Ingénie-rie Dirigée par les Modèles (IDM) Eclipse EMF. L'association des deux outils permet d'analyser et de construire automatiquement les expressions Grafcet lors de l'édition et la synthèse des modèles Grafcet.