|
|
Registros recuperados : 15 | |
15. | | MASIERO, P. C.; BREMER, C. F.; COLETTA, T. das G.; LIRANI, M. de L. R.; KONDO, R. T.; ARAGÃO, A. C.; MOSCONI, E. P.; SALEM, A. D. C. A biblioteca digital de teses e dissertações da Universidade de São Paulo. Ciência da Informação, Brasília, v. 30, n. 3, p. 34-41, set./dez. 2001. Biblioteca(s): Embrapa Amazônia Ocidental. |
| |
Registros recuperados : 15 | |
|
|
| Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
Registro Completo
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
19/12/1995 |
Data da última atualização: |
26/11/2004 |
Autoria: |
MEIRA, C. A. A.; MASIERO, P. C. |
Afiliação: |
EMBRAPA, CNPTIA. |
Título: |
Especificações formais em VDM: um estudo de caso. |
Ano de publicação: |
1990 |
Fonte/Imprenta: |
Sao Carlos: USP, ICMSC, 1990. |
Páginas: |
24 p. |
Série: |
(ICMSC-USP. Relatório Técnico, 6). |
Idioma: |
Português |
Conteúdo: |
Este trabalho apresenta uma breve introdução ao metodo de especificação formal de sistemas denominado VDM (Vienna Development Method) e o aplica integralmente na especificacao de um sistema exemplo, ilustrando dessa forma, a notação VDM. |
Palavras-Chave: |
Especificação formal; Sistema; VDM. |
Categoria do assunto: |
-- |
Marc: |
LEADER 00716nam a2200181 a 4500 001 1002215 005 2004-11-26 008 1990 bl uuuu u0uu1 u #d 100 1 $aMEIRA, C. A. A. 245 $aEspecificações formais em VDM$bum estudo de caso. 260 $aSao Carlos: USP, ICMSC$c1990 300 $a24 p. 490 $a(ICMSC-USP. Relatório Técnico, 6). 520 $aEste trabalho apresenta uma breve introdução ao metodo de especificação formal de sistemas denominado VDM (Vienna Development Method) e o aplica integralmente na especificacao de um sistema exemplo, ilustrando dessa forma, a notação VDM. 653 $aEspecificação formal 653 $aSistema 653 $aVDM 700 1 $aMASIERO, P. C.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|