Simdec: ambiente de análise para sistemas discretos (1993)
- Authors:
- Autor USP: VEGA, ITALO SANTIAGO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: A análise e uma das etapas fundamentais no desenvolvimento de um sistema, é também aquela para a qual menos se dispõe de ferramentas computacionais de apoio, principalmente por causa de sua natureza informal e abstrata. Este trabalho apresenta um ambiente de apoio parcial a etapa de análise, permitindo a elaboração de documentos estruturados de especificação e a criação de cenários de análise adequado para a avaliação de alternativas de projeto. Em linhas gerais, o ambiente propõe uma linguagem formal de alto nível, que procura equilibrar a liberdade de expressão com o rigor das especificações formais, permitindo a criação de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execução, viabilizando a avaliação de diferentes alternativas de projeto.
- Imprenta:
- Data da defesa: 11.03.1993
-
ABNT
VEGA, Ítalo Santiago. Simdec: ambiente de análise para sistemas discretos. 1993. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1993. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/pt-br.php. Acesso em: 22 jan. 2026. -
APA
Vega, Í. S. (1993). Simdec: ambiente de análise para sistemas discretos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/pt-br.php -
NLM
Vega ÍS. Simdec: ambiente de análise para sistemas discretos [Internet]. 1993 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/pt-br.php -
Vancouver
Vega ÍS. Simdec: ambiente de análise para sistemas discretos [Internet]. 1993 ;[citado 2026 jan. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122024-114008/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
- Um modelo semi-formal de objeto e tipo de objeto, e sua aplicação na modelagem de sistemas de software orientados a objetos
- 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
