Goal-conflict detection based on temporal satisfiability checking

Goal-oriented requirements engineering approaches propose capturing how a system should behave through the specification of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make them diverge, i.e., not be satisfiable as a wh...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering s. 507 - 518
Hlavní autoři:	Degiovanni, Renzo, Ricci, Nicolas, Alrajeh, Dalal, Castro, Pablo, Aguirre, Nazareno
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.09.2016
Témata:	Boundary conditions Computational modeling Cost accounting Goal Conflicts Methane Requirements engineering Satisfiability Checking Software Tableaux Method
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!