Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos (1998)
- Authors:
- Autor USP: VEGA, ITALO SANTIAGO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: Este trabalho de pesquisa se propõe a investigar sobre a necessidade de um novo formalismo adequado para o modelo de objetos e que explique plenamente o seu comportamento. De maneira complementar, e assumindo a existência de um tal formalismo justificado, discutir como as noções fundamentais do modelo de objetos são descritas por uma linguagem padronizada para a descrição de modelos largamente utilizada em âmbito mundial. A escolha do modelo de objetos de Cardelli (denominado cálculo-'sigma') foi motivado pelo seu tratamento uniforme e abrangente (em termos conceituais) quer seja das primitivas do modelo de objetos (ao menos como convencionalmente percebido na literatura), quer nas propriedades que se espera que este modelo apresente. A particular seleção da linguagem UML como linguagem utilizada para a descrição de modelos de objetos se deve ao seu reconhecimento como linguagem padrão de intercâmbio de descrições de modelos de sistemas de software orientados e pelo seu potencial uso como veículo de raciocínio (senão formal, pelo menos rigoroso). A partir destes elementos, uma interpretação rigorosa das noções de objetos representadas em UML permite perceber, muitas vezes de forma clara e conclusiva, diversas inconsistências nas descrições de modelos obtidas pelo seu uso. Procura-se, neste texto, fornecer um suporte conceitual a todo o processo em questão, ao lado da apresentação de técnicas, métodos e aplicações considerados relevantes a este estudo.
- Imprenta:
- Data da defesa: 18.11.1998
-
ABNT
VEGA, Ítalo Santiago. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos. 1998. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1998. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28112024-154335/pt-br.php. Acesso em: 22 jan. 2026. -
APA
Vega, Í. S. (1998). Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28112024-154335/pt-br.php -
NLM
Vega ÍS. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos [Internet]. 1998 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28112024-154335/pt-br.php -
Vancouver
Vega ÍS. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos [Internet]. 1998 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28112024-154335/pt-br.php - Implementacao de redes de Petri ce em linguagem procedural
- Usando contratos para construir sistemas de software
- Interpretando expressoes
- Turbo pascal 5.5
- Programacao orientada a eventos
- Analise de sistemas de grande porte utilizando metodologias conhecidas
- Simdec: ambiente de análise para sistemas discretos
- Objetos container em linguagem orientada a objetos
- Automatizacao de transformacao de coordenadas em sistema grafico interativo: 2d
- Simdec
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
