Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 11 (Search time: 0.007 seconds).
Item hits:
Issue DateTitleAuthor(s)
17-Mar-2010Uma infraestrutura baseada em componentes para desenvolvimento de aplicações pervasivas para cuidados com a saúde.GUERRA FILHO, Walter Onofre.
3-Mar-2010Arcabouço para o desenvolvimento de aplicações pervasivas para suporte à prevenção e tratamento de doenças crônicas.LIMA, Mateus Assis Máximo de.
26-Jul-2010Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design.MONTEIRO, João Arthur Brunet.
30-Apr-2010Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.ROCHA, Anne Caroline Oliveira.
16-Jun-2010BVM: reformulação da metodologia de verificação funcional VeriSC.OLIVEIRA, Helder Fernando de Araújo.
25-Nov-2010Análise da codificação de objetos complexos no córtex sensorial primário e hipocampo.VASCONCELOS, Nivaldo Antonio Portela de.
30-Aug-2010Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias.REBOUÇAS, Ayla Débora Dantas de Souza.
20-Oct-2010ECoCADe: um framework conceitual para apoiar tomadas de decisão baseadas em evidências, contexto e casos.LOPES, Expedito Carlos.
11-Mar-2010Infraestrutura para transmissão de conteúdo multimídia com suporte à adaptação de fluxos.CALADO, Ivo Augusto Andrade Rocha.
29-Nov-2010Estudo de técnicas para classificação de vozes afetadas por patologias.MARINUS, João Vilian de Moraes Lima.