Buscas alternativas:
"mario serey" » "mario serra" (Expandir a busca), "mario sergio" (Expandir a busca), "mario soares" (Expandir a busca)
Mostrando 1 - 20 resultados de 76 para a busca '(("dario serey") OR ("mario serey"))', tempo de busca: 0,15s

1

Sistemas de redes de petri modulares baseados em objetos.

Publicado em 1997
Acessar documento
Dissertação

2

Redes de petri orientadas a objetos

Publicado em 2002
Acessar documento
Tese

3

Infraestrutura de software baseada em componentes para a construção de aplicações para comunidades virtuais móveis.

Acessar documento
Dissertação

4

Uma pesquisa qualitativa das práticas de testes de software no contexto das aplicações móveis.

Publicado em 2017
Acessar documento
Dissertação

5

Um sistema de recomendação para reparação de erosão arquitetural de software = A recommendation system for repairing software architecture erosion

Publicado em 2013
Acessar documento
Tese

6

Avaliação de uma abordagem personalizada de ensino no contexto de programação introdutória.

Publicado em 2015
Acessar documento
Dissertação

7

Avaliação da utilização de leaderboards em disciplinas introdutórias de programação.

Acessar documento
Dissertação

8

Mensuração de habilidades cognitivas preditoras do desenvolvimento de leitura em crianças através de jogos educacionais para dispositivos móveis.

Publicado em 2017
Acessar documento
Dissertação

9

Documentação e validação de arquiteturas de software: uma proposta concreta.

Publicado em 2013
Acessar documento
Dissertação

10

Análise de correlação entre métricas de evolução e qualidade de design de software.

Publicado em 2009
Acessar documento
Dissertação

11

SAMOA - Sistema de Apoio à Modelagem Orientada a Objetos de Aplicações.

Publicado em 2003
Acessar documento
Dissertação

12

Um middleware extensível para disponibilização de serviços em ambientes pervasivos.

Publicado em 2006
Acessar documento
Dissertação

13

Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design.

Publicado em 2010
Acessar documento
Dissertação

14

Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.

Publicado em 2006
Acessar documento
Dissertação

15

Verificação de conformidade entre diagramas de sequência UML e código Java.

Acessar documento
Dissertação

16

Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais.

Publicado em 2010
Acessar documento
Tese

17

Especificação e verificação sistemática, formal e modular de sistemas embarcados.

Publicado em 2006
Acessar documento
Tese

18

Suporte à análise e verificação de modelos RPOO.

Publicado em 2003
Acessar documento
Dissertação

19

Modelos computacionais realistas para dependências entre entidades de software.

Publicado em 2010
Acessar documento
Dissertação

20

Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.

Publicado em 2010
Acessar documento
Tese