Drasil:生成所有东西(专注于研究软件) 源码

德拉西尔 产生所有的东西! 查看 目录 什么是德拉西尔? 对于众所周知的领域,基于坚实的科学基础,构建软件应该是工程问题。 “充分理解”的最终测试是能够向计算机教授域语言。 Drasil是一个框架,用于从该领域的自然知识库中生成(公认的)研究软件的所有软件工件。 我们利用了软件工件(代码,规范,测试等)中固有的知识内在重复。 更准确地说,我们捕获了软件工件中存在的信息,从而可以由Drasil复制工件中该信息的特定视图。 例如,方程F = ma在文档和Java或Python中呈现时看起来会有所不同,尽管它的含义相同。 通过这种方式,我们获得了可追溯性:我们知道规范文档中的信息与代码中的信息