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; JOSÉ NETO, João. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos. 1998.Universidade de São Paulo, São Paulo, 1998. -
APA
Vega, Í. S., & José Neto, J. (1998). Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos. Universidade de São Paulo, São Paulo. -
NLM
Vega ÍS, José Neto J. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos. 1998 ; -
Vancouver
Vega ÍS, José Neto J. Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos. 1998 ; - Implementacao de redes de Petri ce em linguagem procedural
- Simdec: ambiente de analise para sistemas discretos
- Interpretando expressoes
- Analise de sistemas de grande porte utilizando metodologias conhecidas
- Turbo pascal 5.5
- Usando contratos para construir sistemas de software
- Programacao orientada a eventos
- Objetos container em linguagem orientada a objetos
- Simdec
- Ambiente declarativo para aplicacoes distribuidas
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas