论文部分内容阅读
十多年来,以提高软件生产率及可靠性为目标,软件工程研究主要有两方向:一是研究形式化的抽象描述语言(Specificationlanguage),以西欧学术理论界为代表;另一是研制支撑软件开发的CASE工具与环境,其代表为北美工业界.前者强调数学理论,其哲学背景是理性主义,后者强调软件技术,其哲学依据是实用主义.自80年代中以来,两方面各走极端.前者提供的抽象描述语言越来越数学化,与工程人员的数学水平及工作习惯相距越
For more than a decade, to improve software productivity and reliability as the goal, the software engineering research has two main directions: First, the study of formalized abstract description language (Specificationlanguage), to Western academic theory as the representative; the other is to develop support software Developed CASE tools and environments, represented by the North American industrial community, the former emphasizes mathematical theory, its philosophical background is rationalism, which emphasizes software technology, its philosophy is based on pragmatism since the mid-1980s, The former provides abstract description languages that are mathematically more and more distant from the mathematics and work habits of engineers