Scientific Papers

ISSI Research Papers

Paper information

Title
Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques

Authors

Elena Navarro Martínez

Patricio Letelier Torres

David Reolid

Isidro Ramos Salavert

Published in
Advances in Information System Development: New Methods and Practice for the Networked Society, Knapp, G.; Wojtkowski, G.; Zupancic, J.; Wrycza, S. (Eds.), Springer, July 20, 2007 - 2007

Abstract

BibTeX

@misc{issi_web:id:250,
        title =  "Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques",
        author = "Elena Navarro Martínez and Patricio Letelier Torres and David Reolid and Isidro Ramos Salavert",
        booktitle = "Advances in Information System Development: New Methods and Practice for the Networked Society, Knapp, G.; Wojtkowski, G.; Zupancic, J.; Wrycza, S. (Eds.), Springer, July 20, 2007",
        year = "2007",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = ""
}