طراحی نرم‌افزار
طراحی نرم‌افزار فرایند حل مسئله و برنامه‌ریزی در راستای ساختن یک نرم‌افزار است. طراحی نرم‌افزار فرایندی است که توسط آن یک عامل، مشخصه ای از نرم‌افزار را طراحی می‌کند که هدف آن، به انجام رساندن اهداف از پیش تعیین شده با استفاده از مجموعه ای از اجزای اولیه و با توجه به محدودیت‌ها است. طراحی نرم‌افزار می‌تواند به عنوان "تمام فعالیت‌های مربوط به مفهوم سازی، طراحی، اجرا، راه اندازی و در نهایت اصلاح سیستم‌های پیچیده" یا "فعالیت‌های مشخص مورد نیاز و قبل از برنامه‌نویسی و … [در] یک پروسه مهندسی نرم‌افزار. طراحی نرم‌افزار معمولاً شامل حل مسئله و برنامه‌ریزی یک راه حل نرم‌افزاری است که شامل طراحی جزئی اجزا و طراحی الگوریتم و طراحی معماری سطح بالا می‌باشد."
مرکوری (زبان برنامه‌نویسی)
این زبان با در ذهن داشتن اصول مهندسی نرم‌افزار طراحی شده‌است. بر خلاف پیاده‌سازی اصلی از پرولوگ، به جای تفسیر مستقیم، جداگانه کامپایل می‌شود که اجازه می‌دهد طیف بسیار گسترده‌تری از اشتباهات که باید قبل از اجرای برنامه گرفته شوند، از بین بروند. این امر باعث به وجود آمدن سیستم ایستای حالت و نوع و سیستم ماژول سفت و سختی شده‌است.