Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 75 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo 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
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Developing serious games with the APEX frameworkGomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014A virtual environment based serious game to support health educationGomes, Tiago Emanuel Oliveira; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigoAcesso aberto
2013Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asmaGomes, Tiago Emanuel Oliveira; Abade, Tiago; Silva, José Luís Cardoso; Campos, J. Creissac; 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
2013An empirical study on immersive prototyping dimensionsMoreira, Samuel; José, Rui; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013MapIt : a model based pattern recovery toolCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto