Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie

Detalhes bibliográficos
Autor(a) principal: Edelweiss, Nina
Data de Publicação: 1990
Outros Autores: Oliveira, Jose Palazzo Moreira de
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126686
Resumo: O trabalho apresenta um exemplo de integração do método T.A.& A. [HOP88] com o ambiente YPY [EDE89a]. É apresentada a especificação e posterior prototipação de um Sistema de Informação de Escritório, uma locadora de fitas de vídeo. A análise do escritório é feita através do método T.A.& A., resultando na especificação semiformal do mesmo. Esta especificação é orientada ao projeto do banco de dados do sistema, através do modelo de dados implementado pelo ambiente YPY, utilizado na prototipação. A modelagem dos aspectos dinâmicos é feita através de condições de violação expressas como regras de lógica de primeira ordem.
id UFRGS-2_59159621fdbaf7d86fbb6c30a96fd077
oai_identifier_str oai:www.lume.ufrgs.br:10183/126686
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Edelweiss, NinaOliveira, Jose Palazzo Moreira de2015-09-14T15:58:59Z1990http://hdl.handle.net/10183/126686000005493O trabalho apresenta um exemplo de integração do método T.A.& A. [HOP88] com o ambiente YPY [EDE89a]. É apresentada a especificação e posterior prototipação de um Sistema de Informação de Escritório, uma locadora de fitas de vídeo. A análise do escritório é feita através do método T.A.& A., resultando na especificação semiformal do mesmo. Esta especificação é orientada ao projeto do banco de dados do sistema, através do modelo de dados implementado pelo ambiente YPY, utilizado na prototipação. A modelagem dos aspectos dinâmicos é feita através de condições de violação expressas como regras de lógica de primeira ordem.The integration of the T.A.& A. method [HOP88] and the YPY environment [EDE89a] is here presented. The specification and prototyping of an Office Information System, a video rental shop, are developed. The T.A.& A. method is used in the office analysis, resulting in a semiformal specification. This specification is oriented towards the database project, using the data model implemented by the YPY environment, used in the prototyping phase. Dynamic aspects of the system are modeled through integrity violation conditions, presented as first-order logic rules.application/pdfporCPGCC da UFRGSAutomação : EscritóriosMetodo t. a. & a.Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sieinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000005493.pdf.txt000005493.pdf.txtExtracted Texttext/plain37945http://www.lume.ufrgs.br/bitstream/10183/126686/2/000005493.pdf.txt28b40c4f98257222bfcc3333f65a6440MD52ORIGINAL000005493.pdf000005493.pdfTexto completoapplication/pdf1206264http://www.lume.ufrgs.br/bitstream/10183/126686/1/000005493.pdf888b61f5be7fdaaeb819c865182f51dcMD51THUMBNAIL000005493.pdf.jpg000005493.pdf.jpgGenerated Thumbnailimage/jpeg1320http://www.lume.ufrgs.br/bitstream/10183/126686/3/000005493.pdf.jpgb372c9aa7afe6ed8ab0923d855b308feMD5310183/1266862018-10-23 09:18:12.61oai:www.lume.ufrgs.br:10183/126686Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T12:18:12Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
title Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
spellingShingle Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
Edelweiss, Nina
Automação : Escritórios
Metodo t. a. & a.
title_short Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
title_full Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
title_fullStr Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
title_full_unstemmed Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
title_sort Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
author Edelweiss, Nina
author_facet Edelweiss, Nina
Oliveira, Jose Palazzo Moreira de
author_role author
author2 Oliveira, Jose Palazzo Moreira de
author2_role author
dc.contributor.author.fl_str_mv Edelweiss, Nina
Oliveira, Jose Palazzo Moreira de
dc.subject.por.fl_str_mv Automação : Escritórios
Metodo t. a. & a.
topic Automação : Escritórios
Metodo t. a. & a.
description O trabalho apresenta um exemplo de integração do método T.A.& A. [HOP88] com o ambiente YPY [EDE89a]. É apresentada a especificação e posterior prototipação de um Sistema de Informação de Escritório, uma locadora de fitas de vídeo. A análise do escritório é feita através do método T.A.& A., resultando na especificação semiformal do mesmo. Esta especificação é orientada ao projeto do banco de dados do sistema, através do modelo de dados implementado pelo ambiente YPY, utilizado na prototipação. A modelagem dos aspectos dinâmicos é feita através de condições de violação expressas como regras de lógica de primeira ordem.
publishDate 1990
dc.date.issued.fl_str_mv 1990
dc.date.accessioned.fl_str_mv 2015-09-14T15:58:59Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126686
dc.identifier.nrb.pt_BR.fl_str_mv 000005493
url http://hdl.handle.net/10183/126686
identifier_str_mv 000005493
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv CPGCC da UFRGS
publisher.none.fl_str_mv CPGCC da UFRGS
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126686/2/000005493.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126686/1/000005493.pdf
http://www.lume.ufrgs.br/bitstream/10183/126686/3/000005493.pdf.jpg
bitstream.checksum.fl_str_mv 28b40c4f98257222bfcc3333f65a6440
888b61f5be7fdaaeb819c865182f51dc
b372c9aa7afe6ed8ab0923d855b308fe
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224489486254080

Registros relacionados