Language engineering as an enabler for incrementally defined formal analyses.
Daniel RatiuBernhard SchätzMarkus VölterBernd KolbPublished in: FormSERA@ICSE (2012)
Keyphrases
- precisely defined
- formal language
- language learning
- formal descriptions
- highly expressive
- algebraic operations
- language processing
- statistical analysis
- programming language
- artificial intelligence
- visual languages
- computer science
- information systems
- formal languages
- operational semantics
- software engineering
- mathematical theory
- database
- genetic algorithm
- engineering students
- database systems
- specification language
- natural language
- formal specification
- query language
- information extraction
- natural language processing