Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 22 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
3-Abr-2014Application of ontologies in identifying requirements patterns in use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo 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
2014Towards a framework for adaptive web applicationsSampaio, Ana I.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2018The MAL Interactors Animator: Supporting model validation through animationCampos, José C.; Sousa, NunoArtigo em ata de conferênciaAcesso aberto
2019A generator of user interface prototypes for the IVY workbenchAraujo, Joao Miguel; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2012Formal analysis of ubiquitous computing environments through the APEX frameworkSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Design and evaluation of a smart library using the APEX frameworkAbade, Tiago; Gomes, Tiago; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014The modelery: a collaborative web based repositoryCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto