XCSL: XML Constraint Specification Language.
Marta JacintoGiovani Rubert LibrelottoJosé Carlos RamalhoPedro Rangel HenriquesPublished in: CLEI Electron. J. (2003)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- xml documents
- markup language
- symbolic execution
- xml format
- software environment
- databases
- requirements specification
- relational databases
- xml data
- metadata
- model checking
- xml schema
- object oriented
- data model
- data integration
- machine learning
- software architecture
- building blocks
- xml retrieval
- software engineering
- model checker
- high level