Quality attributes and preferences on the synthesis of reactive systems.
Ezequiel CastellanoPublished in: ICSE (Companion Volume) (2017)
Keyphrases
- reactive systems
- quality attributes
- functional requirements
- quality assessment
- relative importance
- software architecture
- enterprise architecture
- temporal logic
- user satisfaction
- model checking
- information flow
- software product line
- development process
- petri net
- formal methods
- control flow
- real world
- distributed systems
- lessons learned
- project management
- software systems
- image quality
- open source
- artificial intelligence
- data mining