Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (1992)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: SISTEMAS DISCRETOS
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 21.09.1992
-
ABNT
SILVA, José Reinaldo. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1992. . Acesso em: 08 out. 2024. -
APA
Silva, J. R. (1992). Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992 ;[citado 2024 out. 08 ] -
Vancouver
Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992 ;[citado 2024 out. 08 ] - SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm
- Análise e modelagem de sistemas a eventos discretos. Cálculo da distância sincrona e estudo do problema de atingibilidade em redes de petri c / e, p / t e extendidas
- Programação em prolog aplicada a casos de planning em robotica
- Process oriented design service: case study for automated information systems
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Integrated tools environment for modeling and analysis of automated planning systems
- Equações de estado para mark flow graphs
- Towards a unified view of Petri nets and object oriented modeling
- Sistemas de informação: estudo de caso no fluxo de materiais para a fabricação de blanks
- Especificando requisitos de sistemas com redes de Petri
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas