Especificação de programa
Uma especificação de programa é a definição do que se espera que um programa de computador faça.[1] Ela pode ser informal, neste caso ela pode ser considerada como um blueprint ou manual de usuário do ponto de vista do desenvolvedor, ou formal, no caso de ela ser definida principalmente em termos matemáticos ou programáticos.[2][3][4]
Na prática, as especificações mais bem sucedidas são escritas para a compreensão e ajustes em uma aplicação que já se encontra bem desenvolvida, embora sistemas de sistemas de segurança críticos sejam cuidadosamente especificados antes do desenvolvimento da aplicação. Especificações são mais importantes para interfaces externas que devem permanecer estáveis.
Referências
- ↑ «What Is a Project Scope Statement? (And How to Write One) | Indeed». ca.indeed.com. 25 de agosto de 2023. Consultado em 18 de abril de 2024
- ↑ «Write a Scope Document For Software Development Projects». aloa.co. Consultado em 19 de abril de 2024
- ↑ Davis, Barbee (2009). 97 Things Every Project Manager Should Know. [S.l.]: O'Reilly Media. p. 102. ISBN 9781449379568
- ↑ Hartson, H. Rex; Pyla, Pardha S. (2018). The UX book: agile UX design for a quality user experience. Cambridge, MA: Morgan Kaufmann, an imprint of Elsevier. p. 151
Ver também[editar | editar código-fonte]
- Métodos formais
- Verificação formal
- Especificação formal
- Transformação programa
- Contrato por projeto
- Notação de máquina abstrata
- Método desenvolvimento Vienna
- Notação Z
- Engenharia de software
- Linguagem de especificação
- Refinamento
| Áreas | |||||||
|---|---|---|---|---|---|---|---|
| Conceitos |
| ||||||
| Orientações | |||||||
| Modelos |
| ||||||
| Áreas relacionadas | |||||||
