Whatever the approach to development may be, the final program must satisfy some fundamental properties.
هر روشی که برای برنامه‌نویسی به کار برود، برنامه نهایی باید دارای تعدادی مشخصات پایه باشد.