Simple and Minimum-Cost Satisfiability for Goal Models-Reference-Cited by-同舟云学术

Simple and Minimum-Cost Satisfiability for Goal Models

Published:2004 Issue: Volume: Page:20-35
ISSN:1612-2909
Container-title:Notes on Numerical Fluid Mechanics and Multidisciplinary Design
language:
Short-container-title:

Author:

Sebastiani Roberto,Giorgini Paolo,Mylopoulos John

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25975-6_4

Reference13 articles.

1. Cook, S.A.: The complexity of theorem proving procedures. In: 3rd Annual ACM Symposium on the Theory of Computation, pp. 151–158 (1971)

2. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1–2), 3–50 (1993)

3. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Journal of the ACM 5(7) (1962)

4. Lecture Notes in Computer Science;P. Giorgini,2002

5. Jarvis, R., McArthur, G., Mylopoulos, J., Rodriguez-Gianolli, P., Zhou, S.: Semantic Models for Knowledge Management. In: Proc. of the Second International Conference on Web Information Systems Engineering, WISE 2001 (2001)

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimized Realization of Operational Requirements: A Goal-Oriented Approach;IEEE Access;2024

2. Requirements decision-making as a process of Argumentation: A Google Maps Case Study with Goal Model;Vol 3 Issue 5;2021-12-20

3. Formal reasoning for analyzing goal models that evolve over time;Requirements Engineering;2021-05-10

4. "Union is power";Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16

5. State-of-the-Art;Services and Business Process Reengineering;2020