西安石油大学：《软件工程 Software Engineering》课程教学资源_试题（三）

Requirements specification: A structured document that sets out the services the system is expected to provide Should be precise so that it can act as a contract between the system procurer and software developer and thus needs to be understandable by procurers and developers

design: added inheritance, multiple inheritance, and polymorphism to ADT In process added complexity and increased some types of connectivity Lots of claimed advantages -- so far empirical evaluation is not supporting them well

西安石油大学：《软件工程 Software Engineering》课程教学资源_模拟试题及参考答案（共五套）

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

西安石油大学：《软件工程 Software Engineering》课程教学资源_实验指导书

西安石油大学：《软件工程 Software Engineering》课程教学资源_教学大纲

形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

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