-
Physical Sciences
Computer Networks and Communications
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Health Sciences
Psychiatry and Mental Health
-
Physical Sciences
Computer Science Applications
João Luís Cardoso De MORAES; Wanderley Lopes De SOUZA; Luis Ferreira PIRES; Antonio Francisco Do PRADO.
2013.
Towards a reusable architecture for message exchange in pervasive healthcare.
In:
15th international conference on enterprise information systems (iceis 2013).
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
João Luís Cardoso De MORAES; Wanderley Lopes De SOUZA; Luis Ferreira PIRES; Antonio Francisco Do PRADO.
2013.
Message generation facilities for interoperability in pervasive healthcare environments.
In:
19th americas conference on information systems (amcis 2013).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Victor Gomes Da SILVA; Carlos Eduardo CIRILO; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Vinícius PEREIRA.
2013.
An approach to dynamic discovery of context-sensitive web services.
In:
The eighth international conference on internet and web applications and services (iciw 2013).
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Lucas Venezian POVOA; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO; Luís Ferreira PIRES; Evert F DUIPMANS.
2013.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
Douglas Fabiano De Sousa NUNES; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO; Marcelo Marcos Piva DEMARZO.
2012.
Ucemepa: ubiquitous computing environment for monitoring and evaluating physical activity.
In:
Eighteenth americas conference on information systems (amcis 2012).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Luis Ferreira PIRES; Evert F DUIPMANS; Antonio Francisco Do PRADO; Lucas Venezian POVOA.
2012.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Paulo Eduardo PAPOTTI; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA.
2012.
Reducing time and effort in legacy systems reengineering to mdd using metaprogramming.
In:
2012 acm research in applied computation symposium (racs 2012).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Paulo Eduardo PAPOTTI; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA.
2012.
Uma abordagem para apoiar a reengenharia de sistemas legados para o mdd usando metaprogramação.
In:
Xxxviii conferencia latinoamericana en informática (clei 2012).
Colômbia.
-
Physical Sciences
Computer Science (miscellaneous)
João Luís Cardoso De MORAES; Anderson Luiz MENEZES; Carlos Eduardo CIRILO; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2012.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Language and Linguistics
Carlos Eduardo CIRILO; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Luciana Aparecida Martinez ZAINA.
2011.
Experimentação do processo model driven richubi no desenvolvimento de interfaces ricas adaptativas.
In:
Xxv simpósio brasileiro de engenharia de software (sbes).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Douglas Fabiano De Sousa NUNES; Arturo Urquizo BALDÁRRAGO; Wanderley Lopes De SOUZA; Antonio Francisco PRADO.
2011.
Amrp: ambiente para o monitoramento remoto de pacientes.
In:
Xxxvii conferência latinoamericana de informática (clei).
Equador.
-
Physical Sciences
Computer Science (miscellaneous)
João Luís Cardoso De MORAES; Adriano Aleixo BOSSONARO; Anderson Luiz MENEZES; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2011.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Health Sciences
General Medicine
Marcos FORTE; Wanderley Lopez De SOUZA; Roseli Ferreira Da SILVA; Antonio Francisco Do PRADO.
2010.
Portfólio reflexivo eletrônico na unidade educacional de prática profissional do curso de medicina da ufscar.
In:
Xxix congresso da sociedade brasileira de computação (csbc).
Brasil.
-
Social Sciences & Humanities
Education
Jesús Martín Talavera PORTOCARRERO; Wanderley Lopes De SOUZA; Marcelo Marcos Piva DEMARZO; Antonio Francisco Do PRADO.
2010.
Siaf: um sistema de informação de atividade física.
In:
X workshop de informática médica (wim 2010) do xxix congresso da sociedade brasileira de computação (csbc).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Bruno Leandro Gomes Dos SANTOS; Eduardo Felipe Zambom SANTANA; Elaine Cecília GATTO; Fabiano Caixeta DUARTE et al.
2010.
Utilizando pbl no ensino de computação ubíqua.
In:
Xviii workshop sobre educação em computação (wei).
Brasil.
-
Social Sciences & Humanities
General Social Sciences
-
Physical Sciences
Computer Science (miscellaneous)
Carlos Eduardo CIRILO; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Luciana Aparecida Martinez ZAINA.
2010.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Carlos Eduardo CIRILO; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Luciana Aparecida Martinez ZAINA.
2010.
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).
Estados Unidos.
-
Health Sciences
General Medicine
Marcos FORTE; Wanderley Lopes De SOUZA; Roseli Ferreira Da SILVA; Antonio Francisco Do PRADO.
2010.
Portfólio eletrônico ubíquo no aprendizado de medicina.
In:
Xii congresso brasileiro de informática em saúde (cbis).
Brasil.
-
Physical Sciences
Computer Science Applications
Jesús Martín Talavera PORTOCARRERO; Wanderley Lopes De SOUZA; Marcelo Marcos Piva DEMARZO; Antonio Francisco Do PRADO.
2010.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Raphael Pereira De OLIVEIRA; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Mauro BIAJIZ.
2009.
Development based on mda of ubiquitous applications domain product lines.
In:
8th ieee/acis international conference on computer and information science (icis).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
João Luís Cardoso De MORAES; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2009.
Ambiente de computação ubíqua para o cuidado de saúde pervasivo (acucsp).
In:
Xxxvi seminário integrado de hardware e software (semish).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduardo Felipe Zambom SANTANA; Raphael Pereira De OLIVEIRA; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Mauro BIAJIZ.
2009.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduardo Felipe Zambom SANTANA; Luiz Henrique Zambom SANTANA; Volia De Almeida CARVALHO; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2009.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduardo Felipe Zambom SANTANA; Luiz Henrique Zanbon SANTANA; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA.
2009.
A web 2.0 based environment for simulation activities in constructivist medical education.
In:
Iadis international conference www/internet (www/internet).
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Henrique Zanbon SANTANA; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduardo Felipe Zambom SANTANA; Luiz Henrique Zanbon SANTANA; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
David Oliveira LORENTE; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2008.
Midcomubi: um middleware para ambientes de computação ubíqua.
In:
Ii workshop on pervasive and ubiquitous computing (wpuc 2008).
Brasil.
-
Social Sciences & Humanities
Education
Luiz Henrique Zanbon SANTANA; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2008.
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).
Brasil.
-
Social Sciences & Humanities
Education
Marcos FORTE; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science Applications
Luiz Henrique Zanbon SANTANA; Marcos FORTE; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Henrique Zanbon SANTANA; Diogo Santana MARTINS; Marcos FORTE; Wanderley Lopes De SOUZA; Antonio Francisco PRADO et al.
2007.
Serviço de tradução de linguagens de marcação para a internet.
In:
25o simpósio brasileiro de redes de computadores (sbrc 2007).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Caroline Beatriz PERLIN; Luiz Henrique Zanbon SANTANA; Diogo Santana MARTINS; Helen Freitas Dos SANTOS; Antonio Francisco Do PRADO et al.
2007.
Um ambiente de computação ubíqua para o ensino baseado em abp.
In:
Xxxiii conferencia latinoamericana en informática - clei 2007.
Costa Rica.
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Henrique Zanbon SANTANA; Antonio Francisco Do PRADO; Wanderley Lopes De SOUZA; Mauro BIAJIZ.
2007.
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).
Brasil.
-
Physical Sciences
Computer Science Applications
Luiz Henrique Zanbon SANTANA; Diogo Santana MARTINS; Caroline Beatriz PERLIN; Antonio Francisco PRADO; Wanderley Lopes De SOUZA et al.
2007.
Adaptação de páginas web para dispositivos móveis.
In:
Xiii brazilian symposium on multimedia and the web - webmedia 2007.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; Antonio Francisco PRADO; Hélio Crestana GUARDIA; Mauro BIAJIZ; Junia Coutinho ANACLETO.
2007.
Ambiente de computação ubíqua para o ensino de medicina baseado em pbl.
In:
I workshop on pervasive and ubiquitous computing - wpcu 2007.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Marcos FORTE; Wanderley Lopes De SOUZA; Antonio Francisco Do PRADO.
2006.
Utilizando ontologias e serviços web na computação ubíqua.
In:
Xx simpósio brasileiro de engenharia de software (sbes).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos FORTE; Wanderley Lopes De SOUZA; Antonio Francisco PRADO.
2005.
Um servidor para a classificação e filtragem de conteúdo na internet.
In:
23o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renato André Takayama CLAUDINO; Wanderley Lopes De SOUZA; Antonio Francisco PRADO.
2005.
Uma arquitetura para adaptação de conteúdo na internet.
In:
23o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renato André Takahama CLAUDINO; Wanderley Lopes De SOUZA; Antonio Francisco PRADO.
2005.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Francisco Isidro MASSETTO; Sérgio Donizetti ZORZO.
2002.
Simulator for e-lotos specifications.
In:
35th annual simulation symposium (ss 2002).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Gregor Von BOCHMANN; Khalil El KHATIB; Xiaoqing HE.
2002.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Henrique Rodrigo Ternero SILVA; Sérgio Donizetti ZORZO.
2001.
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.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis De FARIAS; Luis Ferreira PIRES; Célio Estevan MORON.
2001.
Specification and validation of a real-time parallel kernel using lotos.
In:
Ninth international symposium on modelling; analysis and simulation of computer and telecommunication.
Estados Unidos.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; Helen Freitas Dos SANTOS; Cléver Ricardo Guareis De FARIAS.
2001.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Helen Freitas Dos SANTOS; Cléver Ricardo Guareis De FARIAS.
2001.
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).
Venezuela.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Renato Augusto Guimarães PINHEIRO; Sérgio Donizetti ZORZO.
2000.
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.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA.
1999.
Design of distributed multimedia applications (damd).
In:
Protem-cc'99 projects evaluation workshop fase iii.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; André Luiz Satoshi KAWAMOTO.
1999.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Paulo Nazareno Maia SAMPAIO; Cláudia Yumi SHIGA; André Luiz Satoshi KAWAMOTO.
1999.
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.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Claudia Yumi SHIGA; Paulo Nazareno Maia SAMPAIO; André Luiz Satoshi KAWAMOTO.
1998.
Especificação de aplicações multimídia interativas em e-lotos.
In:
Xxiv conferencia latinoamericana de informática.
Equador.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Antonio Carlos Lima SANTANA; Antonio Francisco PRADO; Marcelo Sant ANNA.
1998.
Automatic refinement of distributed systems specifications using program transformations.
In:
Twenty-second annual international computer software and application conference - compsac'98.
Austria.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Paulo Nazareno Maia SAMPAIO; André Luiz Satoshi KAWAMOTO.
1998.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS.
1998.
Especificação formal e validação de um kernel paralelo tempo real.
In:
16o simpósio brasileiro de redes de computadores - sbrc'98.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Marcos Rogério SALVADOR.
1998.
Especificação formal de sistemas odp usando a linguagem mondel.
In:
Anais do 16o simpósio brasileiro de redes de computadores - sbrc'98.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Luís Henrique Castelo BRANCO; Antonio Francisco PRADO.
1998.
Automatic implementation of mondel specifications in java.
In:
European reuse workshop'98 - erw'98.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Paulo Nazareno Maia SAMPAIO; Claudia Yumi SHIGA.
1997.
Enabling temporal synchronization in e-lotos specifications and mheg-5 applications.
In:
Ieee conference on protocols for multimedia systems-multimedia networking - proms-mmnet'97.
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS; Célio Estevan MORON.
1997.
Modelagem de sistemas operacionais utilizando lotos.
In:
Xxii conferencia latinoamericana de informática.
Chile.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; Paulo Nazareno Maia SAMPAIO.
1997.
Modelling multimedia and hypermedia applications using an e-lotos/mheg-5 approach.
In:
Acm 16th international conference on conceptual modelling - er'97.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; Jean Marie FARINES; Maria Janilce Bosquiroli ALMEIDA; Luis Ferreira PIRES; Murilo Silva CAMARGO et al.
1997.
Design de aplicações multimídia distribuídas (damd).
In:
Ii seminário franco-brasileiro em sistemas informáticos distribuídos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Antonio Carlos Lima SANTANA; Antonio Francisco PRADO.
1997.
Utilização do paradigma draco para implementar especificações estelle na linguagem c++.
In:
15o simpósio brasileiro de redes de computadores - sbrc'97.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS; Célio Estevan MORON.
1997.
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.
Suiça.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS; Célio Estevan MORON.
1996.
Formal specification an automatic implementation of a real-time parallel kernel.
In:
Ifac/ifip 21st workshop on real time programming.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS.
1996.
Design and implementation of distributed databases using estelle.
In:
Anais do xi simpósio brasileiro de banco de dados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Antonio Francisco PRADO; Antonio Carlos Lima SANTANA.
1996.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Cléver Ricardo Guareis FARIAS.
1995.
Especificação formal e validação de algoritmos distribuídos.
In:
Xxii seminário integrado de software e hardware - semish'95.
Brasil.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; Ciro De Barros BARBOSA.
1995.
Modelagem orientada ao objeto de especificações escritas em estelle.
In:
13o simpósio brasileiro de redes de computadores - 13o sbrc.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Wanderley Lopes De SOUZA; Rossana Maria De Castro ANDRADE.
1994.
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.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Wanderley Lopes De SOUZA; V TSCHAMMER; Manuel Jesus MENDES; E R M MADEIRA; W P LOYOLLA.
1993.
Processamento distribuído aberto e o modelo rm-odp/iso.
In:
11o simpósio brasileiro de redes de computadores - sbrc'93.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; E B MEDEIROS; Maurício Ferreira MAGALHÃES.
1992.
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.
Brasil.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; A J P ARAÚJO.
1992.
Especificação formal; em estelle; de sistemas digitais.
In:
9o congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; A R CARDOSO.
1992.
Formal specification of mobile networks.
In:
Ieee international workshop on personal; indoor and mobile radio communications.
Hungria.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; Rossana Maria De Castro ANDRADE.
1991.
Especificação formal em estelle de sistemas de telefonia.
In:
9o simpósio brasileiro de telecomunicações.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; André Ribeiro CARDOSO.
1991.
Especificação formal em estelle de redes de comunicação móvel.
In:
Ix congresso nacional da sociedade brasileira de computação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Luís Ferreira PIRES.
1991.
Projeto de sistemas através de refinamentos sucessivos utilizando a tdf lotos.
In:
9o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Luís Ferreira PIRES.
1990.
Step-wise refinement design example using lotos.
In:
Third international conference on formal description techniques.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Bernardo Gonçalves RISO.
1990.
Especificação algébrica de processos da camada de aplicação do rm osi/iso.
In:
8o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Artificial Intelligence
Wanderley Lopes De SOUZA; José Neuman De SOUZA.
1990.
Simulation of protocol formal specifications.
In:
International conference on local area networks.
Índia.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; José Neuman De SOUZA.
1989.
Simulação de especificações formais de protocolos de comunicação.
In:
Seminário franco-brasileiro em sistemas informáticos distribuídos.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA; Edilson FERNEDA; Peter LONERGAN; Solon Benayon SILVA.
1989.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Bernardo Gonçalves RISO.
1988.
Using ccs for protocol specifications by step-wise refinements.
In:
Second international symposium on interoperable information systems.
Japão.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Joberto Sérgio Barbosa MARTINS.
1988.
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.
Brasil.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; José Neuman De SOUZA; Joaquim Celestino JÚNIOR.
1988.
Especificação formal de protocolos de comunicação através de refinamentos sucessivos.
In:
Viii congresso da sociedade brasileira de computação.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA.
1988.
An approach for developing communication software for local area networks.
In:
Ieee latincon'88.
Argentina.
-
Social Sciences & Humanities
Education
Wanderley Lopes De SOUZA; Bernardo Gonçalves RISO.
1988.
Especificação e verificação em ccs de sistemas de comunicação.
In:
6o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA.
1987.
Uma proposta para o desenvolvimento sistemático de software de comunicação para rede local.
In:
5o simpósio brasileiro de telecomunicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Edilson FERNEDA.
1987.
A compiler for a formal description technique.
In:
1st iberian conference on data communications.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Edilson FERNEDA.
1987.
Aplicações do compilador estelle.
In:
5o simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA.
1987.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Edilson FERNEDA.
1986.
Compilador para a linguagem de especificação estelle.
In:
Vi congresso da sociedade brasileira de computação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Edilson FERNEDA.
1986.
Analisador sintático em prolog para a linguagem de especificação de protocolos estelle.
In:
Iv simpósio brasileiro de redes de computadores - sbrc'86.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA.
1985.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Gregor Von BOCHMANN; Rachida DSSOULI; Behcet SARIKAYA; Hassan HURAL.
1985.
Use of prolog for building protocol design tools.
In:
Ifip wg 6.1 fifth international workshop on protocol specification; testing; and verification - pstv'85.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Rachida DSSOULI; Gregor Von BOCHMANN.
1985.
Ambiente de teste para protocolos de comunicação.
In:
3o simpósio brasileiro de redes de computadores - sbrc'85.
Brasil.
-
Physical Sciences
Computer Science Applications
Wanderley Lopes De SOUZA.
1985.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Wanderley Lopes De SOUZA; Driss MOUSSAID.
1984.
Software for erlangmeter controlled by microprocessor.
In:
Ieee latincon 84.
México.
-
Physical Sciences
Computer Science (miscellaneous)
Wanderley Lopes De SOUZA; Driss MOUSSAID.
1984.
Software para erlangmetre pilotado por microprocessador.
In:
X conferencia latinoamericana de informática.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Wanderley Lopes De SOUZA; Driss MOUSSAID.
1983.
Medidor de tráfego telefônico comandado por microprocessador.
In:
V congresso chileno de ingenieria elétrica.
Chile.
-
Physical Sciences
Engineering (miscellaneous)
Wanderley Lopes De SOUZA; J B M MAIA; Misael Elias De MORAIS.
1982.
Sistema de aquisição de dados para central de despacho de carga.
In:
Ix conferencia latinoamericana de informática.
Peru.
-
Physical Sciences
Engineering (miscellaneous)
Wanderley Lopes De SOUZA.
1980.
É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.
Brasil.