软件工程专业期中复习题

软件工程本科《软件形式化方法》期中复习题（闭卷）1.（1）何谓软件？软件的本质特性是什么？软件技术发展主要驱动力是什么？软件是客观世界中问题空间与解空间的具体描述，是追求表达能力强、更符合人类思维模式