Detalhes bibliográficos
Ano de defesa: |
1992 |
Autor(a) principal: |
Silva, José Reinaldo |
Orientador(a): |
Não Informado pela instituição |
Banca de defesa: |
Não Informado pela instituição |
Tipo de documento: |
Tese
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: |
|
Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-095723/
|
Resumo: |
A tese propõe representações complementares do processo de design da automação de sistemas discretos que permite modelar inclusive, algumas componentes do design rationale. O aspecto do processo de design enfatizado e o reúso de soluções aproximadas para uma nova componente em desenvolvimento, através da modificação (transformação) sintática de um design conhecido. Trata-se um caso especial do raciocinio analógico, que e o raciocínio metafórico: o reúso de soluções de design adotadas em domínios diferentes (embora dentro da mesma área geral de aplicação: automação de sistemas discretos). A inspiração para a formalização do reúso de designs e proveniente da área das teorias formais de metáforas e analogias aplicadas a linguística. O uso de representações complementares de design requer também a adoção de formalismos que permitam uma tradução rigorosa entre essas representações. |