2 citations · 4 across the 5 of their papers we have counts for
Showing cs.DLShow all
2 papers · 1 filter
cs.DL2011
The Planetary System: Executable Science, Technology, Engineering and Math Papers
Christoph Lange, Michael Kohlhase, Catalin David +5
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments…
cs.DL2010
Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats ca…