Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 156 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
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
15-Out-2008AniMAL - a user interface prototyper and animator for MAL interactor modelsGuerreiro, Nuno; Mendes, Sandrine; Pinheiro, Vítor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2007A new plant modelling approach for formal verification purposesMachado, José; Seabra, Eurico; Soares, Filomena; Campos, 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
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 156 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir