SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN.
Mert OzkayaMehmet Alp KosePublished in: Comput. Lang. Syst. Struct. (2018)
Keyphrases
- formal analysis
- software architecture
- formal methods
- software systems
- software engineering
- description language
- software development
- architectural design
- distributed systems
- product line
- functional requirements
- ban logic
- reference architecture
- design patterns
- embedded software
- lightweight
- database
- life cycle
- artificial intelligence
- databases