互联网中每台“”的计算机都有一个IP地址，由于采用二进制(或点分十进制)表示IP地址不便于人们记忆和使用。因此，IP地址也可以使用以符号表示的易记的名字来代替，这种用符号来表示的名字称为该计算机的______。

用于信息系统的战略规划的方法主要有______、关键成功因素法和战略目标转移法。

在结构化生命周期方法中，______阶段的主要任务是总体设计、详细设计。

______是数据库设计的理论依据。

【 】是为了改进将来的可靠性和可维护性，或者为将来的改进奠定良好的基础，而对软件进行的修改和补充。

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。