Data/hora: 05/06/2024 06:36:26

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 10/08/1993
Data da última atualização: | 21/12/2010
Autoria: | HIGA, R. H.
Afiliação: | ROBERTO HIROSHI HIGA, CNPTIA.
Título: | Introdução a especificação formal de módulos de software por traços.
Ano de publicação: | 1993
Fonte/Imprenta: | Campinas: EMBRAPA-CNPTIA, 1993.
Páginas: | 16 p.
Idioma: | Português
Conteúdo: | Apresentação informal da especificação por traços. Apresentação formal da especificação por traços. Executando especificações formais utilizando traços em Prolog.
Palavras-Chave: | Engenharia de software; Especificação formal; Especificação por traços; Especifição de software; Software; Specification of software.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (1695-1) - UMT - NC - PP -  -  - 1993.00032 - DIS