JAIR
2008
14 years 3 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
CAISE
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. Supporting for updating XML documents has recently attracted interest. This paper presents a novel declarative XML update language, which is an extension of the XML-RL qu...