XiaoMi-AI文件搜索系统
World File Search SystemIterative
可用性规范作为迭代开发中的工具。 - DTIC
但如何才能实现这一点呢？Alexander 建议可以开发正式的分析方法来指导无意识的分解（例如，1964：附录 2）。他的方法是将设计表示为一个互连点的空间：每个点都是一个规范，其与其他点的连接程度和特征模拟了相应规范之间的关系。此表示中高度互连的点的群集对应于高度相互关联的规范的集合。Alexander 希望开发一种正式的方法，将整个规范空间划分为这种高度互连的群集。在此基础上开发的详尽划分将是设计问题的无意识分解，因为它将完全基于规范之间的关系，而不是基于先验的分类和分组。
可用性规范作为迭代开发工具。 - DTIC
摘要：当代计算机系统的可用性引发了人们对可用性在系统设计过程中所扮演角色的关注。在本章中，我们批评了由充分阐述的设计替代方案的可用性分析组成的方法。原则上，这种方法无法支持最初产生替代设计的设计过程。我们开发了一种基于可用性规范的方法：针对典型用户执行其预计使用系统时所执行的典型任务，提供精确、可测试的性能目标陈述。反过来，必须将这些因素纳入他们的行为先决条件（我们称之为子技能）中，以便查明和解决设计中的特定问题。与功能规范一样，可用性规范及其所暗示的子技能被视为在整个设计过程中不断完善和改进。介绍了一个来自文本编辑领域的扩展示例。