Interactive verification of architectural design patterns in FACTum.
Diego MarmsolerHabtom Kahsay GideyPublished in: Formal Aspects Comput. (2019)
Keyphrases
- design patterns
- software architecture
- object oriented software
- software engineering
- object oriented
- ontology driven
- software design
- specific problems
- database driven
- software systems
- architectural design
- design principles
- usage scenarios
- user friendly
- metamodel
- data flow
- process model
- model checking
- computer graphics
- user interaction
- design rationale
- learning objects
- behavioural patterns
- machine learning
- language learning
- virtual reality
- software development
- distributed systems
- multi agent
- high level