您将构建什么工具?

主要的通用工具是具有新用户界面的GF的扩展:用于为新域构建系统的语法工程师工具,以及翻译人员使用给定翻译系统的工具。在这些通用工具之上,我们将构建适合于我们案例研究的领域。因此,虽然通用翻译器的工具也可以在数学领域使用,用户将欣赏它与计算机代数系统的集成;博物馆对象工具将与现有工具集成,用于浏览数据库等。这些特定于域的接口的主要思想通用工具也可以作为库使用能够适应新环境的API。