130 search results - page 6 / 26 » On Verifying Consistency of XML Specifications |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
EICS
2010
ACM
14 years 6 days ago
2010
ACM
We have developed GrafiXML, an original user interface builder in that it enables designers and developers to design several UIs simultaneously for multiple contexts of use, i.e. ...
ENTCS
2006
13 years 7 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
SERA
2004
Springer
14 years 22 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...