Industrial needs and development processes
UML/OCL modeling of programming languages: towards an incremental IDM process

Add to my library

H3880 V2 Article

Industrial needs and development processes


UML/OCL modeling of programming languages: towards an incremental IDM process

Authors : Pierre BAZEX, Agusti CANALS

Publication date: August 10, 2011 | Lire en français

Add to my library Add to my library

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

1. Industrial needs and development processes

Using the MDA approach (in fact, the MDE approach advocated by the OMG) in industry is a definite challenge. To date, some more or less successful attempts have been made, but we're not at the end of the tunnel yet. What's the situation?

In this dossier, we present a systematic and pragmatic method for modeling the semantics of programming languages based on UML and OCL descriptions, and its application within an IDM process where models are at the heart of software development. This approach relies on the mathematical precision of denotational semantics, as well as the accessibility and leading role of UML/OCL definitions,...

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?


Article included in this offer

"Software technologies and System architectures"

( 230 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

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...

De la modélisation conceptuelle à l'ingénierie des exigences

L’impact critique de l’analyse des exigences sur la qualité du logiciel a été reconnu de longue date et à...

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...

Tous les livres blancs
Toutes les actualités
Contact us