ACoRe: automated goal-conflict resolution

DOI10.1007/978-3-031-30826-0_1zbMath1541.68102MaRDI QIDQ6535216

Maxime Cordy, Renzo Degiovanni, L. A. V. Carvalho, Matías Brizzio, Yves le Traon, Nazareno Aguirre, Mike Papadakis

Publication date: 24 November 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: ACoRe: automated goal-conflict resolution