Percorrer por assunto Alloy

Índice: 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

ou inserir as letras iniciais:  

Mostrar 12-31 de um total de 31 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2018Inception and specification of what-if scenarios using OLAP usage preferencesCarvalho, Mariana; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito autor
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArtigoAcesso aberto
20-Dez-2021Lightweight trustworthy high-level software designLiu, ChongTese de doutoramentoAcesso aberto
2022Material science and engineering technology X: selected peer-reviewed full text papers from the 10th ICMSET, 5th ICBMM and 6th ICMTA-LivroAcesso restrito autor
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
1-Jan-2020Merging cloned alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
10-Dez-2016Parallel verification of dynamic systems with rich configurationsPessoa, Eduardo José DiasDissertação de mestrado Acesso aberto
2022Quantitative relational modelling with QAlloySilva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
2019Simplifying the analysis of software design variants with a colorful alloyLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Specifying UML protocol state machines in AlloyGaris, Ana; Paiva, Ana; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2023Task model design and analysis with alloyCunha, Alcino; Macedo, Nuno; Kang, EunsukArtigo em ata de conferênciaAcesso aberto
2022Timely specification repair for alloy 6Cerqueira, Jorge; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
Set-2016Towards a formal validation of ETL patterns behaviourOliveira, Bruno; Belo, Orlando; Macedo, NunoArtigo em ata de conferênciaAcesso restrito autor
26-Jul-2021Towards a quantitative alloySilva, Pedro Faria Durães daDissertação de mestrado Acesso aberto
23-Dez-2019Towards model checking electrum specifications with LTSminCancelinha, Bruno Miguel SousaDissertação de mestrado Acesso aberto
2011Translating alloy apecifications to UML class diagrams annotated with OCLGaris, Ana; Cunha, Alcino; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2011Translating Alloy Specifications to UML Class Diagrams Annotated with OCLRiesco, Daniel; Cunha, Alcino; Garis, AnaArtigo em ata de conferênciaAcesso aberto
2015Translating between Alloy specifications and UML class diagrams annotated with OCLCunha, Alcino; Garis, Ana; Riesco, DanielArtigoAcesso aberto
2018Using alloy for verifying the integration of OLAP preferences in a hybrid what-if scenario applicationCarvalho, Mariana; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito UMinho
2017Validating ETL patterns feasability using alloyOliveira, Bruno; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito UMinho
Mostrar 12-31 de um total de 31 resultados. < anterior