Extended Model driven Architecture to B Method

Aljer, Ammar

Type de document :

Compte-rendu et recension critique d'ouvrage

Titre :

Extended Model driven Architecture to B Method

Auteur(s) :

Aljer, Ammar [Auteur]

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

Titre de la revue :

Ubiquitous Computing and Communication Journal

Pagination :

34-42

Date de publication :

2012

ISSN :

1992-8424

Mot(s)-clé(s) en anglais :

MDA
B method
Co-design Refinement
Embedded System
VHDL

Discipline(s) HAL :

Informatique [cs]

Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Vulgarisation :

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