Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language.
Yoshiaki TakataTakeshi NakamuraHiroyuki SekiPublished in: HCI (4) (2003)
Keyphrases
- specification language
- xml documents
- clinical guidelines
- formal specification
- description language
- programming language
- symbolic execution
- software environment
- xml data
- data model
- xml information retrieval
- requirements specification
- semi automatic
- xml schema
- xml databases
- software architecture
- database
- dynamic environments
- open source
- general purpose
- reinforcement learning
- machine learning