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 20-31 de um total de 31 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
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 20-31 de um total de 31 resultados. < anterior