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 3-22 de um total de 31 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2023Construction materials and their processing-LivroAcesso restrito autor
2018Designing safe and reliable ETL systems using alloyCapelo, Mariana; Belo, OrlandoArtigo em ata de conferênciaAcesso aberto
4-Set-2019Enhancing the process of view selection in data cubes using what-If analysisCarvalho, Mariana Reimão Queiroga Valério deTese de doutoramentoAcesso aberto
2018Especificação e validação de processos ETL em AlloyCapelo, Mariana Almeida BrandãoDissertação de mestrado Acesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArtigoAcesso restrito UMinho
2020Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.Artigo em ata de conferênciaAcesso aberto
2022Formalização da reconfiguração de protocolos de consenso usando AlloySoares, Cecília da Conceição de OliveiraDissertação de mestrado Acesso aberto
19-Dez-2022Formalizing ROS2 security configuration with AlloyRibeiro, Luís Mário MacedoDissertação de mestrado Acesso aberto
Set-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
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
Mostrar 3-22 de um total de 31 resultados. < anterior   próximo >