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)