1,721,029 research outputs found
Extended Model driven Architecture to B Method
No full textInternational audienceModel 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
Extended Model driven Architecture to B Method
No full textInternational audienceModel 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
Smart City: A living Laboratory
No full textCrisis Response is a public Journal. Along with its associated channels,it is the global information resource that covers all aspects of human-induced disasters or natural hazards, spanning response, disaster risk reduction, resilience, business continuity and security. For more details :https://www.crisis-response.com/Groups/352126/About_Us.asp
- …
