Wanderley Lopes de Souza

  • Endereço para acessar este CV: http://lattes.cnpq.br/3742302894743620
  • Última atualização do currículo em 04/09/2018


Possui graduação em Engenharia Elétrica pela Universidade Estadual de Campinas - SP (1976), mestrado em Signaux et Bruits - Traitement du Signal et Communication pela Université de Montpellier II - França (1977) e doutorado em Signaux et Bruits - Traitement du Signal et Communication pela Université de Montpellier II - França (1979). Realizou pós-doutorado em Teleinformática na Université de Montréal - Canadá (1985), pós-doutorado em Computação Ubíqua na University of Ottawa - Canadá (2002) e pós-doutorado em Computação em Nuvem na University of Twente - Holanda (2013). De 1983 a 2000 atuou nas áreas de Sistemas Distribuídos e Redes de Computadores, principalmente com os temas Especificação e Validação Formais de Protocolos de Comunicação, tendo se especializado nas Técnicas de Descrição Formal Estelle e LOTOS. Desde 2001 vem atuando na área de Computação Ubíqua, principalmente com o tema Adaptação de Conteúdo na Internet, e desde 2012 vem atuando também na área de Computação em Nuvem, desenvolvendo projetos nessas áreas voltados sobretudo para o domínio da Saúde. É Professor Titular concursado desde 1990 e está lotado no Departamento de Computação (DC) da Universidade Federal de São Carlos (UFSCar) - SP desde 1993. Foi Bolsista de Produtividade em Pesquisa do CNPq de 1981 a 2001 (nível 1C de 1989 a 2001). (Texto informado pelo autor)


Identificação


Nome
Wanderley Lopes de Souza
Nome em citações bibliográficas
Souza, W. L.;DE SOUZA, WANDERLEY L.;DE SOUZA, WANDERLEY LOPES;SOUZA, WANDERLEY LOPES DE;SOUZA, WANDERLEY L. DE;LOPES DE SOUZA, WANDERLEY

Endereço


Endereço Profissional
Universidade Federal de São Carlos, Centro de Ciências e de Tecnologia, Departamento de Computação.
Via Washington Luís Km 235
Monjolinho
13565-905 - Sao Carlos, SP - Brasil - Caixa-postal: 676
Telefone: (16) 2608232
Fax: (16) 0162608233
URL da Homepage: www.dc.ufscar.br/~desouza


Formação acadêmica/titulação


1977 - 1979
Doutorado em Signaux Et Bruits Traitement Du Signal Et Communic.
Université Montpellier 2 - Sciences et Techniques, UM2, França.
Título: Étude et réalisation des interfaces d'Erlangmètre piloté par microprocesseur pour la mesure du trafic téléphonique, Ano de obtenção: 1979.
Orientador: Jose Commalonga.
Bolsista do(a): Centre Régional D'ouvres Universitaires, CROUS, França.
Palavras-chave: Telecomunicações; Teleinformática; SISTEMAS DE TELEFONIA; MICROPROCESSADORES E MICROCOMPUTADORES.
Grande área: Engenharias
1976 - 1977
Mestrado em Signaux Et Bruits Traitement Du Signal Et Communic.
Université Montpellier 2 - Sciences et Techniques, UM2, França.
Título: Étude du calcul du trafic téléphonique par mode programmé,Ano de Obtenção: 1977.
Orientador: Jose Commalonga.
Bolsista do(a): Centre Régional D'ouvres Universitaires, CROUS, França.
Palavras-chave: Telecomunicações; Teleinformática; SISTEMAS DE TELEFONIA; MICROPROCESSADORES E MICROCOMPUTADORES.
Grande área: Engenharias
1982 - 1983
Especialização em Curso de Pós Graduação em Informática. (Carga Horária: 360h).
Universidade Federal da Paraíba, UFPB, Brasil.
1972 - 1976
Graduação em Engenharia Elétrica.
Universidade Estadual de Campinas, UNICAMP, Brasil.


Pós-doutorado e Livre-docência


1990
Livre-docência.
Universidade Federal de Santa Catarina, UFSC, Brasil.
Título: Uma metodologia, baseada em linguagens, ferramentas e ambientes, para o projeto de sistemas distribuídos, Ano de obtenção: 1990.
Palavras-chave: Sistemas Distribuídos; Redes de Computadores; Protocolos de Comunicação; Especificação e Verificação Formais; Implementação Automática; TESTE.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Teleinformática.
2012 - 2013
Pós-Doutorado.
University of Twente, UT, Holanda.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Gerenciamento de Processos de Negócio.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Telemedicina.
2001 - 2002
Pós-Doutorado.
University of Ottawa, U.O., Canadá.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Computação Ubíqüa.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Adaptação de Conteúdo.
1984 - 1985
Pós-Doutorado.
Université de Montreal, UdeM, Canadá.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Distribuídos e Redes de Computadores.


Atuação Profissional



Universidade Federal de São Carlos, UFSCAR, Brasil.
Vínculo institucional

1993 - Atual
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1993 - Atual
Pesquisa e desenvolvimento , Centro de Ciências e de Tecnologia, Departamento de Computação.

08/1993 - Atual
Ensino, Programa de Pós Graduação em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Aspectos Formais da Computação
Especificação, Verificação, Implementação e Teste de Sistemas Distribuídos
08/1993 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
LOGICA DIGITAL
ARQUITETURA DE COMPUTADORES
ORGANIZACAO BASICA DE COMPUTADORES
ARQUITETURA DE COMPUTADORES AVANCADOS
3/1998 - 12/1999
Extensão universitária , Centro de Ciências e de Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Programa Avançado em Ciência da Computação - Assis.
8/1997 - 7/1999
Direção e administração, Centro de Ciências e de Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador do Grupo de Sistemas Distribuídos e Redes.
4/1997 - 3/1999
Direção e administração, Centro de Ciências e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro do Conselho do Programa de Pós-Graduação em Ciência da Computação.
3/1998 - 12/1998
Extensão universitária , Centro de Ciências e de Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Programa Avançado em Ciência da Computação - Assis.
3/1998 - 12/1998
Extensão universitária , Centro de Ciências e de Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Programa Avançado em Ciência da Computação - Londrina.
4/1995 - 3/1997
Direção e administração, Centro de Ciências e de Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador do Programa de Pós-Graduação em Ciência da Computação.
12/1993 - 11/1995
Direção e administração, Centro de Ciências e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro do Conselho do Departamento de Computação.
1/1994 - 3/1995
Direção e administração, Centro de Ciências e de Tecnologia, Departamento de Computação.

Cargo ou função
Vice-coordenador do Programa de Pós-Graduação em Ciência da Computação.
8/1993 - 3/1995
Extensão universitária , Centro de Ciências e de Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Implantação da Rede de Fibra Ótica na Universidade Federal de São Carlos.

Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

1990 - 1993
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 40

Vínculo institucional

1985 - 1990
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1983 - 1984
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto III, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1981 - 1982
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1980 - 1980
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Colaborador IV, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1979 - 1979
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Colaborador III, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

1/1984 - 7/1993
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

1/1984 - 7/1993
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Organização de Computadores
Teoria da Computação
1/1984 - 7/1993
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Organização de Computadores
Teoria da Computação
3/1989 - 2/1993
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Coordenador da "Cooperação internacional GRC/DSC/UFPB - IRO/UdeM na área de especificação e validação de protocolos de comunicação", financiada pelo CNPq.
1/1988 - 12/1990
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Coordenador do "Programa de trabalho para o desenvolvimento de pesquisas em comunicação de dados entre o DSC/UFPB e o Centro Científico da IBM Brasil", financiado pela IBM Brasil.
1/1987 - 12/1989
Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Cargo ou função
Coordenador do Grupo de Redes de Computadores.
1/1986 - 12/1989
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Coordenador da "Cooperação GRC/UFPB - EPUSP na área de técnicas para a especificação de protocolos de comunicação", financiada pelo CNPq.
1/1985 - 12/1986
Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Cargo ou função
Vice-coordenador do Grupo de Redes de Computadores.
1/1983 - 12/1983
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Coordenador do proeto "Sistema de controle para central de energia eólica".
1/1980 - 12/1983
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

01/1980 - 12/1983
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Microprocessadores
1/1980 - 12/1983
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Eletrônica Digital
Laboratório de Eletrônica Digital
Sistemas Digitais
Microprocessadores
1/1982 - 12/1982
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Coordenador do curso de extensão "Sistemas Digitais", oferecido à CHESF.
1/1981 - 12/1982
Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

Cargo ou função
Chefe do Grupo de Sistemas Digitais.
1/1981 - 12/1982
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Coordenador do projeto "Sistema de aquisição de dados para central de despacho de carga", financiado pela CHESF.

Université de Montreal, UdeM, Canadá.
Vínculo institucional

1984 - 1986
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1984 - 11/1986
Pesquisa e desenvolvimento , Département D'informatique Et Recherche Opérationnelle, Départment D'informatique Et Recherche Opérationnelle.


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

1991 - 1993
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

3/1991 - 2/1993
Pesquisa e desenvolvimento , Faculdade de Engenharia Elétrica e de Computação da UNICAMP, Departamento de Engenharia de Computação e Automação Industrial da FEEC.

03/1991 - 02/1993
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Tópico Especial em Engenharia Elétrica: Especificação, Verificação, Implementação e Teste de Protocolos de Comunicação

University of Ottawa, U.O., Canadá.
Vínculo institucional

2001 - 2002
Vínculo: Outro, Enquadramento Funcional: Research associate, Carga horária: 40

Atividades

9/2001 - 8/2002
Pesquisa e desenvolvimento , School Of Information Technology And Engineering, .


Universidade Federal de São Paulo, UNIFESP, Brasil.
Vínculo institucional

2007 - Atual
Vínculo: Professor Orientador, Enquadramento Funcional: Colaborador, Carga horária: 8
Outras informações
Professor Orientador junto ao Programa de Pós-Graduação em Informática em Saúde

Atividades

01/2007 - Atual
Pesquisa e desenvolvimento , Diretoria, Departamento de Informática em Saúde.

Linhas de pesquisa
Telemedicina

University of Twente, UT, Holanda.
Vínculo institucional

2012 - 2013
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante

Atividades

