Pesquisa avançada

.

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 1111 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2005Is there a role for rigorous system analysis in experience experience centred design?Harrison, M. D.; Doherty, Gavin J.; Campos, J. CreissacComunicação oral Acesso aberto
2006A formal approach to argumentation in group decision scenariosNeves, José; Novais, Paulo; Machado, José Manuel; Marreiros, Goreti; Ramos, CarlosCapítulo de livroAcesso aberto
2004Verifying user interface behaviour with model checkingCampos, J. Creissac; Harrison, M. D.; Loer, KarstenArtigo em ata de conferênciaAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Dez-2007Segmentação bilingue com base na marker hypothesisSimões, AlbertoArtigo em ata de conferênciaAcesso aberto
2005Future challenges in intelligent tutoring systems: a frameworkRodrigues, Manuel; Novais, Paulo; Santos, Manuel FilipeArtigo em ata de conferênciaAcesso aberto
2008A comparative study of verification condition generatorsFialho, Diogo; Pinto, Jorge SousaOutroAcesso aberto
2013Web-based solution for acquisition, processing, archiving and diffusion of endoscopy studiesLaranjo, Isabel; Braga, Joel Teles; Assunção, Domingos; Silva, Andreia; Rolanda, Carla; Lopes, Luis; Pinto, Jorge Correia; Alves, VictorCapítulo de livroAcesso restrito UMinho
Out-2006UML no desenvolvimento de sistemas interactivosRibeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 1111 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir