Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao (1989)
- Autor:
- Autor USP: CAZARINI, EDSON WALMIR - EESC
- Unidade: EESC
- Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; CONFIABILIDADE DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher place: Sao Carlos
- Date published: 1989
- Source:
- Título: Cpd-Informa
- Volume/Número/Paginação/Ano: v.2 , n.8 , p.5-8, set. 1989
-
ABNT
CAZARINI, Edson Walmir. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao. Cpd-Informa, v. 2 , n. 8 , p. 5-8, 1989Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf. Acesso em: 18 fev. 2026. -
APA
Cazarini, E. W. (1989). Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao. Cpd-Informa, 2 ( 8 ), 5-8. Recuperado de https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf -
NLM
Cazarini EW. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao [Internet]. Cpd-Informa. 1989 ;2 ( 8 ): 5-8.[citado 2026 fev. 18 ] Available from: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf -
Vancouver
Cazarini EW. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao [Internet]. Cpd-Informa. 1989 ;2 ( 8 ): 5-8.[citado 2026 fev. 18 ] Available from: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf - Publicações sobre o tema sistemas complexos e gestão do conhecimento: contribuições no processo de identificação do "estado da arte"
- Uma estratégia para o início do processo de implementação do CMM nível 2 em uma empresa de pequeno porte
- Um modelo de ensino à distância para os cursos de pós graduação lato sensu
- Conceitos importantes na gestão do conheicmento e a taxonomia do conhecimento
- Modelagem de priorização de competências em planejamento de EAD
- Necessidade da técnica de modelagem organizacional EKD: enterprise knowledge development nas universidades
- Utilizando a metodologia enterprise knowledge development no processo de desenvolvimento de sistemas de apoio à decisão
- Proposta de um suporte metodológico para aperfeiçoamento de planejamento em EAD: uma contribuição à luz da engenharia de produção
- A problematização como postura metodológica para o desenvolvimento da aprendizagem em cursos de educação a distância
- Aprendizagem baseada em problemas, Moodle e dinâmicas de trabalho em equipe na engenharia
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
PROD_001640_SYSNO_795719.... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
