Is there a problem? Why Hard? Syllabus EXamples AAS(FAA Advanced Automation System) FBI CIC IRS Modernization Program

武汉工程大学：EDA实验指导书

附录B型钢规格表 表热等边角钢(GB9787-88)

2.6 金属化合物的测定 2.7 非金属无机物的测定

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?

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

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

武汉工程大学：《综合英语》（英文版） Final For English Majors 2003 (Level 2)(A)

State Machine specifications Define behavior using states and transitions between states