新加入智源学术委员会的David Harel是知名计算机专家，以色列科学与人文学院院长。昨天学术委员会开会时，他认为AI编程方向很有潜力，并介绍了自己2009年与Michael Gordon合作的工作“Generating Executable Scenarios from Natural Language”（PDF）。

摘要

弥合软件需求规范与指定系统行为的实际执行之间的差距是近年来许多研究的目标。 我们已经创建了一个自然语言接口，对于一类有用的系统，它可以根据结构化需求自动生成可执行代码。 在本文中，我们描述了我们的方法如何使用静态和动态语法来生成实时序列图 (LSC)，它构成了反应式系统序列图的强大可执行扩展。
我们已经实现了从受控自然语言需求到 LSC 的自动翻译，并在两个示例反应系统上进行了演示。