BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
 






Registro Completo
Biblioteca(s):  Embrapa Informática Agropecuária.
Data corrente:  20/08/1992
Data da última atualização:  01/04/2011
Autoria:  BJORNER, D.; JONES, C. B.
Afiliação:  DINES BJORNER, Technical University of Denmark, Danish Datamatics Centre; CLIFF B. JONES, The University, Manchester.
Título:  Formal specification and software development.
Ano de publicação:  1982
Fonte/Imprenta:  Englewood Cliffs: Prentice: Hall, 1982.
Páginas:  501 p.
Série:  (Prentice-Hall International Series in Computer Science).
ISBN:  0-13-329003-4
Idioma:  Inglês
Conteúdo:  Formal specification meta-language. Main approaches to formal specifications. The meta-language. Mathematical foundations. VDM and programming languages. Modelling concepts of programming languages. More on exception mechanisms. ALGOL. Pascal. Compiler design. Rigorous development of interpreters & compilers. VDM and other systems. Program design by data refinement. Stepwise transformation of software architectures. Formalization of data models. Realization of database management systems.
Palavras-Chave:  Desenvolvimento de software; Engenharia de software; Especificação formal; Software.
Categoria do assunto:  X Pesquisa, Tecnologia e Engenharia
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Informática Agropecuária (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status
CNPTIA876 - 1ADCLV - PP005.1BJO1986.00333

Voltar







Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido
Registros recuperados : 1
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoAMARAL, M. E. J.; GRANT, J. R.; RIGGS, P. K.; STAFUZZA, N. B.; RODRIGUES FILHO, E. A.; GOLDAMMER, T.; WEIKARD, R.; BRUNNER, R. M.; KOCHAN, K. J.; GRECO, A. J.; JEONG, J.; CAI, Z.; LIN, G.; PRASAD, A.; KUMAR, S.; SARADHI, G. P.; MATHEW, B.; KUMAR, M. A.; MIZIARA, M. N.; MARIANI, P.; CAETANO, A. R.; GALVAO, S. R.; TANTIA, M. S.; VIJH, R. K.; MISHRA, B.; KUMAR, S. B.; PELAI, V. A.; SANTANA, A. M.; FORNITANO, L. C.; JONES, C. B.; TONHATI, H.; MOORE, S.; STOTHARD, P.; WOMACK, J. E. A first generation whole genome RH map of the river buffalo with comparison to domestic cattle. BMC Genomics, v. 9, n. 631.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 1
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 1
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
 
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita

Embrapa Informática Agropecuária
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
PABX: SAC (19) 3211-5743
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional