Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language.
Andre RodriguesAlberto Rodrigues da SilvaPublished in: CoRR (2023)
Keyphrases
- specification language
- functional requirements
- operational semantics
- requirements specification
- written in natural language
- natural language
- programming language
- information retrieval
- formal descriptions
- formal language
- document images
- high level
- information retrieval systems
- software systems
- tf idf
- formal specification
- extensible markup language
- text classification
- document collections
- conceptual models
- requirements engineering
- intended meaning
- document classification
- language learning
- document retrieval
- text documents
- semantic information
- relational databases
- database
- design requirements
- source language
- web documents
- finite state machines
- document clustering
- relevant documents