Towards a verified transformation from AADL to the formal component-based language FIACRE.
Jean-Paul BodeveixMamoun FilaliManuel GarnachoRégis SpadottiZhibin YangPublished in: Sci. Comput. Program. (2015)
Keyphrases
- formal language
- operational semantics
- programming language
- formal languages
- language learning
- visual languages
- natural language
- highly expressive
- english language
- precisely defined
- formal model
- specification language
- model theoretic
- meta level
- formal specification
- general purpose
- relational databases
- target language
- abstract data types
- formal representation
- computational linguistics
- genetic algorithm
- language processing
- test cases
- data model
- information systems