2. Modélisation en UML/OCL des propriétés des langages de programmation
Un langage de programmation est défini formellement par un ensemble de propriétés syntaxiques et sémantiques. L'objectif de ces propriétés est de fournir des méthodes pour raisonner sur les programmes en cherchant à prouver qu'ils vérifient toutes les propriétés que l'on peut exiger de leur part. La sémantique d'un langage de programmation repose donc sur une définition de propriétés formelles décrivant les aspects syntaxiques, opérationnels et axiomatiques de tout programme du langage :
un langage de programmation est défini préalablement à l'aide d'une grammaire décrivant les mots du langage et la structure des différentes constructions syntaxiques que doit respecter tout programme du langage, considéré dès lors comme un ensemble de formules bien formées ;
un langage de programmation est ensuite défini à...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Modélisation en UML/OCL des propriétés des langages de programmation
Diagramme d'activité
Sources bibliographiques
- (1) - AUDIBERT (L.) - Cours – UML. http://laurent-audibert.developpez.com/Cours-UML/html/index.html
- (2) - DE FOMBELLE (G.) -...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Traçabilité"
(
257 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
