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

Date

2013

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Vrije Universiteit Brussel

Abstract

Description

Citaciones: 4

Keywords

Feature (linguistics), Computer science, Semantics (computer science), Programming language, Formal semantics (linguistics), Theoretical computer science

Citation

DOI

URI

https://biblio.vub.ac.be/vubir/supporting-multilevel-configuration-with-featuresolution-graphs--formal-semantics-and-alloy-implementation(aba5a822-eb2e-4a1d-9e89-3ea864c9b38a).html
 https://andeanlibrary.org/handle/123456789/54420

Collections

Artículo Científico Publicado