STEX公司+

STEX+：一个灵活的链接数据形式化系统。我们介绍了STEX+系统，这是STEX的一个用户驱动的进步，STEX是LATEX的一个语义扩展，允许生成用于（校对）阅读和打印的高质量PDF文档，以及用于Web或进一步处理的语义XML/OMDoc文档。最初，STEX被创建为一个用于编写XML文档的具有侵入性的语义前端。在这里，我们在软件工程案例研究中使用STEX作为形式化工具。为了处理模块化前语义词汇和关系，我们在参与式设计过程中将其升级为STEX+。我们展示了一个工具链，它从STEX+编辑器开始，最终通过支持OMDoc的版本控制的XML数据库将生成的文档作为XHTML+RDFa链接的数据提供。在最终的输出中，所有的结构注释都被保留，以便启用语义信息检索服务。

这个软件也是同行评审按日记帐汤姆斯.

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. Lange，Christoph:通过语义web集成实现半形式数学知识的协作（2011）
  2. Jucovschi，Constantin；Kohlhase，Michael:STEXIDE:STEX collections的集成开发环境（2010）
  3. Kohlhase，Andrea；Kohlhase，Michael；0002，Christoph Lange:Stex+——链接数据的灵活形式化系统（2010）ioport公司
  4. Andrea Kohlhase；Michael Kohlhase；Lange，Christoph:形式维度：软件工程中MKM的案例研究（2010）