摘要：第一章引言 本使用手册结合了Story软件系统的特点及功能，向用户详细的阐述了软件的运行环境、具体功能、操作步骤以及注意事项，以帮助用户更好更准确的使用软件，确保软件系统正常运行。 1.1系统概述 Story软件本质上是一个故事接龙的游戏，用户可以根据主题及关键词续写故事或者阅读故事，通过发散想象力 阅读全文

摘要：1、在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？ 人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。 应用形式化方法的准则：应该选用释放的表示方法；应该形式化，但不要过分形式化；应 阅读全文

摘要：需求验证的存在是为了验证各需求的正确性，提高软件质量，主要从一致性、完整性、现实性和有效性等方面进行验证。 首先，我们选择了各类代表进行文档的反复审查，包括客户、软件设计人员、测试人员以及其他具有专业知识的人员。通过文档审查以及审查会议，验证了文档的基本格式，确定了各需求之间没有相互矛盾的情况，用户 阅读全文

摘要：网上购物已经成为了一种主流趋势，方便快捷，而且基本可以保证质量。而且未来的网上购物一定会更加发达，不仅质量有所提高，在购物中的感受也不会像现在这样太过平面化，所以实体店在一定程度上受到了威胁。在未来，实体商城可能更多的作为一种消遣，而不是曾经的必需。未来可能商场里有更多的娱乐项目，毕竟娱乐感受是需要 阅读全文