| 2001 |
Trabalho em evento |
Proposta de Plano Pedagógico para Cursos de Ciência da Computação
Murilo Silva De CAMARGO; Paulo Blauth MENEZES; Edward Hermann HAEUSLER; Ana Cristina V De MELO
Curso de Qualidade em Educação em Informática - Workshop em Educação em Computação da Sociedade Brasileira de Computação
|
SH
Education
|
| 2000 |
Trabalho em evento |
Uma Proposta de Plano Pedagógico para a Matéria de Distemas Distribuídos
Claudio GEYER; Ingrido Jansch PORTO; Rômulo Silva De OLIVEIRA; Murilo Silva De CAMARGO
Workshop sobre Educação em Computação - WEI 2000 da Sociedade Brasileira de Computação
ISBN 8572920528
|
SH
Education
|
| 1999 |
Livro |
XIII Simpósio Brasileiro de Engenharia de Software (Sociedade Brasileira de Computação)
Daltro José NUNES; Murilo Silva De CAMARGO
—
|
PS
Software
|
| 1999 |
Livro |
XIV Simpósio Brasileiro de Banco de Dados (Sociedade Brasileira de Computação)
Berthier RIBEIRONETO; Murilo Silva De CAMARGO
—
|
PS
Information Systems
|
| 1998 |
Trabalho em evento |
Specification; Verification and Validation of Time-Dependent Systems Using a Timed Process Algebra Approach
Murilo Silva De CAMARGO; Ricardo MARTINS; Roberto SHEFFEL; Jean Marie FARINES
Workshp Brasileiro em Métodos Formais
|
PS
Theoretical Computer Science
|
| 1998 |
Trabalho em evento |
Design of Distributed Multimedia Applications (DAMD)
Murilo Silva De CAMARGO; W L De SOUZA; J M FARINES; M J B ALMEIDA; L F PIRES et al
International Workshop on Current Trends in Applied Formal Methods - Applied Formal Methods - FM-Trends 98
|
PS
Computer Science Applications
|
| 1998 |
Artigo em periódico |
Formal Specification; Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach
Murilo Silva De CAMARGO; Roberto SHEFFEL; Ricardo MARTINS
Electronic Notes In Theoretical Computer Science
|
PS
Theoretical Computer Science
|
| 1997 |
Trabalho em evento |
Formal Specification; Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach
Murilo Silva De CAMARGO
Second Brazil-US Workshop on Formal Foundations of Software Systems
|
PS
Theoretical Computer Science
|
| 1997 |
Trabalho em evento |
Design de Aplicações Multimídia Distribuídas (DAMD)
W L De SOUZA; Murilo Silva De CAMARGO; M J B ALMEIDA; L F PIRES; R WILLRICH et al
Segundo Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos
|
PS
Computer Science Applications
|
| 1997 |
Trabalho em evento |
Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação
Roberto SHEFFEL; Murilo Silva De CAMARGO
XI Simpósio Brasileiro de Engenharia de Software
|
PS
Software
|
| 1997 |
Trabalho em evento |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes: Especificação e Verificação
Braulio Adriano De MELLO; Murilo Silva De CAMARGO; Elizabeth S SPECIALSKI
3er. Congreso Argentino de Ciencia de la Computacion
|
PS
Software
|
| 1996 |
Trabalho em evento |
Sobre a verificação de especificações em RT-LOTOS
Ricardo MARTINS; Murilo Silva De CAMARGO; J M FARINES
X Simpósio Brasileiro de Engenharia de Software
|
PS
Software
|
| 1995 |
Trabalho em evento |
Uma abordagem para especificação e verificação de sistemas dependentes do tempo
Murilo Silva De CAMARGO; J M FARINES
IX Simpósio Brasileiro de Engenharia de Software
ISBN 122
|
PS
Computer Science Applications
|
| 1994 |
Trabalho em evento |
Tornando LOTOS Apta para Especificar Sistemas Tempo-Real
Murilo Silva De CAMARGO; J M FARINES
12 Simpósio Brasileiro de Redes de Computadores (Sociedade Brasileira de Computação)
|
PS
Software
|
| 1993 |
Trabalho em evento |
RT_LOTOS: LOTOS Temporisé pour la Spécification de Systèmes Temps Réel
Murilo Silva De CAMARGO; Jean Pierre COURTIAT; De SAIDOUNI
CFIP'93 - Ingénierie des Protocoles
|
PS
Computer Science (miscellaneous)
|
| 1992 |
Trabalho em evento |
Uma Variante do Modelo LOTOS Básico com Tempo Estocástico para Especificação e Avaliação de Desempenho em Sistemas Distribuídos Dependentes do Tempo
Murilo Silva De CAMARGO; J M FARINES
X Simpósio Brasileiro de Redes de Computadores da Sociedade Brasileira de Computação
|
PS
Computer Networks and Communications
|
| 1988 |
Trabalho em evento |
A Comparative Analysis of Distributed Queries Optimization Models
Murilo Silva De CAMARGO; Ségio F MAYERLE; Ricardo M BARCIA
IV Congresso Latino-Íbero-Americano de Pesquisa Operacional e Engenharia de Sistemas
|
SH
Management Science and Operations Research
|
