State Machine specifications Define behavior using states and transitions between states

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

Fairly primitive and predictive power limited Function Points Count number of inputs and output, user interactions, external interfaces files used Assess each for complexity and multiply by a weighting factor Used to predict size or cost and to assess project productivity

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?

Difficult Person Hostile-aggressie Bullies, cverwhelms, and intimidates cthers nd up to the hostile ade frot atoers-can t accept feedback on t rush into the worst thing that coul happen?)

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

合肥工业大学：《软件工程》课程教学资源（PPT课件讲稿）编码语言发展

一、掌握质量的概念 二、了解质量管理和质量保证的内容和过程 三、掌握评审和审查的过程 四、了解和掌握风险管理的概念与过程

清华大学：《软件工程》课程教学资源（PPT讲义）“写”硕士论文

一、结构程序设计 二、详细设计的工具 三、 Jackson程序设计方法 四、Warnier程序设计方法 五、程序复杂程度的定量度量