09/2012 - 08/2013
Pesquisa e desenvolvimento , Faculty of Electrical Engineering, Mathematics and Computer Science, .

Linhas de pesquisa
Computação em Nuvem


Linhas de pesquisa


1.
Sistemas Distribuídos
2.
Redes de Computadores
3.
Protocolos de Comunicação
4.
Especificação, Verificação, Implementação e Teste
5.
Técnicas de Descrição Formal
6.
Sistemas Digitais
7.
Microprocessadores e Microcomputadores
8.
Redes de Computadores
9.
Protocolos de Comunicação
10.
Especificação, Verificação, Implementação e Teste
11.
Técnicas de Descrição Formal
12.
Teleinformática
13.
Redes de Computadores
14.
Protocolos de Comunicação
15.
Especificação, Verificação, Implementação e Teste
16.
Técnicas de Descrição Formal
17.
Teleinformática
18.
Redes de Computadores
19.
Protocolos de Comunicação
20.
Especificação, Verificação, Implementação e Teste
21.
Técnicas de Descrição Formal
22.
Adaptação de Conteúdo
23.
Computação Ubíqua
24.
Telemedicina

Objetivo: A Telemedicina pode ser entendida como a distribuição de serviços de saúde e o compartilhamento de informações médicas utilizando redes de telecomunicações, notadamente as modernas redes de alta velocidade. Trata-se de uma linha de pesquisa multidisciplinar, envolvendo competências nas áreas de Medicina e Tecnologias de Informação e Comunicação (TICs), sendo que hoje engloba um vasto conjunto de serviços ligados à Saúde, destacando-se Educação e Formação Médica, Saúde Pública e Clínica Médica..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande Área: Ciências da Saúde / Área: Medicina.
Setores de atividade: Desenvolvimento de Produtos Tecnológicos Voltados Para A Saúde Humana; Educação Superior; Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
Palavras-chave: Teleinformática; Sistemas Distribuídos; Redes de Computadores; Comunicação Móvel; Computação Ubíqua.
25.
Computação em Nuvem


Projetos de pesquisa


2012 - Atual
Computação em Nuvem na Informática em Saúde (CNIS)
Descrição: Este projeto tem por objetivo principal explorar as possibilidades de utilização dos serviços da Computação em Nuvem na Informática em Saúde, de forma a garantir a confidencialidade, segurança e privacidade de informações sigilosas geralmente presentes no domínio da Saúde..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Luís Ferreira Pires - Integrante / Antonio Francisco do Prado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 1
2009 - Atual
Ambientes de Computação Ubíqua no Cuidado de Saúde Pervasivo (ACUCSP)
Descrição: O Cuidado de Saúde Pervasivo visa tornar o Cuidado de Saúde disponível em todo lugar, a qualquer hora e para qualquer pessoa, através do uso de Tecnologias de Informação e Comunicação (TICs). Ambientes de Computação Ubíqua, em comunidades, lares e hospitais, podem ser úteis na construção de um modelo de Cuidado de Saúde Pervasivo, já que este demanda uma troca intensa de informações, em todo lugar e a qualquer hora, entre os profissionais de saúde e seus pacientes. Tendo em vista este contexto, este projeto tem por objetivo investigar o emprego de tecnologias da Computação Ubíqua e de padrões da Saúde no desenvolvimento de aplicações para o Cuidado de Saúde Pervasivo..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Antonio Francisco Prado - Integrante / Luis Ferreira Pires - Integrante.Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 8 / Número de orientações: 1
2008 - 2012
Ambiente de Computação Ubíqua para Monitoramento e Avaliação de Atividade Física (ACUMAAF)
Descrição: Este projeto tem por objetivos principais a construção de um ambiente de Computação Ubíqua para monitorar e avaliar longitudinalmente as práticas de atividades físicas da população adstritas às Unidades de Saúde da Família (USFs) de São Carlos-SP e possíveis fatores determinantes, visando gerar informações e indicadores que permitam o embasamento de políticas municipais de promoção da atividade física para essa população específica..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Junia Coutinho Anacleto - Integrante / Marcelo Marcos Piva Demarzo - Integrante / Antonio Francisco do Prado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 2
2006 - Atual
Ambientes de Computação Ubíqua no Ensino de Medicina (ACUEM)
Descrição: Este projeto tem por objetivo principal desenvolver um Portfólio Reflexivo Eletrônico (PRE), a ser utilizado por estudantes e professores do Curso de Medicina da Universidade Federal de São Carlos (UFSCar), cujo processo de ensino-aprendizagem é baseado em Problem Based Learning (PBL). O PRE será constituído de vários módulos, a fim de que possa ser empregado em todas as atividades desse curso, destacando-se as unidades Situação-Problema, Estações de Simulação e Prática Profissional..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Valéria Vernaschi Lima - Integrante / Roseli Ferreira da Silva - Integrante / Volia de Almeida Carvalho - Integrante / Antonio Francisco do Prado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa.
Número de produções C, T & A: 15 / Número de orientações: 1
1996 - 1998
Design de Aplicações Multimídia Distribuídas (DAMD)
Descrição: Design de Aplicações Multimídia Distribuídas (DAMD) foi um projeto cooperativo, financiado pelo Programa Temático Multi-institucional em Ciência da Computação (ProTeM-CC) Fase III do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), desenvolvido no período compreendido entre setembro de 1996 e dezembro de 1998, que envolveu pesquisadores, técnicos e estudantes das instituições brasileiras Universidade Federal de São Carlos (UFSCar), Universidade Federal de Santa Catarina (UFSC), Universidade Federal do Rio Grande do Sul (UFRGS) e Universidade Federal do Espírito Santo (UFES) e da instituição holandesa University of Twente. O objetivo principal do DAMD foi o desenvolvimento de uma metodologia, baseada em técnicas formais, para o design e implementação de aplicações multimíidia distribuídas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (16) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Jean Marie Farines - Integrante / Maria Janilce Bosquiroli Almeida - Integrante / Luis Ferreira Pires - Integrante / José Gonçalves Pereira Filho - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 9 / Número de orientações: 8


Projetos de extensão


2017 - 2018
Software de Gestão Pedagógica e Acadêmica para Cursos Baseados em Metodologias Ativas de Aprendizagem (SGPA-CBMAA) - Fase 2
Descrição: A meta principal dessa segunda fase do projeto SGPA-CBMAA é atualizar e prover novas funcionalidades para esse software, tanto no que se refere à gestão pedagógica quanto à gestão acadêmica de cursos baseados em metodologias ativas de aprendizagem. Tais necessidades foram detectadas ao longo de dois anos de utilização do SGPA-CBMAA, sendo que a inclusão de novas funcionalidades possibilitarão atender melhor às especificidades dos cursos de Graduação e Pós-Graduação da UFSCar e do IEP-HSL..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Helen Freitas dos Santos - Integrante / Valéria Vernaschi Lima - Integrante / Sissi Marilia dos Santos Forghieri Pereira - Integrante / Pedro Lopes de Souza - Integrante / Aline Guerra Aquilante - Integrante.
Número de produções C, T & A: 2 / Número de orientações: 1
2014 - 2016
Software de Gestão Pedagógica e Acadêmica para Cursos Baseados em Metodologias Ativas de Aprendizagem (SGPA-CBMAA) - Fase 1
Descrição: O objetivo desta atividade é prover consultoria e supervisão ao projeto SGPA-CBMAA, que visa ao desenvolvimento do software relativo ao Módulo de Gestão Pedagógica (MGP) e Módulo de Gestão Acadêmica (MGA) para cursos baseados em metodologias ativas de aprendizagem, destacando-se o Problem Based Learning (PBL). Tais módulos serão desenvolvidos, por uma empresa a ser contratada diretamente pelo Hospital Sírio-Libanês (HSL), empregando-se Engenharia Reversa de Sistemas Legados (ERSL) e deverão ser integrados a uma plataforma Enterprise Resource Planning (ERP)..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Wanderley Lopes de Souza - Coordenador / Helen Freitas dos Santos - Integrante / Valéria Vernaschi Lima - Integrante / Antonio Francisco do Prado - Integrante / Sissi Marilia dos Santos Forghieri Pereira - Integrante.Financiador(es): Instituto de Ensino e Pesquisa do Hospital Sírio-Libanês - Bolsa.
Número de produções C, T & A: 2 / Número de orientações: 1


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas Distribuídos e Redes de Computadores.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Especificação Verificação Implementação e Teste.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Computação Ubíqüa.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Adaptação de Conteúdo.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Telemedicina.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação em Nuvem.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1CARDOSO DE MORAES, JOÃO LUÍS2016 CARDOSO DE MORAES, JOÃO LUÍS ; DE SOUZA, WANDERLEY LOPES ; PIRES, LUÍS FERREIRA ; DO PRADO, ANTONIO FRANCISCO . A methodology based on openEHR archetypes and software agents for developing e-health applications reusing legacy systems. Computer Methods and Programs in Biomedicine (Print), v. 134, p. 267-287, 2016.

2.
4MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; CAVALINI, L. T. ; Pires, L.F. ; PRADO, A. F. . An Approach for Message Exchange Using Archetypes. Studies in Health Technology and Informatics, v. 192, p. 1136/1136-1136, 2013.

3.
8MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; Pires, L.F. ; CAVALINI, L. T. ; PRADO, A. F. . USING THE DUAL-LEVEL MODELING APPROACH TO DEVELOPING APPLICATIONS IN THE PERVASIVE HEALTHCARE ENVIRONMENT. Journal of Mobile Multimedia, v. 9, p. 111-127, 2013.

4.
5MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Abordagem para o Desenvolvimento de Aplicações no Cuidado de Saúde Pervasivo através do Uso de Arquétipos. Jornal Brasileiro de TeleSSaúde, v. 2, p. 157-167, 2013.

5.
6MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Abordagem para Troca de Mensagens Usando Arquétipos. Jornal Brasileiro de TeleSSaúde, v. 2, p. 188-190, 2013.

6.
2FORTE, Marcos2013 FORTE, Marcos ; DE SOUZA, WANDERLEY L. ; DA SILVA, ROSELI F. ; DO PRADO, ANTONIO F. ; RODRIGUES, JOSE F. . A Ubiquitous Reflective E-Portfolio Architecture. International Journal of Medical Informatics, v. 82, p. 1111/IJB-3007-1122, 2013.

7.
7MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Arquitetura para Troca de Mensagens no Cuidado de Saúde Pervasivo Baseada no Uso de Agentes Inteligentes. Jornal Brasileiro de TeleSSaúde, v. 2, p. 145-156, 2013.

8.
9Cirilo, C. E.2012Cirilo, C. E. ; PRADO, A. F. ; Souza, W. L. ; Zaina, L. A. M. ; RODRIGUES JUNIOR, J. F. . Towards a Hybrid Approach For Adapting Web Graphical User Iinterfaces to Heterogeneous Devices Using Context. International Journal of Software Engineering and Knowledge Engineering, v. 22, p. 769-800, 2012.

9.
3FORTE, M.2008 FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco . Using ontologies and Web services for content adaptation in Ubiquituous Computing. The Journal of Systems and Software, v. 81, p. 368-381, 2008.

10.
10DE SOUZA, SIMONE DO ROCIO SENGER1999DE SOUZA, SIMONE DO ROCIO SENGER ; MALDONADO, JOSÉ CARLOS ; FABBRI, SANDRA CAMARGO PINTO FERRAZ ; DE SOUZA, WANDERLEY LOPES . Mutation Testing Applied to Estelle Specifications. Software Quality Journal, Holanda, v. 8, n.4, p. 285-301, 1999.

11.
11Souza, W. L.;DE SOUZA, WANDERLEY L.;DE SOUZA, WANDERLEY LOPES;SOUZA, WANDERLEY LOPES DE;SOUZA, WANDERLEY L. DE;LOPES DE SOUZA, WANDERLEY1991Souza, W. L.; Souza, J. N. . Implementação semi-automática de sistemas de comunicação especificados formalmente. CONTROLE E AUTOMACAO, v. 3, n.2, p. 337-351, 1991.

12.
12Riso, B. G.1991Riso, B. G. ; Souza, W. L. . Uma abordagem para a especificação estruturada, em CCS, de sistemas distribuídos. Revista Brasileira de Computação da Sociedade Brasileira de Computação, Rio de Janeiro (RJ), v. 6, n.3, p. 43-56, 1991.

13.
13Souza, W. L.;DE SOUZA, WANDERLEY L.;DE SOUZA, WANDERLEY LOPES;SOUZA, WANDERLEY LOPES DE;SOUZA, WANDERLEY L. DE;LOPES DE SOUZA, WANDERLEY1989Souza, W. L.. Estelle: uma técnica para a descrição formal de serviços e protocolos de comunicação. Revista Brasileira de Computação da Sociedade Brasileira de Computação, Rio de Janeiro (RJ), v. 5, n.1, p. 33-44, 1989.

14.
14Souza, W. L.;DE SOUZA, WANDERLEY L.;DE SOUZA, WANDERLEY LOPES;SOUZA, WANDERLEY LOPES DE;SOUZA, WANDERLEY L. DE;LOPES DE SOUZA, WANDERLEY1988Souza, W. L.; Stiubiner, S. . Especificação, verificação e teste de protocolos. Revista da Sociedade Brasileira de Telecomunicações, Rio de Janeiro (RJ), v. 3, n.1, p. 1-20, 1988.

Capítulos de livros publicados
1.
Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Building Adaptive Rich Interfaces for Interactive Ubiquitous Applications. In: Ioannis Deliyannis. (Org.). Interactive Multimedia. 1ed.Rijeka: Intech Open Access Publisher, 2012, v. 1, p. 191-218.

2.
BRAGA, R. M. M. ; CAVALINI, L. T. ; Cirilo, C. E. ; COOK, T. W. ; CORREA, B. S. P. M. ; FREIRE, S. M. ; GOMES, A. T. A. ; MACHADO, V. M. ; MENEZES, A. ; MORAES, J. L. C. ; PRADO, A. F. ; Souza, W. L. ; TEIXEIRA, I. M. ; ZIVIANI, A. . Model-driven development of healthcare applications. In: Raúl A. Feijóo; Artur Ziviani; Pablo J. Blanco. (Org.). Scientific Computing Applied to Medicine and Healthcare: Current State and Future Trends at the INCT-MACC the Brazilian National Institute of Science and Technology in Medicine Assisted by Scientific Computing. 1ed.Petrópolis: INCT-MACC/LNCC, 2012, v. 1, p. 315-354.

3.
Souza, W. L.; PRADO, Antonio Francisco Do ; FORTE, M. ; Cirilo, C. E. . Content Adaptation in Ubiquitous Computing. In: Eduard Babkin. (Org.). Ubiquitous Computing. 1ed.Rijeka: Intech Open Access Publisher, 2011, v. , p. 67-94.

4.
Souza, W. L.; SAMPAIO, P. N. M. ; Farines, J. M. ; Scheffel, R. M. ; Almeida, M. J. B. ; Gaspary, L. P. ; Granville, L. Z. ; Willrich, R. ; Camargo, M. S. ; Domingos, M. . Design of Distributed Multimedia Applications (DAMD). In: Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann. (Org.). Lecture Notes in Computer Science 1641 - Applied Formal Methods - FM-Trends 98. Berlin (Alemanha): Springer-Verlag, 1999, v. , p. 77-91.

5.
Pires, L. F. ; Souza, W. L. . Step-wise refinement example using LOTOS. In: Juan Quemada; Jose Manas; Enrique Vazquez. (Org.). Fomal Description Techniques III. 1ed.Amstedam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1991, v. , p. 255-262.

6.
Souza, W. L.; Souza, J. N. . Simulation of formal protocol specifications. In: Raghavan, S.V.. (Org.). Local Area Networks. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1990, v. , p. 189-204.

7.
Souza, W. L.; Ferneda, E. . A compiler for a formal description technique. In: Alexandre Cerveira. (Org.). COMPUTER COMMUNICATIONS SYSTEMS. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1988, v. , p. 275-286.

8.
Bochmann, G. V. ; Souza, W. L. ; Dssouli, R. ; Sarikaya, B. ; Hural, H. . Use of Prolog for building protocol design tools. In: Michel Diaz. (Org.). Protocol Specification, Testing, and Verification V. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1986, v. , p. 131-147.

Trabalhos completos publicados em anais de congressos
1.
SOUZA, P. L. ; PRADO, A. F. ; Souza, W. L. ; PEREIRA, S. M. S. F. ; Pires, L.F. . Improving Agile Software Development with Domain Ontologies. In: 15th International Conference on Information Technology: New Generations (ITNG 2018), 2018, Las Vegas (USA). Advances in Intelligent Systems and Computing. Cham (Switzerland): Springer International Publishing AG, 2018. v. 738. p. 267-274.

2.
SCHICK, L. ; Souza, W. L. ; PRADO, A. F. . Wireless Body Sensor Network for Monitoring and Evaluating Physical Activity. In: 14th International Conference on Information Technology: New Generations (ITNG 2017), 2017, Las Vegas. Advances in Intelligent Systems and Computing. Cham (ZG): Springer International Publishing AG, 2017. v. 558. p. 81-86.

3.
LOPES DE SOUZA, PEDRO ; FRANCISCO DO PRADO, ANTONIO ; LOPES DE SOUZA, WANDERLEY ; PEREIRA, SISSI MARILIA DOS SANTOS FORGHIERI ; FERREIRA PIRES, LUÍS . Combining Behaviour-Driven Development with Scrum for Software Development in the Education Domain. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems. Setúbal, Portugal: SCITEPRESS - Science and Technology Publications, 2017. v. 2. p. 449-458.

4.
GUIDO, A. R. ; PRADO, A. F. ; Souza, W. L. ; SILVA, E. G. . Supporting the Development of User-Driven Service Composition Applications. In: 13th International Conference on Information Technology: New Generations (ITNG 2016), 2016, Las Vegas (USA). Book Advances in Intelligent Systems and Computing - Information Technology: New Generations. ZUG: Springer International Publishing Switzerland, 2016. v. 448. p. 519-530.

5.
Santos, H. F. ; Souza, W. L. ; PRADO, A. F. ; PEREIRA, S. M. S. F. . Augmented Reality Approach for Knowledge Visualization and Production (ARAKVP) in Educational and Academic Management System for Courses Based on Active Learning Methodologies (EAMS?CBALM). In: 13th International Conference on Information Technology: New Generations (ITNG 2016), 2016, Las Vegas (USA). Book Advances in Intelligent Systems and Computing - Information Technology: New Generations. Zug: Springer International Publishing Switzerland, 2016. v. 448. p. 1113-1123.

6.
SANTOS, HELEN ; SABIO, GABRIEL ; SOUZA, WANDERLEY LOPES DE . Abordagem em Realidade Aumentada para Momentos de Aprendizagem Autodirigida. In: XXVII Simpósio Brasileiro de Informática na Educação, 2016, Uberlandia. org.crossref.xschema._1.Title@7cdee0a2. Porto Alegre - RS: Sociedade Brasileira de Computação, 2016. p. 42-51.

7.
RABELO, LUIZ A. PACINI ; PRADO, ANTONIO F. DO ; SOUZA, WANDERLEY L. DE ; PIRES, LUIS F. . An Approach to Business Process Recovery from Source Code. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 361.

8.
POVOA, L. V. ; Souza, W. L. ; Pires, L.F. ; PRADO, A. F. . An Approach to the Decomposition of Business Processes for Execution in the Cloud. In: 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2014), 2014, Doha. Proceedings of the11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2014). New York: IEEE eXpress Conference Publishing, 2014. v. 1. p. 470-477.

9.
MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . A Novel Architecture for Message Exchange in Pervasive Healthcare based on the use of Intelligent Agents. In: 10th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2013), 2013, Fès/Ifrane. Proceedings of the 10th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2013), 2013. v. 1. p. 1-8.

10.
PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. ; Cirilo, C. E. ; Pires, L. F. . A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation. In: 25th International Conference on Advanced Information Systems Engineering (CAISE 2013), 2013, Valencia. Lecture Notes in Computer Science (LNCS): Advanced Information Systems Engineering ? CAISE 2013. Berlin: Springer-Verlag, 2013. v. 7908. p. 321-337.

