ACoRe: automated goal-conflict resolution

DOI10.1007/978-3-031-30826-0_1zbMATH Open1541.68102MaRDI QIDQ6535216FDOQ6535216

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

Publication date: 24 November 2023

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

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)

Cites Work

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

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)