A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We present the S T E X+ system, a user-driven advancement of S T E X -a semantic extension of L A T E X that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc documents for the Web or further processing. Originally S T E X had been created as an invasive, semantic frontend for authoring XML documents. Here, we used S T E X in a Software Engineering case study as a formalization tool. In order to deal with modular pre-semanticdoi:10.1145/1839707.1839712 dblp:conf/i-semantics/KohlhaseK010 fatcat:atayzf4zwrfvnkzn4uraxcikyq