[软件工程] 形式化说明技术

形式化说明技术 1、概述 （一） 非形式化方法的缺点 （二） 形式化方法的优势 （三） 应用形式化方法的准则 1.应该选用适当的表示方法 2. 应该形式化，但不要过度形式化 3. 应该估算成本 4.应该有形式化方法顾问随时提供咨询 5.不该该放弃传统的开发方法 6. 应该创建详尽的文档 2、有穷状态机 （一） 概念 3、 Petri网 （一） 概念 1、概述 按照形式化的程度，能够把软件工程使用的

>>阅读原文<<