ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

ADAPTABLE MODEL-DRIVEN ENGINEERING FOR FORMAL METHODS INTEGRATION WITH AGILE TECHNIQUES FOR DESIGN OF SOFTWARE SYSTEMS

Journal: Academic Research International (Vol.4, No. 1)

Publication Date:

Authors : ;

Page : 446-456

Keywords : Formal; Methods; Agile Model Driven Engineering;

Source : Downloadexternal Find it from : Google Scholarexternal

Abstract

An MDE for integrating Formal methods and Agile software development technology is an analogy for combining the complex computer based formality with systematic agile process.MDE principles are adopted which vividly shows how different tools can be called to action. This action aims at extracting a mathematically rigorous representation of a composite scheme that enables one to prove how the assimilation of the two orthogonal animals, Agile and Formal methodology works. Approaches and mechanisms are followed thereafter different methodologies and factors about the acknowledged synergy at various stages in its development.

Last modified: 2013-09-21 17:22:01