ANA-RE : um metodo para analise e especificação de requisitos
Autor(a) principal: | |
---|---|
Data de Publicação: | 1989 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1579424 |
Resumo: | Orientador: Claudia Maria Bauzer Medeiros |
id |
UNICAMP-30_ce0eb40703445238525b1bae8f3cf2d7 |
---|---|
oai_identifier_str |
oai::52768 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
ANA-RE : um metodo para analise e especificação de requisitosComputaçãoArquitetura de computadorOrientador: Claudia Maria Bauzer MedeirosDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Esta dissertação introduz o ANA-RE. um novo método para elaboração de modelos analíticos de problemas, bem como apresenta as caracter1sticas de ambiente automatizado SAES (Sistema de Apoio à Especificação de sistemas) que o suporta. Para mostrar a viabilidade desta automação, a dissertação descreve e desenvolvimento de um protótipo de um sistema de banco de dados que suporta o ANA-R E implementado em SMALLTALK [*].O método ANA-RE é o resultado de estudos para a automação do SADT [+] e visa permitir o desenvolvimento de um ambiente automatizado que suporte e complemente a técnica e os instrumentos descritos na literatura sobre SADT. A motivação é oferecer um apoio para a elaboração de modelos que permitam a análise, definição e comunicação de requisitos de sistemas de software. ANA-RE, além de permitir a sua automação, aumenta o espectro de problemas passiveis de especificação formal comparativamente ao SADT.Abstract: Not informed.MestradoMestre em Ciência da Computação[s.n.]Medeiros, Claudia Maria Bauzer, 1954-Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASTobar Toledo, Carlos Miguel19891989-06-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf127f.https://hdl.handle.net/20.500.12733/1579424TOBAR TOLEDO, Carlos Miguel. ANA-RE: um metodo para analise e especificação de requisitos. 1989. 127f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579424. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/52768porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-23T16:49:36Zoai::52768Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-23T16:49:36Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
ANA-RE : um metodo para analise e especificação de requisitos |
title |
ANA-RE : um metodo para analise e especificação de requisitos |
spellingShingle |
ANA-RE : um metodo para analise e especificação de requisitos Tobar Toledo, Carlos Miguel Computação Arquitetura de computador |
title_short |
ANA-RE : um metodo para analise e especificação de requisitos |
title_full |
ANA-RE : um metodo para analise e especificação de requisitos |
title_fullStr |
ANA-RE : um metodo para analise e especificação de requisitos |
title_full_unstemmed |
ANA-RE : um metodo para analise e especificação de requisitos |
title_sort |
ANA-RE : um metodo para analise e especificação de requisitos |
author |
Tobar Toledo, Carlos Miguel |
author_facet |
Tobar Toledo, Carlos Miguel |
author_role |
author |
dc.contributor.none.fl_str_mv |
Medeiros, Claudia Maria Bauzer, 1954- Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da Computação Programa de Pós-Graduação em Ciência da Computação UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Tobar Toledo, Carlos Miguel |
dc.subject.por.fl_str_mv |
Computação Arquitetura de computador |
topic |
Computação Arquitetura de computador |
description |
Orientador: Claudia Maria Bauzer Medeiros |
publishDate |
1989 |
dc.date.none.fl_str_mv |
1989 1989-06-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/20.500.12733/1579424 TOBAR TOLEDO, Carlos Miguel. ANA-RE: um metodo para analise e especificação de requisitos. 1989. 127f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579424. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1579424 |
identifier_str_mv |
TOBAR TOLEDO, Carlos Miguel. ANA-RE: um metodo para analise e especificação de requisitos. 1989. 127f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579424. Acesso em: 2 set. 2024. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/52768 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf 127f. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188746507059200 |