11.
MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . A Novel Approach to Developing Applications in the Pervasive Healthcare Environment through the use of Archetypes. In: 13th International Conference on Computational Science and Its Applications (ICCSA 2013), 2013, Ho Chi Minh City. Lecture Notes in Computer Science (LNCS): Computational Science and Its Applications ?ICCSA 2013, Part V. Berlin: Springer-Verlag, 2013. v. 7975. p. 475-490.

12.
MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare. In: 15th International Conference on Enterprise Information Systems (ICEIS 2013), 2013, Angers (França). Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS 2013). Lisboa: SCITEPRESS - Science and Technology Publications, 2013. v. 2. p. 393-402.

13.
MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . Message Generation Facilities for Interoperability in Pervasive Healthcare Environments. In: 19th Americas Conference on Information Systems (AMCIS 2013), 2013, Chicago. Proceedings of the 19th Americas Conference on Information Systems (AMCIS 2013), 2013. v. 1. p. 1-12.

14.
SILVA, V. G. ; Cirilo, C. E. ; PRADO, A. F. ; Souza, W. L. ; PEREIRA, V. . An Approach to Dynamic Discovery of Context-Sensitive Web Services. In: The Eighth International Conference on Internet and Web Applications and Services (ICIW 2013), 2013, Rome. Proceedings of The Eighth International Conference on Internet and Web Applications and Services (ICIW 2013). Rome: IARIA, 2013. v. 1. p. 83-89.

15.
POVOA, L. V. ; Souza, W. L. ; PRADO, A. F. ; Pires, L.F. ; DUIPMANS, E. F. . Uma Abordagem para a Decomposição de Processos de Negócio para Execução em Nuvens Computacionais. In: 27o Simpósio Brasileiro de Engenharia de Software (SBES 2013), 2013, Brasília - DF. XXVII Brazilian Symposium on Software Engineering (SBES 2013). Porto Alegre - RS: Sociedade Brasileira de Computação (SBC), 2013. v. 1. p. 124-133.

16.
NUNES, DOUGLAS F. S. ; DE SOUZA, WANDERLEY L. ; DO PRADO, ANTONIO F. ; DEMARZO, MARCELO M. P. . Designing an ubiquitous computing environment for monitoring physical activity. In: 2012 25th IEEE International Symposium on ComputerBased Medical Systems (CBMS), 2012, Rome. 2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS). p. 1-6.

17.
NUNES, D. F. S. ; Souza, W. L. ; PRADO, A. F. ; DEMARZO, M. M. P. . UCEMEPA: Ubiquitous Computing Environment for Monitoring and Evaluating Physical Activity. In: Eighteenth Americas Conference on Information Systems (AMCIS 2012), 2012, Seattle. Proceedings of the Eighteenth Americas Conference on Information Systems (AMCIS 2012), 2012. p. 1-8.

18.
Souza, W. L.; Pires, L. F. ; DUIPMANS, E. F. ; PRADO, A. F. ; POVOA, L. V. . PROCESSO COMO UM SERVIÇO NA COMPUTAÇÃO EM NUVEM PARA O DESENVOLVIMENTO DE APLICAÇÕES NA SAÚDE. In: Workshop de Informática Biomédica, 2012, Ribeirão Preto-SP. Anais do Workshop de Informática Biomédica. Ribeirão Preto-SP: Universidade de São Paulo (USP), 2012. v. 2. p. 5-11.

19.
PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. . Reducing time and effort in legacy systems reengineering to MDD using metaprogramming. In: 2012 ACM Research in Applied Computation Symposium (RACS 2012), 2012, San Antonio (TX). Proceedings of the 2012 ACM Research in Applied Computation Symposium (RACS 2012). New York (USA): ACM, 2012. p. 348-355.

20.
PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. . Uma Abordagem para Apoiar a Reengenharia de Sistemas Legados para o MDD Usando Metaprogramação. In: XXXVIII Conferencia Latinoamericana en Informática (CLEI 2012), 2012, Medellín. XXXVIII Conferencia Latinoamericana en Informática (CLEI 2012), 2012. p. 1-10.

21.
MORAES, J. L. C. ; MENEZES, A. L. ; Cirilo, C. E. ; Souza, W. L. ; PRADO, A. F. . Usando Arquétipos e Linguagem Específica de Domínio no Desenvolvimento de Aplicações Ubíquas para o Cuidado de Saúde Pervasivo.. In: XIII Congresso Brasileiro de Informática em Saúde (CBIS 2012), 2012, Curitiba. Anais do XIII Congresso Brasileiro de Informática em Saúde (CBIS 2012). São Paulo - SP: Sociedade Brasileira de Informática em Saúde, 2012. v. 1. p. 1-6.

22.
BELLINI, A. ; Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . A Service Layer for building GSM Positioning Systems in e-Health Domain. In: 4th International Conference on Ubi-media Computing (U-Media), 2011, São Paulo. Proceedings of the 4th International Conference on Ubi-media Computing (U-Media). New York: IEEE Computer Society, 2011. p. 07-12.

23.
Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Experimentação do Processo Model Driven RichUbi no Desenvolvimento de Interfaces Ricas Adaptativas. In: XXV Simpósio Brasileiro de Engenharia de Software (SBES), 2011, São Paulo. Anais do XXV Simpósio Brasileiro de Engenharia de Software (SBES). Porto Alegre: Sociedade Brasileira da Computação (SBC), 2011. v. 1. p. 182-191.

24.
NUNES, D. F. S. ; BALDARRAGO, A. U. ; Souza, W. L. ; PRADO, Antonio Francisco . AMRP: Ambiente para o Monitoramento Remoto de Pacientes. In: XXXVII Conferência Latinoamericana de Informática (CLEI), 2011, Quito. XXXVII Conferência Latinoamericana de Informática (CLEI). Quito: Pontificia Universidad Católica Del Ecuador, 2011. p. 937-981.

25.
MORAES, J. L. C. ; BOSSONARO, A. A. ; MENEZES, A. L. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Uma arquitetura baseada em agentes inteligentes para a troca de mensagens sensível ao contexto para o cuidado de saúde pervasivo. In: Anais da Conferência IADIS Ibero-Americana WWW/Internet (WWW/Internet), 2011, Rio de Janeiro. IADIS Ibero-Americana WWW/Internet (WWW/Internet). Rio de Janeiro: IADIS Press, 2011. p. 421-425.

26.
CIRILO, CARLOS EDUARDO ; PRADO, Antonio Francisco Do ; SOUZA, WANDERLEY LOPES DE ; ZAINA, LUCIANA APARECIDA MARTINEZ . Experimentation of the Model Driven RichUbi Process in the Adaptive Rich Interfaces Development. In: 2011 25th Brazilian Symposium on Software Engineering (SBES), 2011, Sao Paulo. 2011 25th Brazilian Symposium on Software Engineering. p. 184-269.

27.
PORTOCARRERO, J. M. T. ; Souza, W. L. ; DEMARZO, M. M. P. ; PRADO, Antonio Francisco Do . SIAF: Um Sistema de Informação de Atividade Física. In: X Workshop de Informática Médica (WIM), 2010, Belo Horizonte. Anais do do XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 1650-1659.

28.
FORTE, Marcos ; Souza, W. L. ; SILVA, R. F. ; PRADO, Antonio Francisco Do . Portfólio Reflexivo Eletrônico na Unidade Educacional de Prática Profissional do Curso de Medicina da UFSCar. In: X Workshop de Informática Médica (WIM), 2010, Belo Horizonte-MG. XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 1566-1575.

29.
Souza, W. L.; Santos, B. L. G. ; E. F. Z. Santana ; Gatto, E. C. ; Duarte, F. C. ; Freitas, G. B. ; Custódio, I. V. ; PORTOCARRERO, J. M. T. ; Ávila, P. M. ; Almeida, R. A. P. . Utilizando PBL no Ensino de Computação Ubíqua. In: XVIII Workshop sobre Educação em Computação (WEI), 2010, Belo Horizonte-MG. XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 877-886.

30.
CIRILO, CARLOS E. ; DO PRADO, ANTONIO F. ; DE SOUZA, WANDERLEY L. ; ZAINA, LUCIANA A. M. . Model driven RichUbi. In: the 28th ACM International Conference, 2010, São Carlos. Proceedings of the 28th ACM International Conference on Design of Communication - SIGDOC '10. New York: ACM Press. p. 207-214.

31.
Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Model Driven RichUbi - Processo Dirigido a Modelos para a Construção de Interfaces Ricas de Aplicações Ubíquas Sensíveis ao Contexto. In: XXIV Simpósio Brasileiro de Engenharia de Software (SBES), 2010, Salvador-BA. XXIV Simpósio Brasileiro de Engenharia de Software (SBES). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. v. 1. p. 101-110.

32.
Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . A Hybrid Approach for Adapting Web Graphical User Interfaces to Multiple Devices using Information Retrieved from Context. In: 16th International Conference on Distributed Multimedia Systems - Globalization and Personalization (DMS), 2010, Chicago-IL (USA). Proceedings of the 16th International Conference on Distributed Multimedia Systems - Globalization and Personalization (DMS). Chicago-IL (USA): Knowledge Systems Institute Graduate School, 2010. p. 168-173.

33.
FORTE, M. ; Souza, W. L. ; SILVA, R. F. ; PRADO, Antonio Francisco Do . Portfólio Eletrônico Ubíquo no Aprendizado de Medicina. In: XII Congresso Brasileiro de Informática em Saúde (CBIS), 2010, Porto de Galinhas-PE. XII Congresso Brasileiro de Informática em Saúde (CBIS). São Paulo-SP: Sociedade Brasileira de Informática em Saúde, 2010. p. 1-6.

34.
PORTOCARRERO, J. M. T. ; Souza, W. L. ; DEMARZO, M. M. P. ; PRADO, Antonio Francisco Do . Desenvolvimento e Avaliação de um Sistema de Informação para Gerenciamento de Atividade Física. In: XII Congresso Brasileiro de Informática em Saúde (CBIS), 2010, Salvador-BA. XII Congresso Brasileiro de Informática em Saúde (CBIS). São Paulo-SP: Sociedade Brasileira de Informática em Saúde, 2010. p. 1-6.

35.
MENEZES, ANDERSON L. ; CIRILO, CARLOS E. ; DE MORAES, JOAO L. C. ; DE SOUZA, WANDERLEY L. ; DO PRADO, ANTONIO F. . Using archetypes and Domain Specific Languages on development of ubiquitous applications to pervasive healthcare. In: 2010 IEEE 23rd International Symposium on ComputerBased Medical Systems (CBMS), 2010, Bentley. 2010 IEEE 23rd International Symposium on Computer-Based Medical Systems (CBMS). p. 395-400.

36.
MARTINS, DIOGO S. ; BIAJIZ, MAURO ; DO PRADO, ANTONIO F. ; DE SOUZA, WANDERLEY L. . Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. In: the 2009 ACM symposium, 2009, Honolulu. Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09. New York: ACM Press. v. 1. p. 659-663.

37.
OLIVEIRA, R. P. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Development based on MDA of Ubiquitous Applications Domain Product Lines. In: 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2009, Shanghai. 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS). Washington, DC: IEEE Computer Society's Conference Publishing Services (CPS), 2009. p. 1005-1010.

38.
MORAES, J. L. C. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Ambiente de Computação Ubíqua para o Cuidado de Saúde Pervasivo (ACUCSP). In: XXXVI Seminário Integrado de Hardware e Software (SEMISH), 2009, Bento Gonçalves (RS). XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 217-231.

39.
E. F. Z. Santana ; OLIVEIRA, R. P. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Modelagem Específica de Domínio em Linhas de Produto de Software na Computação Ubíqua. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2009, Natal (RN). Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 209-222.

40.
E. F. Z. Santana ; L. H. Z. Santana ; CARVALHO, V. A. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Um Ambiente Baseado na WEB 2.0 para Estações de Simulação na Educação Médica Construtivista. In: XX Simpósio Brasileiro de Informática na Educação (SBIE), 2009, Florianópolis-SC. Anais do XX Simpósio Brasileiro de Informática na Educação (SBIE). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 1-10.

41.
E. F. Z. Santana ; SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. . A Web 2.0 Based Environment for Simulation Activities in Constructivist Medical Education. In: IADIS International Conference WWW/Internet (WWW/Internet), 2009, Roma. Prooceedings of IADIS International Conference WWW/Internet (WWW/Internet). Roma: IADIS Press, 2009. v. 1. p. 253-260.

42.
Santos, H. F. ; SANTANA, L. H. Z. ; MARTINS, D. S. ; Souza, W. L. ; PRADO, Antonio Francisco ; BIAJIZ, M. . A Ubiquitous Computing Environment for Medical Education. In: 23st Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza. Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2008. v. 2. p. 1395-1399.

43.
SANTANA, L. H. Z. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Um ambiente baseado na Web 2.0 para educação médica construtivista. In: XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 2008, Vila Velha. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. v. I. p. 12-19.

44.
LORENTE, D. O. ; Souza, W. L. ; PRADO, Antonio Francisco Do . MidComUbi: um middleware para ambientes de Computação Ubíqua. In: II Workshop on Pervasive and Ubiquitous Computing (WPUC 2008), 2008, Campo Grande (MS). Anais do IX Simpósio em Sistemas Computacionais (WSCAD-SSC 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. p. 1-6.

45.
SANTANA, L. H. Z. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Experiências no uso do portfólio eletrônico reflexivo para ensino de medicina na UFSCar. In: XI Congresso Brasileiro de Informática em Saúde (CBIS 2008), 2008, Campos do Jordão (SP). Anais do XI Congresso Brasileiro de Informática em Saúde. São Paulo (SP): Sociedade Brasileira de Informática em Saúde (SBIS), 2008. p. 59-64.

46.
FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Utilizando dispositivos móveis no suporte ao ensino de medicina: desafios e propostas. In: XI Congresso Brasileiro de Informática em Saúde (CBIS 2008), 2008, Campos do Jordão (SP). Anais do XI Congresso Brasileiro de Informática em Saúde. São Paulo (SP): Sociedade Brasileira de Informática em Saúde (SBIS), 2008. p. 325-330.

47.
SANTANA, L. H. Z. ; FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco Do . ACUEM-PBL: Ambiente de Computação Ubíqua para o Ensino de Medicina baseado em PBL. In: VIII Workshop de Informática Médica (WIM 2008), 2008, Belém (PA). Anais do VIII Workshop de Informática Médica (WIM 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. p. 11-20.

48.
FORTE, Marcos ; CLAUDINO, Renato André Takayama ; Souza, W. L. ; PRADO, Antonio Francisco ; SANTANA, L. H. Z. . A Component-Based Framework for the Internet Content Adaptation Domain. In: 22nd Annual ACM Symposium on Applied Computing (SAC 2007), 2007, Seoul. Proceedings of the 2007 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2007. v. 2. p. 1450-1455.

49.
SANTANA, L. H. Z. ; MARTINS, D. S. ; FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco ; BIAJIZ, M. ; KNOFF, Luana Crisitina . Serviço de tradução de linguagens de marcação para a Internet. In: 25o Simpósio Brasileiro de Redes de Computadores (SBRC 2007), 2007, Belém. Anais do 25o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Belém: Editora da Universidade Federal do Pará, 2007. v. I. p. 541-554.

50.
PERLIN, C. B. ; SANTANA, L. H. Z. ; MARTINS, D. S. ; Santos, H. F. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Um Ambiente de Computação Ubíqua para o Ensino baseado em ABP. In: XXXIII Conferencia Latinoamericana en Informática - CLEI 2007, 2007, San José - Costa Rica. Anais da XXXIII Conferencia Latinoamenreicana de Informática. San José - Costa Rica: PEM Oficina de Audiovisuales, 2007. p. 1-12.

51.
SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Usando Ontologias, Serviços Web Semânticos e Agentes Móveis no Desenvolvimento Baseado em Componentes. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software 2007 (SBCARS 2007), 2007, Campinas. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software 2007, 2007. p. 163-176.

52.
SANTANA, L. H. Z. ; MARTINS, D. S. ; PERLIN, C. B. ; PRADO, Antonio Francisco ; Souza, W. L. ; BIAJIZ, M. . Adaptação de Páginas Web para Dispositivos Móveis. In: XIII Brazilian Symposium on Multimedia and the Web - WebMedia 2007, 2007, Gramado. Proceedings of the XIII Brazilian Symposium on Multimedia and the Web - WebMedia 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1-8.

53.
Souza, W. L.; PRADO, Antonio Francisco ; GUARDIA, H. C. ; BIAJIZ, M. ; ANACLETO, J. C. . Ambiente de Computação Ubíqua para o Ensino de Medicina baseado em PBL. In: I Workshop on Pervasive and Ubiquitous Computing - WPCU 2007, 2007, Gramado. Proceedings of the 19th International Symposium on Computer Architecture - SBAC 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 2. p. 1-6.

54.
FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco Do . A content classification and filtering server for the Internet. In: The 21st Annual ACM Symposium on Applied Computing (SAC 2006), 2006, Dijon. Proceedings of the 2006 ACM Symposium on Applied Computing, 2006. v. 2. p. 1166-1171.

55.
FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco Do . Utilizando Ontologias e Serviços Web na Computação Ubíqua. In: XX Simpósio Brasileiro de Engenharia de Software (SBES), 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software (SBES). Florianópolis: Mattes Agência Gráfica, 2006. p. 287-302.

56.
FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco . Um servidor para a classificação e filtragem de conteúdo na Internet. In: 23o Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. 23o Simpósio Brasileiro de Redes De Computadores - SBRC, 2005. v. I. p. 191-204.

57.
CLAUDINO, Renato André Takahama ; Souza, W. L. ; PRADO, Antonio Francisco . Um framework baseado em componentes para o domínio de adaptação de conteúdo na Internet. In: 19o Simpósio Brasileiro de Engenharia de Software (19o SBES), 2005, Uberlândia. Anais do 19o Simpósio Brasileiro de Engenharia de Software (19o SBES), 2005. v. I. p. 88-103.

58.
Souza, W. L.; Massetto, F. I. ; Zorzo, S. D. . Simulator for E-LOTOS specifications. In: 35th Annual Simulation Symposium (SS 2002), 2002, San Diego. Proceedings of the 35th Annual Simulation Symposium, 2002. v. 1. p. 389-394.

59.
Souza, W. L.; Bochmann, G. V. ; Khatib, K. E. ; He, X. . Adaptação de conteúdo de mensagens HTTP baseada em perfis de dispositivo, usuário, conteúdo e serviço de rede. In: 20o Simpósio Brasileiro de Redes de Computadores, 2002, Búzios. Anais do 20o Simpósio Brasileiro de Redes de Computadores. Rio de Janeiro-RJ: Núcleo de Computação Eletrônica (NCE) da Universidade Federal do Rio de Janeiro (UFRJ), 2002. v. 2. p. 554-568.

60.
Souza, W. L.; Silva, H. R. T. ; Zorzo, S. D. . Developing a graphical syntax for the formal description technique E-LOTOS. In: 5th World Multiconference on Systemics, Cybernetics and Informatics and 7th Int'l Conference on Information Systems Analysis and Synthesis, 2001, Orlando. 5th World Multiconference on Systemics, Cybernetics and Informatics and 7th Int'l Conference on Information Systems Analysis and Synthesis, 2001.

61.
Souza, W. L.; Farias, C. R. G. ; Pires, L. F. ; Moron, C. E. . Specification and validation of a real-time parallel kernel using LOTOS. In: Ninth International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication, 2001, Cincinnati. Ninth International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication, 2001.

62.
Souza, W. L.; Santos, H. F. ; Farias, C. R. G. . Conferência multimídia - metodologia e componentes para aplicações cooperativas. In: 7o Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (SBMídia 2001), 2001, Florianópolis. Anais do 7o Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 2001. p. 187-202.

63.
Souza, W. L.; Santos, H. F. ; Farias, C. R. G. . Utilizando um modelo conceitual para especificação de aplicações CSCW - um sistema de conferência multimídia. In: XXVII Latin-American Conference of Informatics (CLEI 2001), 2001, Mérida. XXVII Latin-American Conference of Informatics, 2001.

64.
Souza, W. L.; Pinheiro, R. A. G. ; Zorzo, S. D. . Building integrated tools for the formal description technique E-LOTOS. In: 4th World Multiconference on Systemics, Cybernetics and Informatics and 6th Int'l Conference on Systems Analysis and Synthesis, 2000, Orlando. 4th World Multiconference on Systemics, Cybernetics and Informatics and 6th Int'l Conference on Systems Analysis and Synthesis, 2000. v. 1. p. 148-153.

65.
Souza, W. L.. Design of Distributed Multimedia Applications (DAMD). In: ProTeM-CC'99 Projects Evaluation Workshop Fase III, 1999, Rio de Janeiro (RJ). ProTeM-CC'99 Projects Evaluation Workshop Fase III, 1999. p. 481-514.

66.
Souza, W. L.; Kawamoto, A. L. S. . Tradutor automático de especificações E-LOTOS para o padrão MHEG-5. In: 17o Simpósio Brasileiro de Redes de Computadores - SBRC'99, 1999, Salvador (BA). 17o Simpósio Brasileiro de Redes de Computadores, 1999. p. 31-43.

67.
Souza, W. L.; SAMPAIO, P. N. M. ; Shiga, C.Y. ; Kawamoto, A. L. S. . Automatic MHEG-5 implementation of multimedia applications specified in E-LOTOS. In: 3rd World Multiconference on Systemics, Cybernetics and Informatics and 5th Int'l Conference on Information Systems Analysis and Synthesis, 1999, Orlando (Estados Unidos). 3rd World Multiconference on Systemics, Cybernetics and Informatics and 5th Int'l Conference on Information Systems Analysis and Synthesis, 1999. v. 2. p. 182-189.

68.
Souza, W. L.; Shiga, C. Y. ; SAMPAIO, P. N. M. ; Kawamoto, A. L. S. . Especificação de aplicações multimídia interativas em E-LOTOS. In: XXIV Conferencia Latinoamericana de Informática, 1998, Quito (Equador). XXIV Conferencia Latinoamericana de Informática, 1998. p. 249-260.

69.
Souza, W. L.; Santana, A. C. L. ; PRADO, Antonio Francisco ; Sant'Anna, M. . Automatic refinement of distributed systems specifications using program transformations. In: Twenty-Second Annual International Computer Software and Application Conference - COMPSAC'98, 1998, Viena (Áustria). Twenty-Second Annual International Computer Software and Application Conference, 1998. p. 154-163.

70.
Souza, W. L.; SAMPAIO, P. N. M. ; Kawamoto, A. L. S. . Uma metodologia para implementação em MHEG-5 de especificações de aplicações multimídia realizadas em E-LOTOS. In: IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMIDIA'98, 1998, Rio de Janeiro (RJ). IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 1998. p. 101-112.

71.
Souza, W. L.; Farias, C. R. G. . Especificação formal e validação de um kernel paralelo tempo real. In: 16o Simpósio Brasileiro de Redes de Computadores - SBRC'98, 1998, Rio de Janeiro (RJ). 16o Simpósio Brasileio de Redes de Computadores, 1998. p. 258-277.

72.
Souza, W. L.; Salvador, M. R. . Especificação formal de sistemas ODP usando a linguagem Mondel. In: Anais do 16o Simpósio Brasileiro de Redes de Computadores - SBRC'98, 1998, Rio de Janeiro (RJ). 16o Simpósio Brasileiro de Redes de Computadores, 1998. p. 278-297.

73.
Souza, W. L.; Branco, L. H. C. ; PRADO, Antonio Francisco . Automatic implementation of Mondel specifications in Java. In: European Reuse Workshop'98 - ERW'98, 1998, Madri (Espanha). European Reuse Workshop'98, 1998. p. 21-23.

74.
Souza, W. L.; Sampaio, P. N. M. ; Shiga, C. Y. . Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications. In: IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking - PROMS-MmNET'97, 1997, Santiago (Chile). IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking, 1997. p. 92-100.

75.
Souza, W. L.; Farias, C. R. G. ; Moron, C. E. . Modelagem de sistemas operacionais utilizando LOTOS. In: XXII Conferencia Latinoamericana de Informática, 1997, Valparaíso (Chile). XXII Conferencia Latinoamericana de Informática, 1997. v. II. p. 759-768.

76.
Souza, W. L.; SAMPAIO, P. N. M. . Modelling multimedia and hypermedia applications using an E-LOTOS/MHEG-5 approach. In: ACM 16th International Conference on Conceptual Modelling - ER'97, 1997, Los Angeles (EUA). Workshop on Conceptual Modelling Information Seeking, 1997. p. 31-40.

77.
Souza, W. L.; Farines, J. M. ; Almeida, M. J. B. ; Pires, L. F. ; Camargo, M. S. ; Willrich, R. ; Costa, R. . Design de Aplicações Multimídia Distribuídas (DAMD). In: II Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1997, FORTALEZA (CE). II Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1997. p. 271-281.

78.
Souza, W. L.; Santana, A. C. L. ; PRADO, Antonio Francisco . Utilização do paradigma Draco para implementar especificações Estelle na Linguagem C++. In: 15o Simpósio Brasileiro de Redes de Computadores - SBRC'97, 1997, São Carlos (SP). 15o Simpósio Brasileiro de Redes de Computadores, 1997. p. 118-134.

79.
Souza, W. L.; Farias, C. R. G. ; Moron, C. E. . Design of a real-time parallel kernel using LOTOS. In: IEEE Fifth Workshop on Parallel and Distributed Real-Time Systems and Third Workshop on Object-Oriented Real-Time Systems, 1997, Genebra (Suiça). IEEE Fifth Workshop on Parallel and Distributed Real-Time Systems and Third Workshop on Object-Oriented Real-Time Systems, 1997. p. 177-181.

80.
Souza, W. L.; Farias, C. R. G. ; Moron, C. E. . Formal specification an automatic implementation of a real-time parallel kernel. In: IFAC/IFIP 21st Workshop on Real Time Programming, 1996, GRAMADO (RS). IFAC/IFIP 21st Workshop on Real Time Programming, 1996. p. 175-176.

81.
Souza, W. L.; Farias, C. R. G. . Design and implementation of distributed databases using Estelle. In: Anais do XI Simpósio Brasileiro de Banco de Dados, 1996, São Carlos (SP). XI Simpósio Brasileiro de Banco de Dados, 1996. p. 158-171.

82.
Souza, W. L.; PRADO, Antonio Francisco ; Santana, A. C. L. . Implementação automática, orientada a objetos, de especificações Estelle na linguagem C++. In: Anais do I Simpósio Brasileiro de Linguagens de Programação - SBLP'96, 1996, Belo Horizonte (MG). I Simpósio Brasileiro de Linguagens de Programação, 1996. p. 31-44.

83.
Souza, W. L.; Farias, C. R. G. . Especificação formal e validação de algoritmos distribuídos. In: XXII Seminário Integrado de Software e Hardware - SEMISH'95, 1995, Canela (RS). XXII Seminário Integrado de Software e Hardware, 1995. v. II. p. 1027-1038.

84.
Souza, W. L.; BARBOSA, C. B. . Modelagem orientada ao objeto de especificações escritas em Estelle. In: 13o Simpósio Brasileiro de Redes de Computadores - 13o SBRC, 1995, Belo Horizonte. 13o Simpósio Brasileiro de Redes de Computadores, 1995. p. 23-39.

85.
Souza, W. L.; ANDRADE, R. M. C. . Especificação formal, em Estelle, do processamento de chamadas da central Trópico RA. In: 12o Simpósio Brasileiro de Redes de Computadores - SBRC'94, 1994, Curitiba (PR). 12o Simpósio Brasileiro de Redes de Computadores, 1994. v. II. p. 659-676.

86.
Souza, W. L.; Tschammer, V. ; Mendes, M. J. ; Madeira, E. R. M. ; Loyolla, W. P. . Processamento distribuído aberto e o modelo RM-ODP/ISO. In: 11o Simpósio Brasileiro de Redes de Computadores - SBRC'93, 1993, Campinas (SP). 11o Simpósio Brasileiro de Redes de Computadores, 1993. p. 175-195.

87.
Souza, W. L.; Medeiros, E. B. ; Magalhães, M. F. . Geração automática de especificações de implementação a partir de especificações abstratas. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado (RS). VI Simpósio Brasileiro de Engenharia de Software, 1992. p. 187-201.

88.
Souza, W. L.; Araújo, A. J. P. . Especificação formal, em Estelle, de sistemas digitais. In: 9o Congresso Brasileiro de Automática, 1992, Vitória (ES). 9o Congresso Brasileiro de Automática, 1992. v. 2. p. 869-874.

89.
Souza, W. L.; ANDRADE, R. M. C. . Especificação formal em Estelle de sistemas de telefonia. In: 9o Simpósio Brasileiro de Telecomunicações, 1991, São Paulo (SP). 9o Simpósio Brasileiro de Telecomunicações, 1991. p. 1731-1735.

90.
Souza, W. L.; Pires, L.F. . Projeto de sistemas através de refinamentos sucessivos utilizando a TDF LOTOS. In: 9o Simpósio Brasileiro de Redes de Computadores, 1991, Florianópolis (SC). 9o Simpósio Brasileiro de Redes de Computadores, 1991. p. 295-312.

91.
Souza, W. L.; CARDOSO, A. R. . Especificação formal em Estelle de redes de comunicação móvel. In: IX Congresso Nacional da Sociedade Brasileira de Computação, 1991, Santos (SP). IX Congresso Nacional da Sociedade Brasileira de Computação, 1991. p. 140-156.

92.
Souza, W. L.; Pires, L.F. . Step-wise refinement design example using LOTOS. In: Third International Conference on Formal Description Techniques, 1990, Madrid (Espanha). Third International Conference on Formal Description Techniques, 1990. p. 289-306.

93.
Souza, W. L.; Riso, B. G. . Especificação algébrica de processos da camada de aplicação do RM OSI/ISO. In: 8o Simpósio Brasileiro de Redes de Computadores, 1990, Campinas (SP). 8o Simpósio Brasileiro de Redes de Computadores, 1990. p. 298-310.

94.
Souza, W. L.; Souza, J. N. . Simulation of protocol formal specifications. In: International Conference on Local Area Networks, 1990, Madras (Índia). International Conference on Local Area Networks, 1990. p. 174-189.

95.
Souza, W. L.; Souza, J. N. . Simulação de especificações formais de protocolos de comunicação. In: Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989, Florianópolis (SC). Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989. p. 103-110.

96.
Souza, W. L.; Ferneda, E. ; Lonergan, P. ; Silva, S.B. . Portabilidade de um compilador Estelle/83 para a criação de uma base de pesquisas em TDFs. In: 7o Simpósio Brasileiro de Redes de Computadores, 1989, Porto Alegre (RS). 7o Simpósio Brasileiro de Redes de Computadores, 1989. p. 176-189.

97.
Souza, W. L.; Riso, B. G. . Using CCS for protocol specifications by step-wise refinements. In: Second International Symposium on Interoperable Information Systems, 1988, Tóquio (Japão). Second International Symposium on Interoperable Information Systems, 1988. p. 135-142.

98.
Souza, W. L.; Martins, J.S.B. . Utilização de técnicas de descrição formal para a especificação e validação dos protocolos MAP/TOP. In: 7o Congresso Brasileiro de Automática, 1988, São José dos Campos (SP). 7o Congresso Brasileiro de Automática, 1988. p. 347-354.

99.
Souza, W. L.; Souza, J. N. ; Celestino Júnior, J. . Especificação formal de protocolos de comunicação através de refinamentos sucessivos. In: VIII Congresso da Sociedade Brasileira de Computação, 1988, Rio de Janeiro (RJ). VIII Congresso da Sociedade Brasileira de Computação, 1988. p. 113-124.

100.
Souza, W. L.. An approach for developing communication software for local area networks. In: IEEE LATINCON'88, 1988, Buenos Aires (Argentina). IEEE LATNCON'88, 1988. p. 1-18.

101.
Souza, W. L.; Riso, B. G. . Especificação e Verificação em CCS de sistemas de comunicação. In: 6o Simpósio Brasileiro de Redes de Computadores, 1988, Belo Horizonte (MG). 6o Simpósio Brasileiro de Redes de Computadores, 1988. p. 1-21.

102.
Souza, W. L.. Uma proposta para o desenvolvimento sistemático de software de comunicação para rede local. In: 5o Simpósio Brasileiro de Telecomunicações, 1987, Campinas (SP). 5o Simpósio Brasileiro de Telecomunicações, 1987. p. 92-99.

103.
Souza, W. L.; Ferneda, E. . A compiler for a formal description technique. In: 1st Iberian Conference on Data Communications, 1987, Lisboa (Portugal). 1st Iberian Conference on Data Communications, 1987. v. 2. p. 539-558.

104.
Souza, W. L.; Ferneda, E. . Aplicações do compilador Estelle. In: 5o Simpósio Brasileiro de Redes de Computadores, 1987, São Paulo (SP). 5o Simpósio Brasileiro de Redes de Computadores, 1987. p. 107-120.

105.
Souza, W. L.. LOTOS: uma técnica para a descrição formal de serviços e protocolos de comunicação. In: 5o Simpósio Brasileiro de Redes de Computadores, 1987, São Paulo (SP). 5o Simpósio Brasileiro de Redes de Computadores, 1987. p. 121-144.

106.
Souza, W. L.; Ferneda, E. . Compilador para a linguagem de especificação Estelle. In: VI Congresso da Sociedade Brasileira de Computação, 1986, Recife (PE), 1986. p. 420-428.

107.
Souza, W. L.; Ferneda, E. . Analisador sintático em Prolog para a linguagem de especificação de protocolos Estelle. In: 4o Simpósio Brasileiro de Redes de Computadores - SBRC'86, 1986, Recife (PE). 4o Simpósio Brasileiro de Redes de Computadores, 1986. p. 325-353.

108.
Souza, W. L.. Utilização de Prolog para a especificação e validação de serviços e protocolos de comunicação. In: V Congresso da Sociedade Brasileira de Computação e XI Conferência Latino-Americana de Informática, 1985, Porto Alegre (RS), 1985. p. 51-59.

109.
Souza, W. L.; Bochmann, G. V. ; Dssouli, R. ; Sarikaya, B. ; Hural, H. . Use of Prolog for building protocol design tools. In: IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification - PSTV'85, 1985, Toulouse-Moissac (França). Fifth International Workshop on Protocol Specification, Testing, and Verification, 1985. p. 3.27-3.39.

110.
Souza, W. L.; Dssouli, R. ; Bochmann, G. V. . Ambiente de teste para protocolos de comunicação. In: 3o Simpósio Brasileiro de Redes de Computadores - SBRC'85, 1985, Rio de Janeiro (RJ). 3o Simpósio Brasileiro de Redes de Computadores, 1985. p. 24.1-24.12.

111.
Souza, W. L.. Utilização dos conceitos de módulo, porta e canal em especificações formais de serviços, protocolos e interfaces de comunicação. In: 3o Simpósio Brasileiro de Redes de Computadores - SBRC'85, 1985, Rio de Janeiro (RJ). 3o Simpósio Brasileiro de Redes de Computadores, 1985. p. 25.1-25.23.

112.
Souza, W. L.; Moussaid, D. . Software for erlangmeter controlled by microprocessor. In: IEEE LATINCON 84, 1984, Cidade do México (México). IEEE LATINCON 84, 1984. p. 257-261.

113.
Souza, W. L.; Moussaid, D. . Software para erlangmetre pilotado por microprocessador. In: X Conferencia Latinoamericana de Informática, 1984, Vinã del Mar (Chile). X Conferencia Latinoamericana de Informática, 1984. p. 387-395.

114.
Souza, W. L.; Moussaid, D. . Medidor de tráfego telefônico comandado por microprocessador. In: V Congresso Chileno de Ingenieria Elétrica, 1983, Vinã del Mar (Chile), 1983. v. I. p. 493-504.

115.
Souza, W. L.; Maia, J. B. M. ; Morais, M. E. . Sistema de aquisição de dados para central de despacho de carga. In: 4o Congresso Brasileiro de Automática, 1982, Campinas (SP), 1982. v. 1. p. 280-285.

116.
Souza, W. L.; Maia, J. B. M. ; Morais, M. E. . Sistema de aquisição de dados para central de despacho de carga. In: IX Conferencia Latinoamericana de Informática, 1982, Lima (Peru). IX Conferencia Latinoamericana de Informática, 1982. p. 822-833.

Resumos expandidos publicados em anais de congressos
1.
MARTINS, D. S. ; SANTANA, L. H. Z. ; BIAJIZ, M. ; PRADO, Antonio Francisco ; Souza, W. L. . Context-aware Information Retrieval on a Ubiquitous Medical Learning Environment. In: 23st Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza. Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2008. v. 3. p. 2348-2349.

2.
E. F. Z. Santana ; SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. . Uma arquitetura P2P para adaptação de conteúdo em dispositivos móveis. In: XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 2008, Vila Velha (ES). Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. v. II. p. 57-60.

3.
CLAUDINO, Renato André Takayama ; Souza, W. L. ; PRADO, Antonio Francisco . Uma arquitetura para adaptação de conteúdo na Internet. In: 23o Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. 23o Simpósio Brasileiro de Redes de Computadores - SBRC, 2005. v. II. p. 1177-1179.

Resumos publicados em anais de congressos
1.
Souza, W. L.; Cardoso, A. R. . Formal specification of mobile networks. In: IEEE International Workshop on Personal, Indoor and Mobile Radio Communications, 1992, Siofok (Hungria). IEEE International Workshop on Personal, Indoor and Mobile Radio Communications, 1992.

2.
Souza, W. L.. Étude et réalisation des interfaces d'Erlangmètre piloté par microprocesseur pour la mesure du trafic téléphonique. In: 32o Reunião Anual da Sociedade Brasileira para o Progresso da Ciência - SBPC'80, 1980, Rio de Janeiro (RJ). Caderno de Resumos da 32o Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 1980. p. 31-31.


Produção técnica
Produtos tecnológicos
1.
Souza, W. L.. FERRAMENTA PARA VALIDACAO DE PROTOCOLOS ATRAVES DE MATRIX DUOLOGUE. 1992.

2.
Souza, W. L.. SIMULADOR ESTELLE/83. 1990.

3.
Souza, W. L.. COMPILADOR ESTELLE/83. 1988.



Patentes e registros



Programa de computador
1.
L. H. Z. Santana ; Souza, W. L. ; PRADO, A. F. ; LIMA, V. V. ; SILVA, R. F. ; HIRAKAWA, H. S. . Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0). 2008.
Patente: Programa de Computador. Número do registro: RS 10306-2, título: "Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
Souza, W. L.; PRADO, A. F. ; DEMARZO, M. M. P. ; NUNES, D. F. S. ; PORTOCARRERO, J. M. T. ; LACERDA, A. C. . AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0). 2009.
Patente: Programa de Computador. Número do registro: BR512014001214-0, data de registro: 01/01/2009, título: "AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
Souza, W. L.; TEIXEIRA, C. A. C. ; TREVELIN, L. C. ; GUARDIA, H. C. ; Zorzo, S. D. . 15o Simpósio Brasileiro de Redes de Computadores. 1997. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Helen de Freitas Santos. Plataforma com Realidade Aumentada para Cursos Baseados em Metodologias Ativas de Aprendizagem (PRA-CBMAA). Início: 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Lucas Venezian Povoa. Uma Abordagem para a Decomposição de Processos de Negócio para Execução em Nuvens Computacionais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

2.
Douglas Fabiano de Souza Nunes. ACUMAAF: Ambiente de Computação Ubíqua para o Monitoramento e Avaliação de Atividade Física. 2012. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

3.
Anderson Menezes. Uma Abordagem, Baseada na Integração de Arquétipos a Mensagens HL7, para a Comunicação de Aplicações Ubíquas no Cuidado de Saúde Pervasivo. 2011. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

4.
Jesús Martín Talavera Portocarrero. SIAF: um sIistema de informação, a ser integrado num ambiente de Computação Ubíqua, para gerenciamento de atividade física. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

5.
Luiz Henrique Zambom Santana. AdeSCoU: Uma Abordagem para o Desenvolvimento de Software na Computação Ubíqua. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Wanderley Lopes de Souza.

6.
Marcos Forte. Especificação de perfis e regras, baseada em ontologias, para adaptação de conteúdo na Internet. 2006. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, . Coorientador: Wanderley Lopes de Souza.

7.
Renato André Takayama Claudino. Uma arquitetura baseada em componentes para adaptação de conteúdo na Internet. 2005. 77 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

8.
Fernando Vieira Paulovich. Uma abordagem para o desenvolvimento de sistemas distribuídos baseada em componentes. 2003. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

9.
Henrique Rodrigo Ternero Silva. Editor gráfico para especificações E-LOTOS. 2002. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

