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

一、软件工程基础 二、数据库设计基础 三、数据结构与算法 四、程序设计基础 五、多媒体技术简介

第一章软件工程 第二章数据结构 第三章操作系统 第四章数据库技术 第五章面向对象程序设评 第六章计算机网络 第七章网页设计

Programming Languages As difficult to discuss rationally as religion or politics. Prone to extreme statements devoid of data. Examples: \It is practically impossible to teach good programming to students that have had a prior exposure to BASIC; as potential programmers they are mentally mutilated beyond hope of regeneration.\(Dijkstra)

opyright Nancy Leveson, Sept. 1999 Stage 1: Forming Team members begin to discover what behaviors are acceptable Usually highly unstructured environment Attempt to identify tasks, how to accomplish them Decisions on what information is needed Hesitant participation

1. When you can measure what you are speaking about, and can express it in numbers, you know something about it; but when you cannot measure it, when you cannot express it in numbers, your knowleage is of a meagre and unsatisfactory kind: It may be the beginning of knowledge, but you have scarcely in your thoughts advanced to the stage of science. Lord Kelvin, a physicist

Reuse (Assume have source code, not a commercial product) Ariane 5. Therac-25. British AtC Expectation Significantly lower development costs and time. Amortize costs among all users or uses Assumptions

Formal design Reviews Associated with each of documentation phases Evaluate with respect to Customer requirements Prescribed standards and practices Contractual requirements

Outline: Software Design Goals History of software design ideas Design principles Design methods Life belt or leg iron?(Budgen)

Abstract Model Specifications Build an abstract model of required software behavior using mathematically defined(perhaps using axioms )types(e. g sets, relations) Define operations by showing effects of that operation on the model Specification includes Model