Sciweavers

TKDE
2012
253views Formal Methods» more  TKDE 2012»
11 years 6 months ago
Adding Temporal Constraints to XML Schema
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
Faiz Currim, Sabah Currim, Curtis E. Dyreson, Rich...
ICALT
2006
IEEE
13 years 10 months ago
ANNANN - Next Steps for Scaffolding Learning About Programs
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...
Su White, Clare J. Hooper, Leslie Carr, Timothy P....