MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "David Benavides" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Using Java CSP Solvers in the Automated Analyses of Feature Models  
  • by David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz-cortés — 2005 — In Post-Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143
  • …Using Java CSP Solvers in the Automated Analyses of Feature Models ⋆ David Benavides, Sergio…
  • Cited by 6 (2 self) – Add To MetaCart
  • Using Constraint Programming to Reason on Feature Models  
  • by David Benavides Pablo, Pablo Trinidad, Antonio Ruiz-cortés — 2005 — In The Seventeenth International Conference on Software Engineering and Knowledge Engineering
  • …Using Constraint Programming to Reason on Feature Models £ David Benavides, Pablo Trinidad…
  • Add To MetaCart
  • Automated Reasoning on Feature Models  
  • by David Benavides Pablo, Pablo Trinidad, Antonio Ruiz-cortés — 2005 — LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005
  • …Automated Reasoning on Feature Models � David Benavides, Pablo Trinidad, and Antonio Ruiz…
  • Add To MetaCart
  • Third International Workshop on Variability  
  • by David Benavides, Andreas Metzger, Ulrich Eisenecker (eds, Du Isbur G, Modelling Of Software-intensive Systems, David Benavides, Andreas Metzger, Ulrich Eisenecker — 2009
  • …      UNIVERSITÄT David Benavides Andreas Metzger Ulrich Eisenecker (Eds.) DU ISBUR G ESSEN…
  • Add To MetaCart
  • EUROPEAN DOCTORAL DISSERTATION ADVISED BY  
  • by David Benavides Cuevas, Dr. Antonio, Ruiz-cortés Dr, Amador Durán, Toro First June, Copyright Mmvii, David Benavides Cuevas
  • … FOR DEVELOPING AUTOMATED TOOL SUPPORT DAVID BENAVIDES CUEVAS EUROPEAN DOCTORAL DISSERTATION EUROPEAN DOCTORAL…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB