Configurable satisfiability propagation for goal models using dynamic compilation techniques

Advances in Information Systems Development: New Methods and Practice for the Networked Society

Volumn 2, Issue PART 2, 2007, Pages 167-179

  Navarro, Elena ^a   Letelier, Patricio ^b   Reolid, David ^a   Ramos, Isidro ^b  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84889002537     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-0-387-70802-7_14     Document Type: Conference Paper

References (11)

1. Chung L. Nuon B A. Yu E and Mylopculos J (2000) Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing.
2. Dardenne A., Lamsweerde A, and Fickas S (1993) Goal-directed Requirements Acquisition. Science of Computer Programming. 20. pp 3-50.
3. Giorgini P., Nicchiarelli E., Mylcpoulcus J, and Sebastiani R (2003) Formal reasoning techniques for goal models. Journal of Data Semantics. 1: 1-20.
4. GOLD Parsing System. http:vwww.devirKook.com/GOLParser/indexhtm. 2005.
5. Hansen K M, Ravn A P., Stavridou V (1998) Fran Safety analysis to software requirements. IEEE Tran. on Software Engineering. 24(7): 573-584.
6. Harnson N (2003) Using the Code DOM O'Reilly Network, http//www.or>Jc
7. Kavakli E and Loucopculos P (2004) Goal Driven Requirements Engineering; Analysis and Qitique of Qirrent Methods. In: Krogstie J. Halpin T and Siau K (eds) Information Modeling Methods and Methodologies, 102-124.
8. Lamsweerde A van (2000) Goal-Oriented Requirements Engineering: A Round- trip from Research to Practice. In: Proc 12th IEEE International Requirements Engineering Conference. IEEE Computer Society. Los Alamitos, pp 4-7.
9. Letier E and Lamsweerde A van (2004) Reas^iing about Partial Goal Satisfaction for Requirements and Design Engineering. In: Taylor R N. Dwyer M B (eds) Proc of 12th ACM International Symposium on the Foundations of Software Engineering. ACM Press, New York, pp 53-62.
10. Navarro E., Letelier P., Mocholl, J. A., Ramos I (2006) A Metamodeling Approach for Requirements Specification. Journal of Computer Information Systems. 46(5): 67-77. Special Issue on Systems. Analysis and Design.
11. Navarro E, Ramos I and Pérez J (2003) Software Requirements for Architectured Systems. In Proc of 11th IEEE International Requirements Engineering Conference, IEEE Computer Society, Los Alamitos, pp 365-366 (position paper).