8 research outputs found
Applying ASP to UML model validation
Get PDFWe apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called \u201csnapshots\u201d. We present the design and implementation of MSG, a snapshot generator for UML models that employs DLV-Complex as a generator engine, the answer sets representing the legal snapshots
Comparison of altered mineral information extracted from ETM+, ASTER and Hyperion data in Águas Claras iron ore, Brazil
No full textTectonic control on the morphology of the subcircular structure of El Mdaouar (Saharan Atlas, Algeria): insights from geological and remote sensing data
No full text
