Browsing by subject Alloy

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 12 of 12.
Issue DateTitleAuthor(s)TypeAccess
2018Especificação e validação de processos ETL em AlloyCapelo, Mariana Almeida BrandãoMaster thesis Open access
Sep-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2018Inception and specification of what-if scenarios using OLAP usage preferencesCarvalho, Mariana; Belo, OrlandoConference paperRestricted access (Author)
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArticleOpen access
10-Dec-2016Parallel verification of dynamic systems with rich configurationsPessoa, Eduardo José DiasMaster thesis Open access
2012Specifying UML protocol state machines in AlloyGaris, Ana; Paiva, Ana; Cunha, Alcino, et al.Conference paperOpen access
Sep-2016Towards a formal validation of ETL patterns behaviourOliveira, Bruno; Belo, Orlando; Macedo, NunoConference paperRestricted access (Author)
2011Translating alloy apecifications to UML class diagrams annotated with OCLGaris, Ana; Cunha, Alcino; Riesco, DanielConference paperOpen access
2011Translating Alloy Specifications to UML Class Diagrams Annotated with OCLRiesco, Daniel; Cunha, Alcino; Garis, AnaConference paperOpen access
2015Translating between Alloy specifications and UML class diagrams annotated with OCLCunha, Alcino; Garis, Ana; Riesco, DanielArticleOpen access
2018Using alloy for verifying the integration of OLAP preferences in a hybrid what-if scenario applicationCarvalho, Mariana; Belo, OrlandoConference paperRestricted access (UMinho)
2017Validating ETL patterns feasability using alloyOliveira, Bruno; Belo, OrlandoConference paperRestricted access (UMinho)