Extended Model driven Architecture to B MethodReportar como inadecuado

Extended Model driven Architecture to B Method - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Université d-Alep 2 DART - Contributions of the Data parallelism to real time LIFL - Laboratoire d-Informatique Fondamentale de Lille, Inria Lille - Nord Europe

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

Autor: Ammar Aljer - Philippe Devienne -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados