Praspel

Praspel
Paradigm contract
Developer Hoa
OS all
License New BSD License
Website http://hoa-project.net
Major implementations
PHP
Influenced by
JML, ACSL

Praspel (PHP Realistic Annotation and Specification Language) 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 (always accessible). Praspel is used for manual or automatic software validation and verification, thanks to realistic domains.

Bibliography


This article is issued from Wikipedia - version of the Wednesday, April 23, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.