Especificação estruturada de sistemas: a experiência do sistema de segurança de barragens da CESP (1987)
- Authors:
- Autor USP: CAMARA, WILKINSON DIOGENES - EP
- Unidade: EP
- Sigla do Departamento: PEL
- Assunto: BARRAGENS (SEGURANÇA)
- Language: Português
- Abstract: Atendendo a necessidade de especificação do Sistema de Segurança de Barragens um modelo foi elaborado para integrar o usuário à definição de requisitos. Apresenta-se inicialmente o modelo a ser adotado, posteriormente aplica-se a conceituação definida ao sistema, objeto da especificação, e avaliam-se os resultados. A avaliação concentra-se em custo/risco/benefício, procedimentos mecanizados para especificação e prova formal versus informal de correção.
- Imprenta:
- Data da defesa: 18.12.1987
-
ABNT
CAMARA, Wilkinson Diogenes. Especificação estruturada de sistemas: a experiência do sistema de segurança de barragens da CESP. 1987. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1987. . Acesso em: 20 abr. 2024. -
APA
Camara, W. D. (1987). Especificação estruturada de sistemas: a experiência do sistema de segurança de barragens da CESP (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Camara WD. Especificação estruturada de sistemas: a experiência do sistema de segurança de barragens da CESP. 1987 ;[citado 2024 abr. 20 ] -
Vancouver
Camara WD. Especificação estruturada de sistemas: a experiência do sistema de segurança de barragens da CESP. 1987 ;[citado 2024 abr. 20 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas