Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
2014An approach for graphical user interface external bad smells detectionSilva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre; Silva, J. L.Artigo em ata de conferênciaAcesso aberto
23-Jun-2015Welcome to EICS 2015Ziegler, Jürgen; Nebeling, Michael; Nigay, Laurence; Campos, José C.; Winckler, MarcoEditorial em ata de conferênciaAcesso aberto
2015MODUS: uma metodologia de prototipagem de interfaces baseada em modelosMachado, Marina; Campos, José C.; Couto, RuiArtigo em ata de conferênciaAcesso aberto
2017MODUS: model-based user interfaces prototypingMachado, Marina; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017A “more intelligent” test case generation approach through task models manipulationCampos, José C.; Fayollas, Camille; Gonçalves, Marcelo; Martinie, Célia; Navarre, David; Palanque, Philippe; Pinto, MiguelArtigoAcesso aberto
2014HCI engineering: charting the way towards methods and tools for advanced interactive systemsZiegler, Jürgen; Campos, José C.; Nigay, LaurenceArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir