Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 21 resultados (tempo de pesquisa: 0.078 segundos).
DataTítuloAutor(es)TipoAcesso
12-Dez-2012Pattern based user interface generationBarbosa, André LopesDissertação de mestrado Acesso aberto
30-Jul-2013Application of Formal Methods in the ITASAT ProjectQuinta, Daniel RibeiroDissertação de mestrado Acesso aberto
9-Nov-2011Comparison of software development methodologies based on the SWEBOKSimão, Elísio MacielDissertação de mestrado Acesso aberto
28-Nov-2013A bounded model checker for SPARK programsLourenço, Cláudio Filipe Belo da SilvaDissertação de mestrado Acesso aberto
2013Conceção e linhas de orientação para o desevolvimento de aplicações em HTML5 : o case study Primavera BSSCosta, Vítor Nuno RodriguesDissertação de mestrado Acesso aberto
17-Jul-2013Revisão e reestruturação da arquitetura da plataforma Vortal Next : Vortal Software Development KitSantos, Bruno Miguel AlmeidaDissertação de mestrado Acesso aberto
31-Out-2013Querying for model-driven spreadsheetsdPereira, Rui Alexandre AfonsoDissertação de mestrado Acesso aberto
22-Jul-2013The role of best practices in assessing software qualityTorre, Carlos Miguel Janeiro Regedor Dias daDissertação de mestrado Acesso aberto
2013Test automation frameworkFonseca, Ricardo Gomes daDissertação de mestrado Acesso aberto
2013Fault injection for the evaluation of critical systemsCunha, João Mário QuintasDissertação de mestrado Acesso aberto