activity
20102014
most citedWhat we understand is what we get: Assessment in Spreadsheets

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2010 · cs.DLShow all

1 paper · 2 filters

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…