ACoRe: automated goal-conflict resolution

DOI10.1007/978-3-031-30826-0_1MaRDI QIDQ6535216zbMATH OpenFDO

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

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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

Recommendations

• Enhancing goal-based requirements consistency: an argumentation-based approach
• The logic of conflicts between decision making agents
• Goal-directed requirements acquisition
• Goal-oriented requirements engineering: A unifying framework
• scientific article; zbMATH DE number 1706339

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 2102695 (Why is no real title available?)
• Counting Models of Linear-Time Temporal Logic
• Environment Assumptions for Synthesis
• Formal Methods in Software and Systems Modeling
• Goal-directed requirements acquisition
• Improved selection in evolutionary multi-objective optimization of multi-skill resource-constrained project scheduling problem
• Interpolation-based GR(1) assumptions refinement
• On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other
• Optimization by simulated annealing
• Owl: a library for \(\omega \)-words, automata, and LTL
• Pattern-based refinement of assume-guarantee specifications in reactive synthesis
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Use of Ranks in One-Criterion Variance Analysis
• Using branching time temporal logic to synthesize synchronization skeletons

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535216)