Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,429,589 papers from all fields of science
Search
Sign In
Create Free Account
Schematron
In markup languages, Schematron is a rule-based validation language for making assertions about the presence or absence of patterns in XML trees. It…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
<oXygen/> XML Editor
Apache Ant (Another Neat Tool)
DocBook
Document Schema Definition Languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Enhancing Metadata though Standardization and Validation: Practical Application at the University of Kansas Libraries
Erin Wolfe
Dublin Core Conference
2017
Corpus ID: 51603668
The Digital Initiatives department at the University of Kansas Libraries is in the process of migrating digital collections and…
Expand
2013
2013
Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems
Sihem Loukil
,
Slim Kallel
,
M. Jmaiel
EUROMICRO Conference on Software Engineering and…
2013
Corpus ID: 17011642
Nowadays, dynamically adaptive systems are gaining more widespread use in several domains (mobile application, airports, banks…
Expand
2013
2013
Model driven development of a generic data control engine: An industrial experience: Short paper
O. Rosec
Research Challenges in Information Science
2013
Corpus ID: 8165109
The Model Driven Development of a generic control engine for Electronic Data Interchange (EDI) has led to the development of a…
Expand
2008
2008
A Collaborative Computing Infrastructure based on atom
F. Kart
,
L. Moser
,
P. Melliar-Smith
International Symposium on Collaborative…
2008
Corpus ID: 11081195
We present a collaborative computing infrastructure that facilitates interactions between distributed applications using the pull…
Expand
2007
2007
Implementing TMCL: XTche : a topic map schema and constraint specification language
G. Librelotto
,
Renato Preigschadt de Azevedo
,
Rogério C. Turchetti
,
J. Ramalho
,
P. Henriques
2007
Corpus ID: 56792245
In this paper we present a Topic Maps Validation System – XTche constraint language and its processor. We started with our strong…
Expand
2005
2005
A Tool Integration Framework for Industrial Distributed Control Systems
Elisabet Estévez-Estévez
,
M. Marcos
,
U. Gangoiti
,
D. Orive
Proceedings of the 44th IEEE Conference on…
2005
Corpus ID: 38550512
This paper presents a tool integration approach for supporting the development cycle of industrial distributed control…
Expand
2004
2004
Automated Verification of Web Sites Using Partial Rewriting
M. Alpuente
,
D. Ballis
,
M. Falaschi
Leveraging Applications of Formal Methods
2004
Corpus ID: 17984774
In this paper, we develop a framework for the automated verification of Web sites which can be used to specify integrity…
Expand
2004
2004
Validating XML with Schematron
J. Tennison
2004
Corpus ID: 58461384
Early on in this book, you learned that XML is a meta-markup language, a specification of the syntax that a wide variety of…
Expand
2002
2002
Constraint specification languages: comparing XCSL, Schematron and XML-Schemas
Marta Jacinto
,
G. Librelotto
,
J. Ramalho
,
P. Henriques
2002
Corpus ID: 62026594
After being able to mark-up text and validate its structure according to a grammar, we may start thinking it would be natural to…
Expand
2002
2002
Structural Constraints for XML
April Kwong
,
Michael Gertz
2002
Corpus ID: 10877470
Recently, there have been several proposals for modeling traditional integrity constraints, such as keys and foreign keys, in the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE