Modelling and Verifying Smell-Free Architectures with the Archery Language.
Alejandro SanchezLuís Soares BarbosaAlexandre MadeiraPublished in: SEFM Workshops (2014)
Keyphrases
- language learning
- natural language
- modelling language
- model checking
- bayesian networks
- english language
- modeling language
- declarative language
- real time
- specification language
- context dependent
- temporal logic
- conceptual model
- programming language
- natural language processing
- hidden markov models
- artificial neural networks
- case study
- databases