Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics.
Alex BlekhmanJuan P. WachsDov DoriPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2015)
Keyphrases
- formal specification
- formal methods
- formal language
- multimedia
- text mining
- specification languages
- requirements specification
- reactive systems
- computer graphics
- information retrieval
- keywords
- high level
- text retrieval
- text information
- artificial intelligence
- database
- formal model
- textual data
- text summarization
- data driven
- operational semantics