现代软件工程的重要方向是形式化和（）。

相关题目

• 计算机采用存储程序的方式将程序和数据存放在同一个存储器中，这一设计思想是由（）提出的。
• 计算机的CPU每执行一个（），就完成一步基本运算或判断。
• 下面关于微型计算机的发展方向的描述不正确的是（）。
• 以二进制和程序控制为基础的计算机结构是谁最早提出的？（）
• 世界上首次提出存储程序计算机体系结构的科学家是（）。