Meta-programming Event-B - Advancing Tool Support and Language Extensions.
Julius ArmbrüsterPhilipp KörnerPublished in: ABZ (2024)
Keyphrases
- tool support
- programming language
- object oriented programming
- software engineering
- oriented programming
- programming environment
- software development
- scripting language
- software tools
- event detection
- natural language
- software projects
- language learning
- oracle pl sql
- meta level
- computer programs
- design decisions
- concurrent programming
- databases
- trade off
- requirements engineering
- java programming
- artificial intelligence
- logic programming
- object oriented
- relational databases
- decision trees
- web services
- information systems
- programming skills
- programs written
- data mining