Interactive Prioritization of Software Requirements using the Z3 SMT Solver
Prioritization of software requirements is an important part of the requirements engineering process within the industry of software development. There are many different methods for achieving the most optimal order of software requirements, a list that shows in what order the requirements should be...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM)
2021
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-107062 |