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