CASL یک انتخاب مناسب برای بیان رسمی مشخصات یک نرم افزار و تصدیق آن

یکی از دلایل مهم شکست نرم افزار عدم شناخت کافی از سیستم و تعیین و تعریف مشخصات نادقیق از سیستم است که کشف این اشتباهات در مراحل انتهایی در بسیاری از موارد منجر به شکست و یا طولانی شدن پروژه خواهد شد. CASL یک زبان مشخصات جبری است که می تواند برای بیان رسمی و تصدیق نرم افزار مورد استفاده قرار گیرد. CASL با استفاده از مشخصات خود می تواند برخی از زبان های برنامه نویسی از جمله mL را پیاده سازی کند و این ویژگی CASL بیانگر این موضوع است که CASL یک زبان جامع است که با استفاده از آن می توان مسائل بسیاری را حل نمود. در این تحقیق به مطالعه جامع و کامل زبان CASL پرداخته شد و ساختار و چارچوب این زبان مورد تحلیل و بررسی قرار گرفت و این مهم حاصل شد که CASL برای شناخت و تعیین مشخصات سیستم های نرم افزاری و به ویژه سیستم های بسیار دقیق یک انتخاب بسیار مناسب خواهد بود.