Praspel
id:
praspel-292-6354697
title:
Praspel
text:
Praspel is a formal specification language for PHP. It is based on the design-by-contract paradigm and uses preconditions, postconditions, invariants etc. Specifications are written in the comments of the PHP code. Praspel is used for manual or automatic software validation and verification, thanks to realistic domains.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Praspel
date created:
date modified:
2023-09-20T13:27:00Z
main entity:
{"identifier":"Q3401385","url":"https://www.wikidata.org/entity/Q3401385"}
image:
fields total:
13
integrity:
13