A formal approach to AADL model-based software engineering.
Hana MkaouarBechir ZalilaJérôme HuguesMohamed JmaielPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- software engineering
- formal methods
- artificial intelligence
- software engineers
- programming language
- software development
- formal model
- software systems
- knowledge engineering
- real time
- development process
- design patterns
- systems analysis and design
- generation method
- reverse engineering
- human computer interaction
- general purpose
- model free
- neural network
- requirements elicitation
- development methodologies
- fully unsupervised
- search engine
- formal analysis
- information systems
- object oriented
- software architecture
- software design
- formal specification
- software maintenance
- distributed systems
- test cases