1、在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？
人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。
应用形式化方法的准则：应该选用释放的表示方法；应该形式化，但不要过分形式化；应该估算成本；应该有形式化方法顾问随时提供咨询；不应该放弃传统的开发方法；应该建立详尽的文档；不应该放弃质量标准；不应该盲目依赖形式化方法；应该测试、测试再测试；应该重用。
2、图书流通系统。
每本书都有一个条形码，每个人都有一个带条形码的卡片。但一个借阅人想借一本书时，图书管理员扫描书上的条形码和借阅人卡片的条形码，然后在计算机终端上输入C；当归还一本书时，图书管理员将再次扫描，并输入R。图书管理员可以把一些书加到（+）图书集合中，也可以删除（—）它们。借阅人可以再终端上查找到某个作者所有的书（输入“A=”和作者名字），或具有指定标题的所有书籍（输入“T=”和标题），或属于特定主题范围内的所有图书（输入“S=”加主题范围）。最后，如果借阅人想借的书已被别人借走，图书管理员将给这本书设置一个预约，以便书归还时把书留给预约的借阅人（输入“H=”加书号）。
