در رویه برنامه ریزی گزاره ای SATPLAN چون عامل نمیداند چند مرحله باید طی کند تا به هدف برسد، الگوریتم، هر تعداد ممکن از مراحل (t) را تست میکند تا به حداکثر طول ممکن برنامه ریزی، یعنی Tmax برسد. در این روش تضمین میشود که کوتاه ترین برنامه ریزی در صورت وجود پیدا شود

نگهداری نرم افزار : "دستکاری یک محصول نرم افزاری پس از آنکه تحویل داده شد برای تصحیح خطاها، بهبود کارایی و یا سایر صفات، و یا تطبیق محصول برای یک محیط تغییر یافته.

ساختمان مجموعه ای از عناصر است که میتوانند همنوع نباشند و مانند کلاسها میتوانند برای تعریف اشیا به کار گرفته شوند.

طراحی ماژولار، پیچیدگی را کم و اعمال تغییرات را آسان میکند و نتیجه نهایی را میتوان بصورت همزمان توسط چند سیستم توسعه داد. معیارهای طراحی ماژولار نرم افزار عبارتنداز: استقلال عملکردی،همبستگی و جفت شدن و...

الگوریتم WALKSAT خانواده ای از الگوریتم های کارآمد در استنتاج گزاره ای مبتنی بر بازرسی مدل است که در هر تکرار یک کلاز ارضا نشده را انتخاب میکند و نمادی را از کلاز انتخاب میکند تا تغییر دهد.

ساختمان داده درختهای قرمز - سیاه RBT یکی از درختهای متوازن، که زمان جست وجو در آن مناسب میباشد است که راه حلی برای مسئله اداره کردن درختهای جست وجویی نامتوازن هستند.

پیش پردازنده، نوعی مترجم است که دستورات توسعه یافته ای از یک زبان برنامه نویسی را گرفته، به دستورات قابل فهم برای کامپایلر همان زبان تبدیل میکند.

HTML5 یک زبان نشانه گذاری برای توصیف اسناد وب (صفحات وب) است و در مقایسه با HTML عناصری از آن حذف شده اند و برچسب های جدیدی نیز به آن اضافه گردیده اند.