| |
|
|
| Registros recuperados : 8 | |
| 7. |  | WEBER, H.; JINO, M.; CAMARGO, F. B.; MACÁRIO, C. G.; SOUZA, K. X. S. de; MARTINS, D. N.; NEVES, M. C.; TOLEDO, C. M. T.; TAKAHASHI, T.; CUNHA, C. A. Q.; OSHIRO, R. K.; AKHRAS, F. N. Report on the component production line. In: INTERNATIONAL WORKSHOP ON THE BRAZILIAN SOFTWARE PLANT PROJECT, 2., 1990, Campinas. Proceedings... Campinas: Banco do Brasil: EMBRAPA-NTIA: CTI, 1990. p.107-110.| Biblioteca(s): Embrapa Agricultura Digital. |
|   |
| 8. | | MACÁRIO, C. G. N.; CAMARGO, F. B.; MAXIMO, F. A.; SOUZA, K. X. S. de; COLOMBO, R. M. T.; MOURA, M. F.; NASCIMENTO, M. A. do; EVANGELISTA, S. R. M.; TERNES, S. Reengineering system: a first proposal. Campinas: EMBRAPA - CNPTIA, 1991. 10 p. Inclui bibliografia.
CPL - Component Production Line: Carla Geovana Nascimento Macário; Fani Barbosa Camargo; Fernado Attique Máximo; Kleber Xavier Sampaio de Souza; Regina Maria Thienne Colombo.
PEL - Maria Fernanda Moura; Mário Antônio...| Biblioteca(s): Embrapa Agricultura Digital. |
| |
| Registros recuperados : 8 | |
|
|
|
 | 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: |
07/05/1992 |
|
Data da última atualização: |
07/05/1992 |
|
Autoria: |
CAMARGO, F. B. |
|
Afiliação: |
Embrapa-CNPTIA. |
|
Título: |
Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação. |
|
Ano de publicação: |
1991 |
|
Fonte/Imprenta: |
1991. |
|
Páginas: |
99 f. |
|
Idioma: |
Português |
|
Notas: |
Dissertação (Mestrado) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas. |
|
Conteúdo: |
A atual tecnologia de produção de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produção industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. O objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos níveis de abstração, através de um processo de validação com uso de formalismo. Para tal, procurou-se aliar os conceitos de composição de Componentes de Software Reusaveis de Linguagem-Pi a técnica de especificação formal de Tracos, tornando possivel a automatização do processo de validação. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validação do código de um componente de software contra seus requisitos, expressos por uma especificação formal. |
|
Palavras-Chave: |
Componentes de software; Especificação formal; Processo de validação automatica; Software Demanda; Software Produção; Software production; Spftware demand. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01682nam a2200217 a 4500
001 1000449
005 1992-05-07
008 1991 bl uuuu m 00u1 u #d
100 1 $aCAMARGO, F. B.
245 $aComposição de componentes de software$bespecificação formal de requisitos e automatização do processo de validação.
260 $a1991.$c1991
300 $a99 f.
500 $aDissertação (Mestrado) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas.
520 $aA atual tecnologia de produção de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produção industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. O objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos níveis de abstração, através de um processo de validação com uso de formalismo. Para tal, procurou-se aliar os conceitos de composição de Componentes de Software Reusaveis de Linguagem-Pi a técnica de especificação formal de Tracos, tornando possivel a automatização do processo de validação. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validação do código de um componente de software contra seus requisitos, expressos por uma especificação formal.
653 $aComponentes de software
653 $aEspecificação formal
653 $aProcesso de validação automatica
653 $aSoftware Demanda
653 $aSoftware Produção
653 $aSoftware production
653 $aSpftware demand
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. |
|
|
