Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CORR
2010
Springer

favoriteEmaildiscussreport

129views Education» more CORR 2010»

sTeXIDE: An Integrated Development Environment for sTeX Collections

13 years 3 months ago

sTeXIDE: An Integrated Development Environment for sTeX Collections

Download kwarc.info

Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of common, timeconsuming subtasks, which can be supported in an integrated authoring environment. We have adapted the modular Eclipse IDE into STEXIDE, an authoring solution for enhancing productivity in contributing to STEX based corpora. STEXIDE supports context-aware command completion, module management, semantic macro retrieval, and theory graph navigation.

Constantin Jucovschi, Michael Kohlhase

Real-time Traffic

CORR 2010 | Education | MKM Formats | Modular Eclipse Ide | STEX Documents |

claim paper

Related Content

» IDE 20 collective intelligence in software development

» An Integrated Ontology Development Environment for Data Extraction

» Code bubbles rethinking the user interface paradigm of integrated development environments

» A collection of C C and Java code understanding and refactoring plugins

» Developing and evaluating the code bubbles metaphor

» ACTIVE agile coordinator testbed integrated virtual environment

» Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment

» A research demonstration of code bubbles

» Problem Solving Environment Approach to Integrating Diverse Biological Data Sources

Post Info
More Details (n/a)

Added	25 Dec 2010
Updated	25 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Constantin Jucovschi, Michael Kohlhase

Comments (0)