Author:
van Lamsweerde A.,Darimont R.,Letier E.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
296 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Unified Framework for GDPR Compliance in Cloud Computing;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30
2. Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter;Journal of Systems and Software;2024-07
3. Requirements Conflicts Detection: Advancing with Conversational AI;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
4. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
5. Analyzing and Debugging Normative Requirements via Satisfiability Checking;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12