Simdec: ambiente de analise para sistemas discretos

Simdec: ambiente de analise para sistemas discretos (1993)

Autores:
- Vega, Ítalo Santiago
- José Neto, João (Orientador)
Autor USP: VEGA, ITALO SANTIAGO - EP
Unidade: EP
Sigla do Departamento: PCS
Assunto: ENGENHARIA ELÉTRICA
Idioma: Português
Resumo: A analise e uma das etapas fundamentais no desenvolvimento de um sistema, e tambem aquela para a qual menos se dispoe 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 analise, permitindo a elaboracao de documentos estruturados de especificacao e a criacao de cenarios de analise adequado para a avaliacao de alternativas de projeto. Em linhas gerais, o ambiente propoe uma linguagem formal de alto nivel, que procura equilibrar a liberdade de expressao com o rigor das especificacoes formais, permitindo a criacao de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execucao, viabilizando a avaliacao de diferentes alternativas de projeto.
Imprenta:
- Local: São Paulo
- Data de publicação: 1993
Data da defesa: 11.03.1993

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

ABNT

VEGA, Ítalo Santiago. Simdec: ambiente de analise para sistemas discretos. 1993. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1993. . Acesso em: 19 abr. 2024.
APA

Vega, Í. S. (1993). Simdec: ambiente de analise para sistemas discretos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM

Vega ÍS. Simdec: ambiente de analise para sistemas discretos. 1993 ;[citado 2024 abr. 19 ]
Vancouver

Vega ÍS. Simdec: ambiente de analise para sistemas discretos. 1993 ;[citado 2024 abr. 19 ]