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 9-28 de um total de 31 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
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
Mostrar 9-28 de um total de 31 resultados. < anterior   próximo >