Supporting Multi-level Configuration with Feature-Solution Graphs -- Formal Semantics and Alloy Implementation

Simple item page
dc.contributor.authorJaime Alberto Chavarriaga Lozano
dc.contributor.authorCarlos Francisco Noguera Garcia
dc.contributor.authorViviane Jonckers
dc.contributor.authorRubby Casallas
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T15:47:23Z
dc.date.available2026-03-22T15:47:23Z
dc.date.issued2013
dc.descriptionCitaciones: 4
dc.identifier.urihttps://biblio.vub.ac.be/vubir/supporting-multilevel-configuration-with-featuresolution-graphs--formal-semantics-and-alloy-implementation(aba5a822-eb2e-4a1d-9e89-3ea864c9b38a).html
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/54420
dc.language.isoen
dc.publisherVrije Universiteit Brussel
dc.relation.ispartofVUBIR (Vrije Universiteit Brussel)
dc.sourceUniversidad de Los Andes
dc.subjectFeature (linguistics)
dc.subjectComputer science
dc.subjectSemantics (computer science)
dc.subjectProgramming language
dc.subjectFormal semantics (linguistics)
dc.subjectTheoretical computer science
dc.titleSupporting Multi-level Configuration with Feature-Solution Graphs -- Formal Semantics and Alloy Implementation
dc.typearticle

Files

Collections

Artículo Científico Publicado