Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1994O sistema GAMA: arquitectura e implementaçãoCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
Out-2006UML no desenvolvimento de sistemas interactivosRibeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
1996Context sensitive user interfacesCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
2008Model-based user interface testing with Spec Explorer and ConcurTaskTreesSilva, José Luís Cardoso; Campos, J. Creissac; Paiva, Ana C. R.ArtigoAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
Jun-2006A push infrastructure for mobile application deployment in mobile environmentsRibeiro, António Nestor; Campos, J. Creissac; Borges, MiguelArtigoAcesso aberto
1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir