ANA-RE : um metodo para analise e especificação de requisitos
Orientador: Claudia Maria Bauzer Medeiros === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação === Made available in DSpace on 2018-07-17T02:02:11Z (GMT). No. of bitstreams: 1 Toledo_CarlosMiguelTobar_M.pdf: 7314679 bytes, check...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
[s.n.]
1989
|
| Subjects: | |
| Online Access: | TOLEDO, Carlos Miguel Tobar. 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/275923>. Acesso em: 16 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275923 |
| Summary: | Orientador: Claudia Maria Bauzer Medeiros === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação === Made available in DSpace on 2018-07-17T02:02:11Z (GMT). No. of bitstreams: 1
Toledo_CarlosMiguelTobar_M.pdf: 7314679 bytes, checksum: 1ed586006c68948b58b190c92281d469 (MD5)
Previous issue date: 1989 === Resumo: 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. === Mestrado === Mestre em Ciência da Computação |
|---|