Can programming language influence correctness? anguages affect the way we think about problems The tools we use have a profound(and devious) influence on our thinking habits, and, therefore on our thinking abilities?

一、需求分析概念 二、需求分析过程 三、需求分析方法 四、需求分析产品

State Machine specifications Define behavior using states and transitions between states

design: added inheritance, multiple inheritance, and polymorphism to ADT In process added complexity and increased some types of connectivity Lots of claimed advantages -- so far empirical evaluation is not supporting them well

Requirements specification: A structured document that sets out the services the system is expected to provide Should be precise so that it can act as a contract between the system procurer and software developer and thus needs to be understandable by procurers and developers

2.1基于计算机的系统与计算机系统

Too complex for complete analysis Separation into non-interacting subsystems distorts the results The most important properties are emergent Too organized for statistics Too much underlying structure that distorts the statistics Organized Complexity\(Weinberg) Copyright Nancy Leveson, Sept 1999

第六章详细设计 6、1 结构化程序设计 6、2 详细设计工具 6、3 面向数据结构的设计方法

第七章编码 7.1程序设计语言 7.2程序设计风格 7.3编码工具

第六章详细设计 6.1结构化程序设计 6.2详细设计工具 6.3面向数据结构的设计方法