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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Praspel (fr)
- Praspel (en)
|
rdfs:comment
| - Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariants, etc. Les spécifications sont ajoutées dans les commentaires du code PHP (toujours accessible). Praspel est utilisé pour de la validation et de la vérification logiciel manuelle ou automatique, grâce aux domaines réalistes. (fr)
- 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. (en)
|
foaf:name
| |
name
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
developer
| - Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet (en)
|
implementations
| |
influenced by
| |
license
| |
operating system
| |
paradigm
| |
has abstract
| - Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariants, etc. Les spécifications sont ajoutées dans les commentaires du code PHP (toujours accessible). Praspel est utilisé pour de la validation et de la vérification logiciel manuelle ou automatique, grâce aux domaines réalistes. (fr)
- 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. (en)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
influenced by
| |
license
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |