| Praspel | |
| Paradigma | programação de contrato |
|---|---|
| Autor | Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet |
| Desenvolvedor | Hoa |
| Influenciado por | JML , ACSL |
| Implementações | PHP |
| Sistema operacional | tudo |
| Licença | Nova Licença BSD |
| Local na rede Internet | http://hoa-project.net |
Praspel ( PHP Realistic Annotation and Specification Language ) é uma linguagem de especificação para PHP . Ele é baseado no contrato de programação paradigmas e usos pré-condições , pós-condições , invariantes, etc. As especificações são adicionadas nos comentários do código PHP (sempre acessível). O Praspel é usado para validação e verificação manual ou automática de software, usando domínios realistas.