MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO
Autor(a) principal: | |
---|---|
Data de Publicação: | 1976 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | https://www.teses.usp.br/teses/disponiveis/55/55133/tde-06072022-091623/ |
Resumo: | E apresentado um panorama da literatura referente a Sistemas para a Análise e Projeto de Sistemas de Informação Assistidos por Computador, com Ênfase na fase de Projeto Lógico do Ciclo de Vida de Sistemas de Informação. E fornecida uma bibliografia com aproximadamente 370 referências, sendo suas fontes (autor, grupo de pesquisa on área de pesquisa) classificadas dentro dos seguintes Títulos de Assunto: 1 - Linguagens para a Descrição das Especificações de Sistemas de Informação; 2 - Analisa dores para essas linguagens; 3 - Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação; e 4 - Sistemas para guarda e manipulação dessas Descrições. São apresentados 34 resumes referentes aos trabalhos dessas fontes. E explicitado o Modelo Matemático implícito no desenvolvimento do Sistema PSL/PSA do Projeto ISDOS. E mostrado que a descrição de um Sistema de Informação em PSL pode ser tratada com as ferramentas matemáticas da Teoria dos Grafos, pois constitue um dígrafo categorizado com rótulos. E apresentado um algoritmo para a verificação de consistência na Descrição de um Sistema de Informação, baseado no teste de conexidade de dígrafos. As principais características de 18 dos principais Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação são apresentadas resumidamente e comparadas. |
id |
USP_dde869163df2de03a4303e009d059cd1 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-06072022-091623 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃOMATHEMATICAL MODELS OF INFORMATION SYSTEMS THEORYNão disponívelNot availableE apresentado um panorama da literatura referente a Sistemas para a Análise e Projeto de Sistemas de Informação Assistidos por Computador, com Ênfase na fase de Projeto Lógico do Ciclo de Vida de Sistemas de Informação. E fornecida uma bibliografia com aproximadamente 370 referências, sendo suas fontes (autor, grupo de pesquisa on área de pesquisa) classificadas dentro dos seguintes Títulos de Assunto: 1 - Linguagens para a Descrição das Especificações de Sistemas de Informação; 2 - Analisa dores para essas linguagens; 3 - Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação; e 4 - Sistemas para guarda e manipulação dessas Descrições. São apresentados 34 resumes referentes aos trabalhos dessas fontes. E explicitado o Modelo Matemático implícito no desenvolvimento do Sistema PSL/PSA do Projeto ISDOS. E mostrado que a descrição de um Sistema de Informação em PSL pode ser tratada com as ferramentas matemáticas da Teoria dos Grafos, pois constitue um dígrafo categorizado com rótulos. E apresentado um algoritmo para a verificação de consistência na Descrição de um Sistema de Informação, baseado no teste de conexidade de dígrafos. As principais características de 18 dos principais Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação são apresentadas resumidamente e comparadas.An exposition of the state of the art in Computer Assisted Information Systems Analysis and Design concerning the Logical Design Phase of Information Systems Life Cycle is given. A literature review of about 37 papers is made, classifying their sources (author, research group or research area) according to the following subject titles: 1 - Problem Statement Languages; 2 - Problem Statement Analysers;- 3 - Mathematical Models relevant to the Logical Design; and 4 - Systems for storage and retrieval of Problem Statements. An abstract of the work of 34 of these sources is presented. The main features of 18 of the more important Mathematical Models relevant to the Logical Design of Information Systems are brieffely described and compared. The Mathematical Model implicit in the development of ISDOS PSL/PSA is explicited. It is shown that the statement of a problem in PSL may be treated with Graph Theoretical tools as it is a labelled, categorized digraph. An Algorithm for consistency cheking of Problem Statements based on testing conectedness of digraphs is presented.Biblioteca Digitais de Teses e Dissertações da USPLinhares, Odelar LeiteGermano, Fernao Stella de Rodrigues1976-04-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/55/55133/tde-06072022-091623/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/openAccesspor2022-07-06T13:50:56Zoai:teses.usp.br:tde-06072022-091623Biblioteca 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:27212022-07-06T13:50:56Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO MATHEMATICAL MODELS OF INFORMATION SYSTEMS THEORY |
title |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
spellingShingle |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO Germano, Fernao Stella de Rodrigues Não disponível Not available |
title_short |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
title_full |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
title_fullStr |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
title_full_unstemmed |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
title_sort |
MODELOS MATEMÁTICOS DA TEORIA DOS SISTEMAS DE INFORMAÇÃO |
author |
Germano, Fernao Stella de Rodrigues |
author_facet |
Germano, Fernao Stella de Rodrigues |
author_role |
author |
dc.contributor.none.fl_str_mv |
Linhares, Odelar Leite |
dc.contributor.author.fl_str_mv |
Germano, Fernao Stella de Rodrigues |
dc.subject.por.fl_str_mv |
Não disponível Not available |
topic |
Não disponível Not available |
description |
E apresentado um panorama da literatura referente a Sistemas para a Análise e Projeto de Sistemas de Informação Assistidos por Computador, com Ênfase na fase de Projeto Lógico do Ciclo de Vida de Sistemas de Informação. E fornecida uma bibliografia com aproximadamente 370 referências, sendo suas fontes (autor, grupo de pesquisa on área de pesquisa) classificadas dentro dos seguintes Títulos de Assunto: 1 - Linguagens para a Descrição das Especificações de Sistemas de Informação; 2 - Analisa dores para essas linguagens; 3 - Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação; e 4 - Sistemas para guarda e manipulação dessas Descrições. São apresentados 34 resumes referentes aos trabalhos dessas fontes. E explicitado o Modelo Matemático implícito no desenvolvimento do Sistema PSL/PSA do Projeto ISDOS. E mostrado que a descrição de um Sistema de Informação em PSL pode ser tratada com as ferramentas matemáticas da Teoria dos Grafos, pois constitue um dígrafo categorizado com rótulos. E apresentado um algoritmo para a verificação de consistência na Descrição de um Sistema de Informação, baseado no teste de conexidade de dígrafos. As principais características de 18 dos principais Modelos Matemáticos Relevantes à Fase de Projeto Lógico dos Sistemas de Informação são apresentadas resumidamente e comparadas. |
publishDate |
1976 |
dc.date.none.fl_str_mv |
1976-04-07 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/55/55133/tde-06072022-091623/ |
url |
https://www.teses.usp.br/teses/disponiveis/55/55133/tde-06072022-091623/ |
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_ |
1809090450265473024 |