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

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

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

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

《高级软件工程》课程教学大纲 Advanced Software Engineering

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

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

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?)

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?

一、引言(4号字) 1、阐明开发本项目的目的、意义 2、标明该项目的名称、代码。 3、注明本项目的项目负责人、系统分析员、系统设计员、程序设计员、程序