Mariana Carvalho, Orlando Belo. Using Alloy for Verifying the Integration of OLAP Preferences in a Hybrid What-If Scenario Application. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017) - Part I, Algarve, Portugal, June 21-23, 2017. Volume 72 of Smart Innovation, Systems and Technologies, pages 37-47, Springer, 2017. [doi]
Abstract is missing.