Percorrer por autor 1076 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 42-61 de um total de 174 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.Resumo em ata de conferência Acesso aberto
Out-2006Engenharia reversa de sistemas interactivos desenvolvidos em Java2/SwingSaraiva, João Alexandre; Campos, J. Creissac; Silva, João CarlosArtigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe, et al.Artigo em ata de conferênciaAcesso aberto
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
29-Out-2009FlexiXML: Um animador de modelos UsiXMLMendes, Sandrine; Campos, J. CreissacArtigo 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
2018Formal modelling as a component of user centred designHarrison, Michael Douglas; Masci, Paolo; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al.ArtigoAcesso aberto
Abr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al.ArtigoAcesso aberto
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam, et al.Artigo em ata de conferênciaAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2008Framework de distribuição assíncrona de aplicações móveis situadasBorges, Miguel; Campos, J. Creissac; Ribeiro, António NestorArtigo em ata de conferênciaAcesso aberto
2003From HCI to software engineering and backCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2004Fungi from a bottled water production systemRibeiro, A.; Machado, A. Patrícia; Lima, NelsonResumo em ata de conferência Acesso aberto
1993GAMA-X : geração semi-automática de interfaces sensíveis ao contextoCampos, J. CreissacDissertação de mestrado Acesso aberto
1995GAMA-X : MIU programmer's manualCampos, J. CreissacRelatórioAcesso 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
2019A generator of user interface prototypes for the IVY workbenchAraujo, Joao Miguel; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
Mostrar 42-61 de um total de 174 resultados. < anterior   próximo >