توافق‌نامه سایکس–پیکو
آنگی استاد حقوق در افتتاحیه سمپوزیوم سایکس-پیکو در سال ۲۰۱۶ گفت که بخش عظم این توافق‌نامه با اهداف تجاری و اقتصادی و دسترسی به بنادر و ایجاد راه‌آهن تنظیم شده‌است.
ابیکس
ابیکس برای دست یافتن به اهداف زیر طراحی شد: مهم‌ترین واصلی‌ترین هدف، کمک به نوشتن نرم‌افزارهایی با قابلیت اطمینان بیشتر است. این هدف با اجرای مرتب خاصیت مؤثر زیر قابل دستیابی است. هر خطای کدی باید هر چه سریعتر آشکار شود. بهتر است در زمان کامپایل یا در غیر این صورت در زمان اجرا کشف و آشکار شود.