Preliminary Experience Using JetBrains MPS to Implement a Requirements Specification Language.
Alberto Rodrigues da SilvaSinisa VlajicSasa LazarevicIlija AntovicVojislav StanojevicMilos MilicPublished in: QUATIC (2014)
Keyphrases
- specification language
- requirements specification
- formal specification
- description language
- programming language
- workflow models
- software environment
- symbolic execution
- web services
- general purpose
- database
- artificial intelligence
- relational databases
- constraint satisfaction problems
- orders of magnitude
- functional requirements