软件形式化方法第章绪论.pptVIP

* * * * * * * * * * * * * * * * * * * * * * Before explaining what an on-demand business is, take a look at this real architecture. Imagine you are the owner of one of the components of this system, and you are asked to make a small change. Since you are the owner of the component, you know it well and you determine only one line of code needs to be changed. Will this change be propagated to production in 5 minutes? 1 day? 1 week? 1 month? Small changes like this may require several weeks/months. Imagine if this was a bank. A problem in a bank could be terrible for the business!!! Thus propagating changes like this to production require thorough testing. Anyway, the point here is that in an on-demand business integration is crucial and would allow for changes to be propagated very fast allowing the business to react quickly to market changes. The business shown here with this architecture would not be an on-demand business if it cannot react quickly. IBM view for an “on Demand Business” An on demand business is an enterprise whose business processes – integrated, end-to-end, across the company and with key partners, suppliers and customers – can respond with speed to any customer demand, market opportunity or external threat. * 管理: 对软件开发活动的良好管理和组. 建立较严格的工作规范，设法深入控制软件开发过程. 培训人员，提高软件开发参与者的认识能力和工作能力. 安排丰富的人际信息交流活动，设法尽早发现软件需求、设计等各个阶段出现的错误和不良决策。以上各点是软件工程研究的重要内容 规律及本质:通过各种不同层次的抽象技术，将复杂系统分解为相对独立的不同层次或部分，提供封装和清晰界面。例如系统开发的层次模型，功能分解，模块化技术，面向对象的技术等. 研究有效的程序开发模型及其支持技术，设法屏蔽软件开发中的难点、解决软件开发中的共性问题。例如图形用户界面技术，客户端－服务器模型，中间件技术，web服务模型等 手段和过程:设计和开发合适的编程语言，以及编程活动中的规律性和模型，以支持有效的良好编程过程。例如结构化程序设计及结构化编程语言，面向对象的技术及相关语言等. 研究软件的各种组件形式，尽可能利用已有的开发成果，提高软件开发的基础层次，降低软件开发的复杂性和代价。例如子程序库，面向对象的类库，组件库等 开发适用的软件工具，支持软件开发中各个阶段的不同活动的需要，支持开发人员对开发结果做深入的分析和检查。如编辑器、调试器、各种程序分析工具、集成程序开发环境、UML支持工具等 * * * * * 1.用自然语言描述需求规格说明，是典型的非形式化方法。 2.用数据流图或实体-联系图建立模型，UML, 是典型的半形式化方法。 3.形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的 * 所谓矛盾是指一组相互冲突的陈述。 二义性是指读者可以用不同方式理解的陈述。 系统规格说明书是很庞大的文档，因此，几乎不可避免地会出现含