|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
12/05/1993 |
Data da última atualização: |
21/12/2010 |
Autoria: |
HIGA, R. H. |
Afiliação: |
ROBERTO HIROSHI HIGA, CNPTIA. |
Título: |
Especificação formal por traços, composição de componentes e protótipos de ferramentas. |
Ano de publicação: |
1993 |
Fonte/Imprenta: |
Campinas: EMBRAPA-CNPTIA, 1993. |
Páginas: |
90 p. |
Idioma: |
Português |
Conteúdo: |
Especificação formal por tracos. Especificações formais executáveis em Prolog. Especificação de tipos compostos. Protótipos de ferramentas construídos. Gatinha. A ferramenta para teste. Tradutor traços-C. Bibliografia. Apêndice I: Especificações. Apêndice II: Programas Prolog correspondentes. Apêndice III: Especificações compostas. |
Palavras-Chave: |
Componentes de software; Components composition; Composição de componentes; Engenharia de softaware; Especificação formal por tracos; Formal specification; Prototipes of tools; Prototipos de ferramentas; Software components; Software engineering; Specification of software; Traces. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01162nam a2200265 a 4500 001 1001416 005 2010-12-21 008 1993 bl uuuu u00u1 u #d 100 1 $aHIGA, R. H. 245 $aEspecificação formal por traços, composição de componentes e protótipos de ferramentas. 260 $aCampinas: EMBRAPA-CNPTIA$c1993 300 $a90 p. 520 $aEspecificação formal por tracos. Especificações formais executáveis em Prolog. Especificação de tipos compostos. Protótipos de ferramentas construídos. Gatinha. A ferramenta para teste. Tradutor traços-C. Bibliografia. Apêndice I: Especificações. Apêndice II: Programas Prolog correspondentes. Apêndice III: Especificações compostas. 653 $aComponentes de software 653 $aComponents composition 653 $aComposição de componentes 653 $aEngenharia de softaware 653 $aEspecificação formal por tracos 653 $aFormal specification 653 $aPrototipes of tools 653 $aPrototipos de ferramentas 653 $aSoftware components 653 $aSoftware engineering 653 $aSpecification of software 653 $aTraces
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 208 | |
Registros recuperados : 208 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|