在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？

 在开发大型软件系统的过程中应该使用形式化说明技术。

　　应用形式化方法的准则：（1）应该选用适当的表示方法。（2）应该形式化，但不要过分形式化。（3）应该估算成本。（4）应该有形式化方法顾问随时提供咨询。（5）不应该放弃传统的开发方法。（6）应该建立详尽的文档。（7）不应该放弃质量标准。（8）不应该盲目依赖形式化方法。（9）应该测试、测试再测试。（10）应该重用。