چکیدهدر این مقاله شیوه ای برای توسعه و تائید سیستم های نرم افزاری تطبیقی توزیع شده نمایش داده می شود . اساس چهارچوب این تحقیق استفاده از زبانهای کوریو گرافی است که به ما اجازه می دهد به وسیله سازه ای صحت و درستی آن را بررسی می کنیم . الگوهای جریان کار همچنین به عنوان ابزار انتزاعی مورد استفاده قرار می گیرند تا سیستم های واقعی را طراحی کنند . همچنین در این مقاله شیوه ها بر اساس انتزاعی و بازبینی پویا ( دینامیک ) می باشند و در این چهارچوب جمع آوری شده اند تا پیچیدگی بازبینی را کاهش دهد .IOC ، POC، adaptive software development: کلمات کلیدی