10.
Francisco Isidro Massetto. Simulador para a técnica de descrição formal E-LOTOS. 2002. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

11.
Edson Francisco da Fonseca. Ambiente para o teste de frameworks utilizados na implementação de protocolos. 2001. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

12.
Helen Freitas dos Santos. Desenvolvimento de componentes de propósito geral para sistemas cooperativos. 2001. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

13.
Almir Rogério Camolesi. Uma metodologia para o design de serviços de Tv-Interativa. 2000. 0 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

14.
Ulisses Mantovan. Especificação formal e validação de um sistema de arquivos paralelos distribuídos. 2000. 0 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

15.
Renato Augusto Guimarães Pinheiro. Representação Intermediária (RI) para a TDF E-LOTOS e tradutor E-LOTOS/RI. 2000. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

16.
Maria Aparecida Teixeira. Modelagem de conceitos arquitetônicos para a especificação de aplicações multimídia distribuídas. 1999. 0 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, . Orientador: Wanderley Lopes de Souza.

17.
André Luiz Satoshi Kawamoto. Tradutor automático de especificações E-LOTOS para o padrão MHEG-5. 1999. 0 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

18.
PAULO NAZARENO MAIA SAMPAIO. Uma metodologia para a implementação em MHEG-5 de aplicações multimídia especificadas em E-LOTOS. 1998. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

19.
Cláudia Yumi Shiga. Uma abordagem para a especificação formal em E-LOTOS de aplicações multimídia distribuídas. 1998. 0 f. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

20.
CLEVER RICARDO GUAREIS DE FARIAS. Especificação e validação de um Kernel paralelo tempo-real utilizando LOTOS. 1997. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

21.
MARCOS ROGERIO SALVADOR. Especificação formal de objetos do modelo ODP em Mondel. 1997. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

22.
MARCOS MARTINS DUMA. Especificação formal e validação de protocolos de comunicação para redes de alta velocidade. 1996. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

23.
CIRO DE BARROS BARBOSA. Modelagem orientada a objeto de especificações Estelle. 1995. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

24.
ALFREDO JACKSON PEREIRA ARAUJO. Especificação formal, em Estelle, de sistemas digitais. 1994. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

25.
ROSSANA MARIA DE CASTRO ANDRADE. Especificação formal de sistemas de telefonia. 1993. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

26.
CHEN WEN LIN. Implementação semi-automática de protocolos de comunicação. 1992. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

27.
OLIVAL DE GUSMAO FREITAS JUNIOR. Uma ferramenta para a validação de protocolos de comunicação. 1992. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

28.
José Neuman de Souza. Uma metodologia para a validação, através de simulação, de protocolos de comunicação. 1990. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

29.
Edilson Ferneda. Um compilador para a técnica de descrição formal Estelle/83. 1988. Dissertação (Mestrado em Curso de Pós Graduação em Informática C. Grande) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

Tese de doutorado
1.
João Luís Cardoso de Moraes. Methodological Support to Develop Interoperable Applications for Pervasive Healthcare. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

2.
Marcos Forte. Uma Arquitetura para Ambientes Ubíquos de Aprendizagem: Desenvolvimento e Avaliação do Módulo de Prática Profissional do curso de Medicina da UFSCar. 2012. Tese (Doutorado em Gestão e Informática em Saúde) - Universidade Federal de São Paulo, . Orientador: Wanderley Lopes de Souza.

3.
Ulisses Mantovan. Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos. 2006. 311 f. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, . Orientador: Wanderley Lopes de Souza.

4.
Bernardo Gonçalves Riso. Uma abordagem para o design de sistemas distribuídos e protocolos de comunicação. 1991. Tese (Doutorado em Curso de Pós Graduação em Engenharia Elétrica C.G) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wanderley Lopes de Souza.

Iniciação científica
1.
Bruno Tosta Abrahão. Uma Ontologia para Portfólio Reflexivo Eletrônico. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

2.
Luana Crisitina Knoff. Um servidor para a tradução de linguagens de marcação na Internet. 2006. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

3.
Pedro Northon Nobile. Uma abordagem para a especificação e implementação de perfis de dispositivo, conteúdo, usuário e acesso à rede. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

4.
Marcelo Boccoli Desco. QoS na multimídia em redes de computação móvel. 2001. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

5.
Daniel Pimentel Lopes. Editor para modelo arquitetônico abstrato. 2001. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

6.
Diogo Julião Rosa. Desenvolvimento de componentes multimídia para sistemas cooperativos. 2001. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Wanderley Lopes de Souza.

7.
Fernando Vieira Paulovich. Implementação semi-automática e teste de um kernel paralelo tempo real utilizando LOTOS. 2000. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

8.
Ronaldo Alonso. Epecificação em VHDL e validação do protocolo XTP. 1997. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

9.
Rodrigo Costa Colossi. Desenvolvimento de um tradutor E-LOTOS/MHEG-5. 1997. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

10.
Virgílio de Campos Vieira. Desenvolvimento de documentos hipermídia. 1997. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

11.
Ronaldo Alonso. Especificação e validação de protocolos de comunicação em VHDL. 1996. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

12.
Giulliano Paes Carnielli. Design de sistemas operacionais utilizando LOTOS. 1996. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

13.
CLEVER RICARDO GUAREIS DE FARIAS. Implementação semi-automática de um sistema de acesso por exclusão mútua a partir de sua especificação formal. 1995. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.

14.
CLEVER RICARDO GUAREIS DE FARIAS. Ferramentas para a especificação e validação de sistemas distribuídos. 1994. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wanderley Lopes de Souza.



Inovação



Programa de computador registrado
1.
L. H. Z. Santana ; Souza, W. L. ; PRADO, A. F. ; LIMA, V. V. ; SILVA, R. F. ; HIRAKAWA, H. S. . Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0). 2008.
Patente: Programa de Computador. Número do registro: RS 10306-2, título: "Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
Souza, W. L.; PRADO, A. F. ; DEMARZO, M. M. P. ; NUNES, D. F. S. ; PORTOCARRERO, J. M. T. ; LACERDA, A. C. . AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0). 2009.
Patente: Programa de Computador. Número do registro: BR512014001214-0, data de registro: 01/01/2009, título: "AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa

Projeto de extensão


Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
3FORTE, M.2008 FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco . Using ontologies and Web services for content adaptation in Ubiquituous Computing. The Journal of Systems and Software, v. 81, p. 368-381, 2008.

2.
4MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; CAVALINI, L. T. ; Pires, L.F. ; PRADO, A. F. . An Approach for Message Exchange Using Archetypes. Studies in Health Technology and Informatics, v. 192, p. 1136/1136-1136, 2013.

3.
8MORAES, J. L. C.2013MORAES, J. L. C. ; Souza, W. L. ; Pires, L.F. ; CAVALINI, L. T. ; PRADO, A. F. . USING THE DUAL-LEVEL MODELING APPROACH TO DEVELOPING APPLICATIONS IN THE PERVASIVE HEALTHCARE ENVIRONMENT. Journal of Mobile Multimedia, v. 9, p. 111-127, 2013.

4.
1CARDOSO DE MORAES, JOÃO LUÍS2016 CARDOSO DE MORAES, JOÃO LUÍS ; DE SOUZA, WANDERLEY LOPES ; PIRES, LUÍS FERREIRA ; DO PRADO, ANTONIO FRANCISCO . A methodology based on openEHR archetypes and software agents for developing e-health applications reusing legacy systems. Computer Methods and Programs in Biomedicine (Print), v. 134, p. 267-287, 2016.

5.
2FORTE, Marcos2013 FORTE, Marcos ; DE SOUZA, WANDERLEY L. ; DA SILVA, ROSELI F. ; DO PRADO, ANTONIO F. ; RODRIGUES, JOSE F. . A Ubiquitous Reflective E-Portfolio Architecture. International Journal of Medical Informatics, v. 82, p. 1111/IJB-3007-1122, 2013.


Livros e capítulos
1.
BRAGA, R. M. M. ; CAVALINI, L. T. ; Cirilo, C. E. ; COOK, T. W. ; CORREA, B. S. P. M. ; FREIRE, S. M. ; GOMES, A. T. A. ; MACHADO, V. M. ; MENEZES, A. ; MORAES, J. L. C. ; PRADO, A. F. ; Souza, W. L. ; TEIXEIRA, I. M. ; ZIVIANI, A. . Model-driven development of healthcare applications. In: Raúl A. Feijóo; Artur Ziviani; Pablo J. Blanco. (Org.). Scientific Computing Applied to Medicine and Healthcare: Current State and Future Trends at the INCT-MACC the Brazilian National Institute of Science and Technology in Medicine Assisted by Scientific Computing. 1ed.Petrópolis: INCT-MACC/LNCC, 2012, v. 1, p. 315-354.


Programa de Computador registrado
1.
Souza, W. L.; PRADO, A. F. ; DEMARZO, M. M. P. ; NUNES, D. F. S. ; PORTOCARRERO, J. M. T. ; LACERDA, A. C. . AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0). 2009.
Patente: Programa de Computador. Número do registro: BR512014001214-0, data de registro: 01/01/2009, título: "AMBIENTE DE COMPUTAÇÃO UBÍQUA PARA O MONITORAMENTO E AVALIAÇÃO DE ATIVIDADE FÍSICA1.0 (ACUMAAF V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
L. H. Z. Santana ; Souza, W. L. ; PRADO, A. F. ; LIMA, V. V. ; SILVA, R. F. ; HIRAKAWA, H. S. . Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0). 2008.
Patente: Programa de Computador. Número do registro: RS 10306-2, título: "Portfólio Reflexivo Eletrônico Versão 1.0 (PRE V.1.0)" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Outras informações relevantes


Bolsa de pesquisa do CNPq de 1981 a 2001 (Proc. No 301117/80-2), sendo a última classificação nível I C.



Página gerada pelo Sistema Currículo Lattes em 19/11/2018 às 12:33:17