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

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.