Génération de code exécutable
Spécifications fonctionnelles - Génération automatique de code

Ajouter à la bibliothèque

S8100 V1 Article de référence

Génération de code exécutable
Spécifications fonctionnelles - Génération automatique de code

Auteur(s) : Henri BRENIER

Date de publication : 10 décembre 2004 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

4. Génération de code exécutable

Un modèle de spécification détaillé et précis, décrit à l’aide d’un langage déclaratif s’appuyant sur un ensemble bien défini de concepts, ne diffère pas fondamentalement d’un programme écrit à l’aide d’un langage de programmation graphique comme le langage G de LabView (qui est aussi un langage déclaratif). Dans ces conditions, la seule véritable différence réside dans le fait que, dans le premier cas, le choix du langage impératif utilisé est ouvert et que, dans le deuxième cas, ce choix est imposé et l’opération transparente pour l’utilisateur.

4.1 Principe de transcription

Les langages impératifs, par exemple du type flots de contrôle, sont conçus pour permettre d’appeler à bon escient des fonctions précises. Autrement dit, leur fonction est de réagir suivant...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Génération de code exécutable

Article inclus dans l'offre

"Automatique et ingénierie système"

( 226 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Langage UML : développement de logiciel et modélisation visuelle

Le langage UML (pour Unified Modeling Language) est un langage graphique de modélisation des systèmes log...

Validation des algorithmes en UML et OCL

Cet article traite de propriétés formelles des langages de programmation dont le but est de vérifier, voi...

Programmation graphique des applications de contrôle-commande - Logiciel LabVIEW et applications industrielles

Ce dossier fait suite au dossier  Programmation graphique des applications de contrôle-commande- Notions...

Entrepôts de données

Cet article traite des bases de données spécifiques, nommées entrepôts de données et utilisées par les ap...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous