单项选择题 （）是指在规定条件下，用软件实现某种功能所需的计算机资源（包括时间）的有效程序。

单项选择题 （）软件所实现的功能达到它的设计规范和满足用户需求的程序。

单项选择题 （）是为了实现外部规格所规定的更详细的技术规格。