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瞬时水样 2混合水样 3综合水样 1定义(对采样时间和地点的要求 2适用条件(水体、污染物、监测目的

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?

《工程图学》课程教学资源（PPT课件讲稿）基础归纳与总结

《河北工程大学学报（社会科学版）》：以科学教育丰富思想政治课内容有机融合思想政治教育与科学精神培育（营口理工学院：安金辉）

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

State Machine specifications Define behavior using states and transitions between states

第一节 概述 第二节 毒粒的性质 第三节 病毒的复制

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