Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 46 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1993GAMA-X: uma arquitectura software para o desenvolvimento semi-automático de interfaces utilizador-sistemaCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
2005Model based web interfaces' analysisCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Out-2006Models for the reverse engineering of Java/Swing applicationsSaraiva, João Alexandre; Campos, J. Creissac; Silva, João CarlosArtigoAcesso aberto
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2004Interactors as boundary objectsCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
1994O sistema GAMA: arquitectura e implementaçãoCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
Jul-2001Reasoning about time in dynamic information displaysCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2011Partial models in formal verification of industrial automation discrete systemsMachado, José Manuel; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto