Extended Model driven Architecture to B Method

Aljer, Ammar

Document type :

Compte-rendu et recension critique d'ouvrage

Title :

Extended Model driven Architecture to B Method

Author(s) :

Aljer, Ammar [Auteur]

Université de Lille
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]

Journal title :

Ubiquitous Computing and Communication Journal

Pages :

34-42

Publication date :

2012

ISSN :

1992-8424

English keyword(s) :

MDA
B method
Co-design Refinement
Embedded System
VHDL

HAL domain(s) :

Informatique [cs]

English abstract : [en]

Model Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the ...
Show more >Model Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the standability, the maintainability, etc. Here we show how MDA can be augmented using a formal refinement approach: B method. Doing so enables to gradually refine the development from the abstract specification to the executing implementation; furthermore it permits to prove the coherence between components in low levels even if they are implemented in different technologies.Show less >

Language :

Anglais

Popular science :

Non

Collections :

Laboratoire Génie Civil et géo-Environnement (LGCgE) - ULR 4515

Source :

Harvested from HAL

Extended Model driven Architecture to B Method BibTeX CSV Excel RIS

Extended Model driven Architecture to B Method

BibTeX

CSV

Excel

RIS