Simdecambiente de análise para sistemas discretos.

Bibliographic Details
Main Author: Vega, Ítalo Santiago
Publication Date: 1993
Format: Master thesis
Language: por
Source: Biblioteca Digital de Teses e Dissertações da USP
Download full: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/
Summary: A análise e uma das etapas fundamentais no desenvolvimento de um sistema, é também aquela para a qual menos se dispõe de ferramentas computacionais de apoio, principalmente por causa de sua natureza informal e abstrata. Este trabalho apresenta um ambiente de apoio parcial a etapa de análise, permitindo a elaboração de documentos estruturados de especificação e a criação de cenários de análise adequado para a avaliação de alternativas de projeto. Em linhas gerais, o ambiente propõe uma linguagem formal de alto nível, que procura equilibrar a liberdade de expressão com o rigor das especificações formais, permitindo a criação de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execução, viabilizando a avaliação de diferentes alternativas de projeto.
id USP_e0c2cf7bfebbf91d89eccd73ff6bb36f
oai_identifier_str oai:teses.usp.br:tde-12122024-114008
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Simdecambiente de análise para sistemas discretos.Untitled in englishDiscrete systemsSistemas discretosA análise e uma das etapas fundamentais no desenvolvimento de um sistema, é também aquela para a qual menos se dispõe de ferramentas computacionais de apoio, principalmente por causa de sua natureza informal e abstrata. Este trabalho apresenta um ambiente de apoio parcial a etapa de análise, permitindo a elaboração de documentos estruturados de especificação e a criação de cenários de análise adequado para a avaliação de alternativas de projeto. Em linhas gerais, o ambiente propõe uma linguagem formal de alto nível, que procura equilibrar a liberdade de expressão com o rigor das especificações formais, permitindo a criação de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execução, viabilizando a avaliação de diferentes alternativas de projeto.In the development process, the analysis step is of fundamental importance for systems\'s creation and maintenence, particularly in the case of control systems. From the conclusions of the analysis step, the subsequent design and implementation steps may proceed, However, there is little available computational framework for the analysis step, mainly because of its informal and abstract nature. In order to support the activities of systems analysts, this work presents ar environment that supplies some of the needs of traditional analysis, e.g., structurec documentation and design recommendations. Structured documentation offers an organized view of the system being designed. l\' may be written, preferentially, in a high level language, and must be conect and consistent This work proposes a formal language that helps its user to express it freely althougr rigorously. Once elaborated such a document, there is enough information for the design step By using an appropliate internal execution model, it is possible to exercise and validate th( specifications, by testing end verifying several design alternatives. This work ends by presenting a tool which supports partialJy analysis step, allowinl the elaboration of specifications based on structured documents, and the creation of aT analysis scenery for evaluating design alternatives.Biblioteca Digitais de Teses e Dissertações da USPJosé Neto, JoãoVega, Ítalo Santiago1993-03-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-12-12T13:46:02Zoai:teses.usp.br:tde-12122024-114008Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-12-12T13:46:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Simdecambiente de análise para sistemas discretos.
Untitled in english
title Simdecambiente de análise para sistemas discretos.
spellingShingle Simdecambiente de análise para sistemas discretos.
Vega, Ítalo Santiago
Discrete systems
Sistemas discretos
title_short Simdecambiente de análise para sistemas discretos.
title_full Simdecambiente de análise para sistemas discretos.
title_fullStr Simdecambiente de análise para sistemas discretos.
title_full_unstemmed Simdecambiente de análise para sistemas discretos.
title_sort Simdecambiente de análise para sistemas discretos.
author Vega, Ítalo Santiago
author_facet Vega, Ítalo Santiago
author_role author
dc.contributor.none.fl_str_mv José Neto, João
dc.contributor.author.fl_str_mv Vega, Ítalo Santiago
dc.subject.por.fl_str_mv Discrete systems
Sistemas discretos
topic Discrete systems
Sistemas discretos
description A análise e uma das etapas fundamentais no desenvolvimento de um sistema, é também aquela para a qual menos se dispõe de ferramentas computacionais de apoio, principalmente por causa de sua natureza informal e abstrata. Este trabalho apresenta um ambiente de apoio parcial a etapa de análise, permitindo a elaboração de documentos estruturados de especificação e a criação de cenários de análise adequado para a avaliação de alternativas de projeto. Em linhas gerais, o ambiente propõe uma linguagem formal de alto nível, que procura equilibrar a liberdade de expressão com o rigor das especificações formais, permitindo a criação de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execução, viabilizando a avaliação de diferentes alternativas de projeto.
publishDate 1993
dc.date.none.fl_str_mv 1993-03-11
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://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1826319287684431872

Similar Items