Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Praspel> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Praspel abstract "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.".
- Praspel influencedBy ISO_C_Specification_Language.
- Praspel influencedBy Java_Modeling_Language.
- Praspel license BSD_licenses.
- Praspel wikiPageExternalLink RR2010-01.pdf.
- Praspel wikiPageExternalLink hoa-project.net.
- Praspel wikiPageID "35766954".
- Praspel wikiPageRevisionID "605463209".
- Praspel author "Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet".
- Praspel developer "Hoa".
- Praspel hasPhotoCollection Praspel.
- Praspel implementations PHP.
- Praspel influencedBy ISO_C_Specification_Language.
- Praspel influencedBy Java_Modeling_Language.
- Praspel license BSD_licenses.
- Praspel name "Praspel".
- Praspel operatingSystem "all".
- Praspel paradigm Design_by_contract.
- Praspel website hoa-project.net.
- Praspel subject Category:PHP.
- Praspel type ProgrammingLanguage.
- Praspel type Software.
- Praspel type Work.
- Praspel type CreativeWork.
- Praspel type InformationEntity.
- Praspel comment "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.".
- Praspel label "Praspel".
- Praspel label "Praspel".
- Praspel sameAs Praspel.
- Praspel sameAs m.0jt1svn.
- Praspel sameAs Q3401385.
- Praspel sameAs Q3401385.
- Praspel wasDerivedFrom Praspel?oldid=605463209.
- Praspel homepage hoa-project.net.
- Praspel isPrimaryTopicOf Praspel.
- Praspel name "Praspel".