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

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

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

上海交通大学：《生物技术与人类》通识课程教学资源（课堂讨论PPT）电子信息工程与生物学的融合

上海交通大学：《生物技术与人类》通识课程教学资源（小论文）2013夏季小学期_信息工程与生物学的融合——生物技术与信息的应用

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

L Language Structures(1 20=20 points) Directions: Choose the item that best completes each of the following sentences. When Grandma Wang became ill, the girl often A fitted in B worked out C held back D helped out