About the work
Un Modelo de Característica (FM, o Feature Model en inglés) es un artefacto de modelado que permite representar formalmente la variabilidad de un sistema y generar productos válidos a partir de dicho modelo. Aunque tradicionalmente las características se representan de forma booleana con lógica proposicional (está o no está esa característica en un producto), los dominios de aplicación actuales (ej. IoT, computación en el Edge, etc.) requieren características que tomen valores numéricos y sobre las que se puedan expresar restricciones aritméticas. El soporte de herramientas para este tipo de FMs llamados Modelos de Características Numéricas o NFM (Numerical Feature Models en inglés) es aún muy limitado. NEMO es una herramienta que soporta el modelado y transformación de modelos de características numéricos, lo que permite realizar de forma eficiente operaciones claves en estos modelos como son el contar el número de productos que tiene un NFM, generar muestras de productos o encontrar productos cuasi-óptimos.
Copyright registered declarations
Universidad de Málaga
Todos los derechos de explotación, incluyendo comunicación, distribución, reproducción y transformación.
Todo el mundo.
Scope: Todos los ámbitos de explotación.
Consolidated inscription:
Copyright infringement notifications:
0
Contact
Consolidated inscription:
Copyright infringement notifications:
0
Contact
Consolidated inscription:
Copyright infringement notifications:
0
Contact
Consolidated inscription:
Copyright infringement notifications:
0
Contact
Notify irregularities in this registration
Print work information
Work information
Title NEMO
Un Modelo de Característica (FM, o Feature Model en inglés) es un artefacto de modelado que permite representar formalmente la variabilidad de un sistema y generar productos válidos a partir de dicho modelo. Aunque tradicionalmente las características se representan de forma booleana con lógica proposicional (está o no está esa característica en un producto), los dominios de aplicación actuales (ej. IoT, computación en el Edge, etc.) requieren características que tomen valores numéricos y sobre las que se puedan expresar restricciones aritméticas. El soporte de herramientas para este tipo de FMs llamados Modelos de Características Numéricas o NFM (Numerical Feature Models en inglés) es aún muy limitado. NEMO es una herramienta que soporta el modelado y transformación de modelos de características numéricos, lo que permite realizar de forma eficiente operaciones claves en estos modelos como son el contar el número de productos que tiene un NFM, generar muestras de productos o encontrar productos cuasi-óptimos.
Work type Software and Database designs
Tags líneas de productos software, fórmulas proposicionales, #sat, resolutores de restricciones, modelos de características numéricas, árboles binarios de decisión, técnicas de bit-blasting, operaciones eficientes sobre modelos de caracterí
-------------------------
Registry info in Safe Creative
Identifier 2303303911430
Entry date Mar 30, 2023, 6:21 PM UTC
License GNU General Public License 3.0
-------------------------
Copyright registered declarations
Todos los derechos de explotación, incluyendo comunicación, distribución, reproducción y transformación. 100.00 %. Holder Universidad de Málaga. Date Mar 30, 2023. Geographic coverage: Todo el mundo.. Scope Todos los ámbitos de explotación..
Author 40.00 %. Holder Daniel-Jesus Munoz. Date Apr 18, 2023.
Author 30.00 %. Holder Monica Pinto Alarcon. Date Apr 24, 2023.
Author 30.00 %. Holder Lidia Fuentes Fernández. Date Apr 17, 2023.
Information available at https://www.safecreative.org/work/2303303911430-nemo
/
Registration: 2303303911430
