A program, together with the libraries it uses, might be certified (e.g. as to correctness, documentation requirements, or performance) as a package, but not if components can be replaced.
یک برنامه همراه با کتابخانه ای که از آن استفاده می‌کند ممکن است به عنوان یک بسته (مثلاً به صحت، الزامات اسناد یا عملکرد) گواهی شده باشد، اما نه اگر اجزاء بتوانند جایگزین شوند.